基于有色Petri网的模型驱动SOA服务模型组合

来源 :电子科技 | 被引量 : 0次 | 上传用户:cailing12530
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。
其他文献
2009年5月26日,美国国家仪器有限公司(National Instruments,简称NI)在中国北京成功主办第六届“中国PXI技术和应用论坛”(PXI Technology&Application Conference,PXITAC)。近600位
2010年9月10日,研华DLOG宣布MTC6/1010”工业级车载终端隆重上市。它是一款超坚固型的可移动终端系统,专为各种极端条件车载应用设计,如从室外货物装卸码头到室内冷藏库之间的铲
中国的服装制造业在国际产业链分工中处于利润最薄的末端,要打破此困境,唯一出路就是打造自主品牌。于是一些本土服装品牌渐渐崭露头角,在经过了市场经济的洗礼,透过民族品牌的表
共享单车的出现显著增加了城市民居的非机动车出行量,对慢行交通的穿越行为与安全也会有新的影响。因此,有必要分析探讨共享单车出现前后穿越特征及其影响因素,揭示共享单车的出现带来的影响,为我国共享单车的管理提供理论政策,为企业的管理提供科学依据。基于上述目标,以实地调研和行为建模为主,深入研究共享单车出现后的行人及非机动车骑行者的违规行为及等待时间影响因素,并与共享单车出现前慢行交通行为进行比较,主要工
军用车辆在部队运输,尤其是后勤保障方面有着不可替代的作用,轮胎是车辆上一个很重要的部件,其技术状况的好坏,对车辆的整体状况及行驶、操纵的稳定性都有很大的影响,并且轮胎较易
随着我国的环境问题日益突出以及人们对于绿色可持续发展的理念的关注,我国的环境保护力度也越来越大。而水污染治理是我国环境保护的一大重点。人们将大量的生活污水直接排
霸王鞭舞在我国是一种在各地广泛流传的民间舞蹈形式,它也具有许多别称,例如金钱棍、打花棍、打连厢、浑身响等,历史比较悠久,形式多样,也有着十分深重的文化意义。本文以陕
在新闻采访与报道的实践中,从一定意义上说,没有发现就没有新闻。如果新闻工作者没有一双透过现象看本质的慧眼,再重大的新闻题材也得不到重视与有力传播,也就不能使其产生应有的
郑州市嵩山路一黄郭路一南三环路立交桥的主桥、匝道定位放线、标高传递、变形观测等施工测量工作,均采用传统的三角网控制技术,为此要求测量人员有责任心,熟悉测量规范和设计文