基于活动序列的服务二元行为模式及操作语义.pdfVIP

第 20 卷 　第 3 期 　　　　　　　　　　广 西 工 学 院 学 报 　　　　　　　　　　　Vol20 　No 3 　2009 年 9 月 　J OU RNAL OF GUAN GXI UN IV ERSI T Y OF TECHNOL O GY 　　　 Sep 2009 　 文章编号 　100464 10 (2009) 基于活动序列的服务二元行为模式及操作语义 陈　波 ,李春贵 (广西工学院 计算机工程系 ,广西 柳州 　545006) 摘 　要 :组合 E - 服务是电子商务开发部署中被广泛关注的问题 ,行为需求的刻画 、建模是服务设计开发的重要步 骤 ,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作. 已有分析服务行为研究中 ,行为需求都 是 L TL 类逻辑规范或 M SC 类图式规范 ,前者基于活动的 ,后者基于场景的. 现在提出一种新颖的基于活动序列的行 为规范概念 ,该概念的粒度介于活动和场景概念之间 , 目的是便于直接表达某些行为需求 ,针对活动序列设计了“序 列前提 、序列因果和序列嵌入”二元行为模式 ,用模式来刻画基于活动序列的活性和安全性 ,其结果是行为需求表达 更为简洁 ,将这些模式映射标记传递系统 L TS ,精确刻画了行为模式的操作语义 ,为需求验证提供基础 ,最后给出实 例分析. 关 　键 　词 :活动序列 ;活动链 ;行为模式 ;组合 E - 服务 ;标记传递系统 中图分类号 : TP309 　　　　文献标识码 :A 0 　引言 　　组合 E - 服务通过互联网上标准的通信协议自动发现 、调用网上现有的、独立的、无状态的原子服务 ,从 而组合成新的、跨组织 、跨平台的有状态的复杂服务 ,组合方法实现了互联网上信息的集成和软件的复用 ,成 为最有前途的分布式环境下计算范式和电子商务应用开发方法. 然而 ,组合服务在结构上更复杂 ,在服务组 件之间包含许多时态和数据流依赖关系 ,而且每个服务组件对操作都有 自己定义的约束顺序 , 由此 ,有必要 对组合服务行为进行验证 ,这需要对组合服务行为进行建模 、对行为需求进行刻画 ,判断它们是否符合用户 行为需求. 许多学者从不同角度作了研究 ,引出了许多理论和实践的研究议题[ 1 ] . 　　Tarek [ 1 ] 、Kazhamiakin [2 ] 和 Bor deaux[3 ] 侧重分析组合 E - 服务通信行为中各方通信行为是否符合全局 通信规范 ,它们之间的交互行为是否相容 ,两个服务是否可替换等. Ouyanga[4 ] 、N akaj ima[5 ] 和 Qiu [6 ] 验证组 合 E - 服务的流程行为是否正确 ,是否满足服务之间的约束和补偿机制等. Fu[7 ] 、Can [ 8 ] 、Mongiello [9 ] 、Fo s te[ 10 ] 和 Aalst [ 11 ] 验证组合 E - 服务的行为是否满足用户的特定行为需求. 组合服务行为需求表达方法的研究 ,是验证组合服务是否满足用户特定行为需求的关键步骤. 多数工作 都没有考虑对组合 E - 服务流程行为需求进行深入分析和建模 ,而是采用两类通常方法来表达行为需求 :其 [79 ] ( ) ( ) [ 1011 ] 一为 L TL 、C TL 类时态逻辑规范 ,其二为消息序列图 M SC 、统一建模语言 U ML 类图式规范 . 前 者刻画的基本单元是活动 ,规范描述是基于活动时态关系 ;后者刻画对象是场景 ,规范描述的是基于场景的 时态关系 ,这些行为需求表达的粒度要么是活动 ,要么是场景或状态转移系统 ,前者在表达涉及多个活动复 杂行为时 ,会由于粒度过小而造成公式异常复杂而难以理解 ,甚至出错[ 12 ] ,后者由于粒度过大难以表达更多 的行为细节. 为寻求统一方法来表达丰富的行为内涵 ,Pistore [ 13 ] 用形式 Tropo s 语言描述组合 E - 服务中不 同角色的目标 、