Time filter

Source Type

Yu R.,Nanjing University of Aeronautics and Astronautics | Yu R.,Yantai HaiYi Software Co. | Huang Z.,Nanjing University of Aeronautics and Astronautics | Wang L.,Yantai HaiYi Software Co. | Zhang H.,Yantai HaiYi Software Co.
Journal of Software | Year: 2013

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. © 2013 ACADEMY PUBLISHER.


Yu R.,Nanjing University of Aeronautics and Astronautics | Huang Z.,Nanjing University of Aeronautics and Astronautics | Wang L.,Yantai HaiYi Software Co. | Zhang H.,Yantai HaiYi Software Co.
Journal of Software Engineering | Year: 2014

Business Process Modeling Notation (BPMN) is the most influential graphical modeling notation in service composition aspect and has been widely used in modeling the Web service composition system, however BPMN lacks of formal semantics and can not be verified formally and automatically. Extended object Petri net (EOPN for short) is presented in order to model and verify BPMN process formally. Guard, flow valve and time constraint are introduced into EOPN. Because state class method for analyzing time Petri net is destitute of global temporal constraints, timestamp state class method is developed and the corresponding analysis approach is also presented. The enabled conditions of transition are listed and the firing condition and rules of transition of EOPN are discussed in detail. Mapping rules from BPMN to EOPN are depicted in detail. An example is provided for illustrating the feasibility of mapping BPMN process diagram to EOPN model and verifying its Tightness formally. © 2014 Academic Journals Inc.

Loading Yantai HaiYi Software Co. collaborators
Loading Yantai HaiYi Software Co. collaborators