| 基于活动序列的服务二元行为模式及操作语义 |
| |
| 引用本文： | 陈波,李春贵.基于活动序列的服务二元行为模式及操作语义[J].广西工学院学报,2009,20(3):35-39. |
| |
| 作者姓名： | 陈波 李春贵 |
| |
| 作者单位： | 广西工学院计算机工程系,广西,柳州,545006 |
| |
| 基金项目： | 广西科学与技术项目计划，广西自然科学基金项目 |
| |
| 摘 要： | 组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分析服务行为研究中,行为需求都是LTL类逻辑规范或MSC类图式规范,前者基于活动的,后者基于场景的.现在提出一种新颖的基于活动序列的行为规范概念,该概念的粒度介于活动和场景概念之间,目的是便于直接表达某些行为需求,针对活动序列设计了"序列前提、序列因果和序列嵌入"二元行为模式,用模式来刻画基于活动序列的活性和安全性,其结果是行为需求表达更为简洁,将这些模式映射标记传递系统LTS,精确刻画了行为模式的操作语义,为需求验证提供基础,最后给出实例分析.
|
| 关 键 词： | 活动序列 活动链 行为模式 组合E一服务 标记传递系统 |
Activity sequence based binary behavior modes for composite E-service and their dynamic semantic |
| |
| CHEN Bo,LI Chun-gui.Activity sequence based binary behavior modes for composite E-service and their dynamic semantic[J].Journal of Guangxi University of Technology,2009,20(3):35-39. |
| |
| Authors: | CHEN Bo LI Chun-gui |
| |
| Affiliation: | CHEN Bo,LI Chun-gui(Computer Engineering Department,Guangxi University of Technology,Liuzhou 545006,China) |
| |
| Abstract: | E-service composition is most impressing method for development and deployment of E-business.Describing and modeling the behavior requirements of composite E-services for users is an important step in design of services.In existed analysis on E-service works,behavior requirements are usually LTL like logic formulas based on activity or MSC like graphic specifications based on scenario.In order to express more intensive behavior requirements,we propose a novel concept of behavior specifications based on acti... |
| |
| Keywords: | activity sequence active chain binary behavior mode composite Eservice dynamic semantic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
