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

被引：1

作者：

陈波

李春贵

机构：

[1] 广西工学院计算机工程系

来源：

广西工学院学报 | 2009年 / 20卷 / 03期

关键词：

活动序列; 活动链; 行为模式; 组合E-服务; 标记传递系统;

D O I：

10.16375/j.cnki.cn45-1395/t.2009.03.021

中图分类号：

TP393.09 [];

学科分类号：

080402 ;

摘要：

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

引用

页码：35 / 39

页数：5

共 3 条

[1] 基于场景规约的构件式系统设计分析与验证 [J].

胡军 ;

于笑丰 ;

张岩 ;

王林章 ;

李宣东 ;

郑国梁 .

计算机学报, 2006, (04) :4513-4525

[2] Model-Checking Behavioral Specification of BPEL Applications [J].

Nakajima, Shin .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 151 (02) :89-105

[3]

Requirements-Driven Verification of Web Services[J] . Marco Pistore,Marco Roveri,Paolo Busetta.Electronic Notes in Theoretical Computer Science . 2004

← 1 →