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

摘要：

组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分析服务行为研究中,行为需求都是LTL类逻辑规范或MSC类图式规范,前者基于活动的,后者基于场景的.现在提出一种新颖的基于活动序列的行为规范概念,该概念的粒度介于活动和场景概念之间,目的是便于直接表达某些行为需求,针对活动序列设计了"序列前提、序列因果和序列嵌入"二元行为模式,用模式来刻画基于活动序列的活性和安全性,其结果是行为需求表达更为简洁,将这些模式映射标记传递系统LTS,精确刻画了行为模式的操作语义,为需求验证提供基础,最后给出实例分析.

关键词：活动序列、活动链、行为模式、组合E一服务、标记传递系统

所属期刊栏目：20

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

资助基金：广西科学与技术项目计划0992006-13;广西自然科学基金项目0481016

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

页数：共5页

页码：35-39