This article describes how incorporating temporal constraints in web service composition results in more complex models and makes the verification of temporal consistency during the modeling and execution crucial. This article proposes a model named H-Service-Net based on the time petri net model to control and manage temporal consistency; the model also supports time constraints and exception handling. First, this approach proposes a modular approach for modeling composition using Extend Time Unit System, Allen's interval algebra, and comparison operators in a time petri net model to consider all types of temporal constraints. Subsequently, this article presents algorithms on checking temporal consistency and mechanism for exception handling and validating the system in an implementation tool (H-Service-Editor) based on the proposed approach that uses BizTalk Server 2013 to evaluate the implementation of temporal constraints and timeout exception handling. Finally, an exhaustive performance experiment is presented to assess the scalability of the authors' approach.
Read full abstract