论文部分内容阅读
面向服务的体系结构作为软件集成、系统开发技术领域进步的一个里程碑,近年来凭借其自治、开放以及平台无关等特性,得到了越来越多的关注与应用。服务是构造面向服务系统的基础模块,单个服务所具有的功能存在一定的局限性,组合多个服务是面向服务的体系结构开发软件应用、实现业务过程的核心方法和技术。本文对服务组合过程中行为交互建立模型SI-M,并研究了基于SI-M模型的可信计算方法。本文主要研究内容和研究成果包括以下几个方面：1)阐述了服务行为交互建模及可信计算方法研究的背景和意义,总结了国内外服务行为交互领域的研究现状。介绍了用于描述服务组合过程的业务过程执行语言(Business Process Executive Language, BPEL),并阐述了BPEL的设计原则和构成元素。研究了Petri网的基本性质和原理。2)给出了一种基于Petri网的服务行为交互模型SI-M。业务过程执行语言用于描述服务间公共消息的交换过程,没有定义流程内部行为交互细节,SI-M模型基于Petri网能够将服务交互过程形象的描述出来。SI-M模型的基本模式是将BPEL的“活动”映射到SI-M模型,然后采用库所结合消除的方式完成SI-M模型基本模式的嵌套迭代。3)给出了一种基于SI-M模型,确保交互行为可信的计算方法。交互行为的可信结合实际的应用可以表现在活性和安全性两个方面。服务行为交互过程传递的元素是消息,消息序列可以表示交互的过程。结合SI-M模型性质和Petri网原理,变迁序列同样可以描述服务间交互过程,因此消息序列同变迁序列呈现的结果是一样的。可信计算方法将实际发生的交互行为序列与基于SI-M模型的消息序列对比,判断交互行为是否违背模型的可信性。本文提出的服务行为交互模型SI-M以交互消息为基础建立,适合描述服务组合过程中行为交互关系,为服务行为交互建模提供了一种参考方案。基于SI-M模型的可信计算方法可以确保服务组合在实际运行中及时发现异常交互,为服务组合的交互过程提供安全保障。