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

Design of Activity Chain Behavioral Modes for Composite E-Service and Verification

摘要:

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

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

Abstract:

The paper presents a novel concept of behavior specifications based on activity chain in which granularity is between activity and scenario.Four behavioral modes,such as chain existence mode,chain absence mode,chain precondition mode and chain response mode,are designed to express usual behavioral requirements based on activity chain and encoded on labeled transition system (LTS) with exact operation semantics.Compliance of composite E-service against activity chain modes is fitly defined to check whether composite E-services based on LTS correspond with activity chain modes.Finally,the paper presents the sufficient,necessary condition and algorithm for checking.

Key words:activity chain; behavior mode; composite E-service; compliance verification; labeled transition system