面向服务的企业应用集成系统描述与验证
在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.
面向服务的体系架构、体系架构模型、综合前置系统、时序逻辑、Petri网、形式化描述、正确性验证
18
TP393(计算技术、计算机技术)
国家自然科学基金60534060;60473094;国家高技术研究发展计划863计划2007AA01Z136;国家重点基础研究发展计划973计划2003CB317002;上海市科委登山行动计划06JC14065
2008-03-05（万方平台首次上网日期，不代表论文的发表时间）
共16页
3015-3030
