论文部分内容阅读
首先提出服务代数结构体系，通过严谨的数学定义阐明服务的抽象本质，组织服务及其合成行为，用于指导服务合成，进行有效的服务行为特征数学描述和行为建模，给出针对服务合成形式化分析方法。接着给出了使用Petri进行服务合成活动的形式化描述、验证方法。最后阐述了下一步的研究内容。
网络环境下服务系统的Petri网建模方法研究
【摘 要】
：
首先提出服务代数结构体系，通过严谨的数学定义阐明服务的抽象本质，组织服务及其合成行为，用于指导服务合成，进行有效的服务行为特征数学描述和行为建模，给出针对服务合成形式化分
【机 构】
：
北京外国语大学计算中心
【出 处】
：
现代防御技术
【发表日期】
：
2009年2期
其他文献
<正> 遍地开花结构趋同据统计:1996年1—9月份,全国6.83万户国有工业企业,有3.14万户亏损,亏损额比上年同期上升了45.7％以上。全国除西藏以外的29个省市区,有17个盈亏相抵后是
随着外向型经济的发展,近几年来,在各级政府和有关部门的重视下,湖州市自营出口创汇逐年增长,到1994年底,全市已有158家企业从事自营出口业务,自营出口总额达16900万美元,增
将β－受体激动剂克伦特罗（１ｍｇ／ｋｇ）和苯二氮卓化合物Ｆ８９（２ｍｇ／ｋｇ）同时添加在４１￣５６，３８￣５９和５￣５６日龄红布罗肉鸡的日粮中，连续饲喂。饲养试验表明：试验组肉鸡的摄食量分别提高了４．４７％，３．３４％和５．３４％；增重分别提高了１３．６％（Ｐ〈０．０１），８．７２％（Ｐ〈０．０５）和９．９６％（Ｐ〈０．０５）。屠宰试验表明
相关Weibull分布可以很好地描述地杂波，对地杂波背景下进行信号处理具有重要意义。针对ZMNL的相关Weibull杂波仿真，提出了一种经验迭代的功率谱实现，该方法在对输出频谱估计的基
艺术的真正价值在于创新,在于不断追求新的意境。在书法艺术上,宋初李建中,承接唐人风规,一扫五代衰颓。宋四家——苏、黄、米、蔡学习唐人变法成功之处,意向出入颜鲁公,杨凝
目的:探讨健康教育联合常规护理在心脏冠脉动脉多排CT中的护理效果。方法:选择2018年5月—2018年10月收治的心脏冠脉多排CT患者60例作为对象,随机数字表分为对照组(n=30)和观
<正> 国有企业大面积亏损,经营者管理不善、决策失误和滥用职权是一个至关重要的因素。沿袭多年的对企业经营者的选用、考评、激励和管理监督机制已不适应新的形势,需要探索
<正> “九五”以至更长一段时间内,我国的经济体制改革将从体制外的增量改革转到体制内国有企业改革和要素市场建设为重点的协同改革,这一体制背景的变化最重要的影响和结果