Analyzing temporal constraints for web services composition

作者：Yu Ruiqiang^*; Huang Zhiqiu; Wang Lin; Zhang Hongjie

来源：Journal of Software, 2013, 8(5): 1051-1057.

DOI：10.4304/jsw.8.5.1051-1057

• Compatibility analysis
• Extended time Petri nets
• Service compatibility
• Service compositions
• State class
• Temporal constraints
• Web service composition
• Web services composition

Web service composition has become the optimum technique for Service Oriented Architecture applications because it provides a way to obtain value-added services by combining several Web services. One key issue is that service composition must meet user's deadline requirements. In this paper we focus our attention on modeling and analyzing time-related properties in service composition. A model called extended time Petri net (ETPN) is introduced, in which the temporal constraints are across transitions. The formal definitions of atomic Web service and service composition are proposed based on ETPN. Timestamp state class method is used to analyze the temporal constraints. Some definitions of service composition are presented such as effective path, compatibility, etc. An algorithm is developed to analyze the weak compatibility of two Web services. Furthermore, the approach of service compatibility checking is provided. Finally, a real-life case is given to evaluate our proposal and to demonstrate the applicability of our approach.

• 出版日期2013
• 单位南京航空航天大学