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

张广胜; 蒋昌俊; 汤宪飞; 徐岩

首页> 中文期刊> 《软件学报》 >面向服务的企业应用集成系统描述与验证

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |2007年第12期|3015-3030|共16页
作者
张广胜; 蒋昌俊; 汤宪飞; 徐岩;
展开▼
作者单位

同济大学;

电子与信息工程学院;

上海;

201804;

嵌入式系统与服务计算教育部重点实验室(同济大学);

上海;

200092;

同济大学;

电子与信息工程学院;

上海;

201804;

嵌入式系统与服务计算教育部重点实验室(同济大学);

上海;

200092;

同济大学;

电子与信息工程学院;

上海;

201804;

枣庄农村信用社;

合作联社;

山东;

枣庄;

277000;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
面向服务的体系架构; 体系架构模型; 综合前置系统; 时序逻辑; Petri网; 形式化描述; 正确性验证;

相似文献

中文文献
外文文献
专利

1. 面向服务架构的建筑企业应用集成 [J] . 汪新秀 . 土木建筑工程信息技术 . 2012,第002期
2. 面向服务的企业应用集成在数字校园中的应用 [J] . 吴青 ,罗儒国 ,王权于 . 现代远程教育研究 . 2012,第004期
3. 面向服务的烟草物流企业应用集成方案 [J] . 张雨 ,刘建勇 . 物流技术与应用 . 2009,第012期
4. 面向服务架构下的企业应用集成 [J] . 薛周建 ,蒋朝惠 ,詹丽娜 . 微计算机信息 . 2009,第015期
5. 面向服务的虚拟企业应用集成架构研究 [J] . 王松波 . 计算技术与自动化 . 2009,第001期
6. 企业应用集成与面向服务架构 [C] . 王海林 . 2007电力行业信息化年会 . 2007
7. 面向服务的企业应用集成方法及其应用 [A] . 管陈涛 . 2011

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

摘要

著录项

相似文献

相关主题

期刊订阅