组合E-服务的活动链行为模式设计及验证

摘要：

提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计"链存在、链缺失、链前提和链因果"四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操作语义,通过定义组合E-服务满足活动链模式的内涵,给出可满足性验证的充要条件和判定算法,最后给出实例分析.

关键词：活动链、行为模式、组合E-服务、可满足性验证、标记迁移系统

所属期刊栏目：39

分类号：TP309(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目2007AA01Z425,2009AA012201;国家"九七三"重点基础研究发展计划项目2007CB316502;国家自然基金项目90718015;NSFC-微软亚洲研究院联合资助项目60970155;教育部高等学校博士学科点专项科研基金项目20090072110035;高效能服务器和存储技术国家重点实验室开放基金项目2009HSSA06

在线出版日期：2011-07-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：427-433