面向过程的可信Web服务组合方法及应用研究

The Web service composition was one of the basis theories of service-oriented computing. Existing methods mainly concern about the results of the composite services, little attention to the executing process, which make it is difficult to grasp and control the process behavior of the composite service, and lead to hard ensure the trustworthiness of the composite service. In order to improve the trustworthiness of the composite service, and take it as the study target, oriented to the internal implementation processes of Web service and the interaction process among the Web services, the project propose innovatively a trustworthy Web service composition method from the point of view of the process behavior. First, the process model construction and analysis methods of Web service based on the improved associated Petri net are present. Second, oriented to behavior interaction process of services, we study the trustworthy Web service composition methods under the behavior constraint.Finally,aimed to the complexity of the interaction process between service components, the trustworthiness validation of the composite service are proposed based on the behavior consistency(or weak behavior consistency)of the Petri net.

Web 服务组合是面向服务计算的基础理论之一。本项目针对已有的服务组合方法主要关心组合服务的执行结果，很少关注执行过程，使得组合服务的过程行为难以把握和控制，导致组合服务的可信性难以得到保障这一问题，以提高组合服务的可信性为目标，面向服务的内部执行过程和服务间的交互过程，创新性地提出基于过程行为的可信Web服务组合方法。首先，基于改进的关联Petri 网研究Web服务过程模型构建与分析方法；其次，针对服务交互过程的复杂性,研究行为约束下的可信服务组合方法。最后，为了提高组合服务的可信性，研究基于Petri网行为一致性（或弱一致性）的组合服务可信验证方法。

一年来，项目组人员围绕主要目标，聚焦关键问题，认真开展研究工作，顺利完成了项目的预期目标，完成情况良好。主要成果包括：（1）提出了一种基于Petri网行为轮廓建模方法，并考虑间接约束条件下的Web服务交互过程行为交互的分析方法；（2）面向服务交互过程，研究了一种基于Module的可信Web 服务组合方法，通过动作模式和支撑集能获得符合要求的组合服务，提高服务组合的可信度，实现可信组合；（3）提出了基于变化域分析的组合服务可信性验证方法。在国内外高质量学术期刊或国际会议上发表论文6篇（均标注项目号），其中1篇被SCI检索，4篇被EI检索，申请国家发明专利2项。培养青年教师2人，硕士生1人。