| 组合E服务的活动链行为模式设计及验证 |
| |
| 引用本文： | 陈波,曾国荪,李莉,鲍宇.组合E服务的活动链行为模式设计及验证[J].同济大学学报(自然科学版),2011,39(3):427-433. |
| |
| 作者姓名： | 陈波 曾国荪 李莉 鲍宇 |
| |
| 作者单位： | 1. 同济大学,计算机科学与技术系,上海,201804;广西工学院,计算机工程系,广西,柳州,545006
2. 同济大学,计算机科学与技术系,上海,201804 |
| |
| 基金项目： | 863项目(2007AA01Z425，2009AA012201)，973课题(2007CB316502)，国家自然基金项目(90718015)，NSFC-微软亚洲研究院联合资助项目(60970155)，教育部博士点基金项目(20090072110035)，高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06) |
| |
| 摘 要： | 提出一种新颖的活动链的行为规范概念,该概念的粒度介于活动和场景概念之间,并根据基于活动链的行为刻画需求,设计"链存在、链缺失、链前提和链因果"四个行为模式,并给出这些模式到标记迁移系统LTS的映射规则,精确刻画了行为模式的操作语义,通过定义组合E-服务满足活动链模式的内涵,给出可满足性验证的充要条件和判定算法,最后给出实例分析.
|
| 关 键 词： | 活动链 行为模式 组合E-服务 可满足性验证 标记迁移系统 |
| 收稿时间： | 2009/10/17 0:00:00 |
| 修稿时间： | 2011/2/22 0:00:00 |
Design of Activity Chain Behavioral Modes for Composite E-Service and Verification |
| |
| CHEN Bo,ZENG Guosun,LI Li and BAO Yu.Design of Activity Chain Behavioral Modes for Composite E-Service and Verification[J].Journal of Tongji University(Natural Science),2011,39(3):427-433. |
| |
| Authors: | CHEN Bo ZENG Guosun LI Li and BAO Yu |
| |
| Institution: | Department of Computer Science and Technology,Tongji University,Shanghai 201804,China;Department of Computer Engineering,Guangxi University of Technology,Liuzhou 545006,China;Department of Computer Science and Technology,Tongji University,Shanghai 201804,China;Department of Computer Science and Technology,Tongji University,Shanghai 201804,China;Department of Computer Science and Technology,Tongji University,Shanghai 201804,China |
| |
| 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. |
| |
| Keywords: | activity chain behavior mode composite E-service compliance verification labeled transition system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《同济大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《同济大学学报(自然科学版)》下载免费的PDF全文 |
|
