收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国重要会议论文全文数据库 前1条
1 戚铭尧;李家齐;;面向物流的空间信息服务研究[A];第四届海峡两岸GIS发展研讨会暨中国GIS协会第十届年会论文集[C];2006年
中国硕士学位论文全文数据库 前10条
1 刘双喜;基于SOA的实时数据仓库技术研究[D];华北电力大学(河北);2009年
2 孔晓飞;基于SOA的现代电子政务系统的构建[D];复旦大学;2009年
3 李刚洲;面向服务的作战计划生成方法研究[D];国防科学技术大学;2009年
4 王豫;基于SOA架构异构数据源包装器的设计与实现[D];西北工业大学;2007年
5 吕英红;PLM系统中SOA的应用与开发[D];华东师范大学;2009年
6 朱振杰;SOA的关键技术的研究与应用实现[D];电子科技大学;2006年
7 沙为超;基于Web服务的SOA应用研究[D];安徽大学;2007年
8 张韧;业务功能驱动的服务提炼研究[D];上海交通大学;2007年
9 袁亮;基于BizTalk的工作流系统分析与设计方法研究[D];合肥工业大学;2008年
10 龚升;以基于服务的架构实现半导体企业的电子商务平台[D];华东师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978