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

• 作者: 李春贵 陈波
• 来源期刊: 广西工学院学报
• 学科: 工学
• 关键词: 活动序列 活动链 行为模式 组合E一服务 标记传递系统
• 年，卷（期）: 2009,（3）
• 页码范围: 35-39
• 页数: 5页
• 分类号: TP309
• 字数: 3747字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-6410.2009.03.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李春贵	广西工学院计算机工程系	56	539	13.0	21.0
2	陈波	广西工学院计算机工程系	27	100	6.0	9.0