DocumentCode :
560408
Title :
A PIPE Based System for Checking Temporal Constraints in Service Composition
Author :
Du, YanHua ; Wang, Xiaofei ; Xu, Hongxia
Author_Institution :
Sch. of Mech. Eng., Univ. of Sci. & Technol. Beijing, Beijing, China
Volume :
2
fYear :
2011
fDate :
26-27 Nov. 2011
Firstpage :
522
Lastpage :
525
Abstract :
Recently, temporal constraint satisfiability is regarded as an important quality criterion in service composition. The analyzing systems or tools are needed to support automatically check temporal constraint set on composition. In this paper, based on the open-source tool Platform Independent Petri net Editor - PIPE, we propose a novel system to support automatically check temporal constraints on service composition. Based on the original architecture of PIPE, the functions that we needed can be developed quickly. First of all, we extend PIPE to support the ability of describing time information for service composition. Then, the execution paths of composition are extracted from PIPE and their corresponding execution time is calculated. Finally, the results of checking temporal constraints on service composition are obtained, by comparing execution time with upper values of temporal constraints.
Keywords :
Petri nets; Web services; computability; constraint satisfaction problems; public domain software; PIPE based System; automatically check temporal constraint set; execution paths; execution time; open source tool; platform independent Petri net editor; quality criterion; service composition; temporal constraint satisfiability; Business; Educational institutions; Firing; Petri nets; Protocols; Unified modeling language; Web services; PIPE; Petri net; service composition; temporal constraint;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Management, Innovation Management and Industrial Engineering (ICIII), 2011 International Conference on
Conference_Location :
Shenzhen
Print_ISBN :
978-1-61284-450-3
Type :
conf
DOI :
10.1109/ICIII.2011.271
Filename :
6116842
Link To Document :
بازگشت