A PIPE Based System for Checking Temporal Constraints in Service Composition

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.