Verification of Time Constraints Consistency on Web Service Composition Based on ETPN

Abstract:

The work of Web Service verification mainly concentrated in testing service functional correctness, the non-functioning attribute description and verification is relatively rare. For the lack of non-functioning attribute service verification, the available time phrase of Web Service is added into the OWL-S model to describe time-attribute, establish the mapping rules and transformation method from OWL-S process model to ETPN, and the available time relation matrix is proposed to verify time constraints consistency based on the ETPN theory, it can help to remove the plan of service composition has time conflict and avoid the waste of Web Service resource.

• Periodical: Applied Mechanics and Materials (Volumes 58-60)
• Pages: 1094-1099
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.58-60.1094
• Online since: June 2011
• Authors: Ting Wei Chen, Shuo Yang Geng
• Keywords: Available Time Relation Matrix, ETPN, Service Composition, Time Consistency, Web Service

References

[1] Li Jingxia, Hou zifeng. Research Survey of Web Service Composition [J] Application Research of Computers, 2005, (12).

[2] H AMADI R, BE NATALLAH B. A Petri net-based model for Web service composition [C] / / Proceedings of the 14th Australasian Database Conference. Sydney, New South Wales, Australia: Australian Computer Society Inc. 2003: 191-200.

[3] Luonan, YanJunweiVerification mechanism for semantic Web service composition based on colored Petri-nets[J]Computer Integrated Manufacturing Systems, 2007, (11).

[4] E. delVal,M. Navarro,V. Julian. Ensuring time in service composition[J]. IEEE Transaction on Engineering Management, 2009: 376-383.

[5] Fuwei Fan, Ying Li, Shuiguang Deng. Time Management for Web Service Composition [J]. IEEE Transactionon Engineering Management, 2007: 550-555.

[6] LiJingxia. Houzifeng. Research of Timing Constraints Consistency on Web Service Composition[J]Application Research of Computers, , 2006, (03).

[7] Guilan Dai, Rujuan Liu. Timing Constraints Specification and Verification for Web Service Composition [J]. IEEE Asia-Pacific Service Computing Conference. 2008: 315-322.

DOI: 10.1109/apscc.2008.59

[8] Yuanzhixiang. Study of building model of web services using time Petri nets [J]. Computer Engineering and Design, 2006, (20).

[9] Yujian, Computing Service-Oriented Theory and Application [M]: Beijing: Tsinghua University publishing house.