面向服务的企业应用集成系统描述与验证

被引：50

作者：

张广胜 ^{[1
]}

蒋昌俊 ^{[1
]}

汤宪飞 ^{[1
]}

徐岩 ^{[2
]}

机构：

[1] 同济大学电子与信息工程学院

[2] 枣庄农村信用社合作联社

来源：

软件学报 | 2007年 / 12期

关键词：

面向服务的体系架构; 体系架构模型; 综合前置系统; 时序逻辑; Petri网; 形式化描述; 正确性验证;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.

引用

页码：3015 / 3030

页数：16

共 8 条

[1] 并发反应式系统的组合模型检验与组合精化检验 [J].

文艳军 ;

王戟 ;

齐治昌 .

软件学报, 2007, (06) :1270-1281

[2] 一种面向服务的体系结构参考模型 [J].

麻志毅 ;

陈泓婕 .

计算机学报, 2006, (07) :1011-1019

[3] 基于Petri网的模型检测研究 [J].

蒋屹新 ;

林闯 ;

曲扬 ;

尹浩 .

软件学报, 2004, (09) :1265-1276

[4]

Henry Chesbrough,Jim Spohrer.A research manifesto for services science[J].Communications of the ACM,2006

[5]

W. T. Tsai,Bingnan Xiao,Qian Huang,Yinong Chen.Collaborative software design in an SOA environment[J].Science in China Series F: Information Sciences,2006

[6] A strategy for service realization in service-oriented design [J].

Jing Liu ;

Jifeng He ;

Zhiming Liu .

Science in China Series F: Information Sciences, 2006, 49 :864-884

[7]

Mike P. Papazoglou,Willem-Jan Heuvel.Service oriented architectures: approaches, technologies and research issues[J].VLDB journal: The international journal of very large data bases,2007

[8] Introducing software architecture specification and analysis in SAM through an example [J].

Wang, J ;

He, X ;

Deng, Y .

INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (07) :451-467

← 1 →