JSW 2013 Vol.8(5): 1051-1057 ISSN: 1796-217X
doi: 10.4304/jsw.8.5.1051-1057
doi: 10.4304/jsw.8.5.1051-1057
Analyzing Temporal Constraints for Web Services Composition
Ruiqiang Yu1, 2, Zhiqiu Huang1, Lin Wang2, Hongjie Zhang2
1College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China
2Yantai HaiYi Software Co.,Ltd., Yantai, China
Abstract—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.
Index Terms—Web service; service composition; compatibility analysis; temporal constraint; state class.
2Yantai HaiYi Software Co.,Ltd., Yantai, China
Abstract—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.
Index Terms—Web service; service composition; compatibility analysis; temporal constraint; state class.
Cite: Ruiqiang Yu, Zhiqiu Huang, Lin Wang, Hongjie Zhang, "Analyzing Temporal Constraints for Web Services Composition," Journal of Software vol. 8, no. 5, pp. 1051-1057, 2013.
PREVIOUS PAPER
First page
NEXT PAPER
Canonicalization in the PrIKL Reasoner
General Information
ISSN: 1796-217X (Online)
Frequency: Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKI, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
-
Apr 26, 2021 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Nov 18, 2021 News!
Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP [Click]
-
Dec 24, 2021 News!
Vol 15, No 1- Vol 15, No 6 has been indexed by IET-(Inspec) [Click]
-
Nov 18, 2021 News!
[CFP] 2022 the annual meeting of JSW Editorial Board, ICCSM 2022, will be held in Rome, Italy, July 21-23, 2022 [Click]
-
Aug 01, 2023 News!