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