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

• 作者: 张广胜 徐岩 汤宪飞 蒋昌俊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 面向服务的体系架构 体系架构模型 综合前置系统 时序逻辑 Petri网 形式化描述 正确性验证
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 面向服务的计算专利
• 页码范围: 3015-3030
• 页数: 16页
• 分类号: TP393
• 字数: 10535字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汤宪飞	同济大学电子与信息工程学院	2	187	2.0	2.0