The TCPN-based Verification of Temporal Consistency in Web Service Process

In recent years, time management is considered indispensable when tackling complex Web-based business collaborations between enterprises in e-business environments. Unfortunately, current researches mainly focus on the modeling and analyzing of Web service process, while ignoring the time factors. With many kinds of specifications of Web service process, such as BPEL, WSFL, as a result, Web services can be easily integrated. However, in practice many Web services for e-business have temporal restrictions. Furthermore, the verification of temporal consistency becomes more complex. Based on temporal constraint Petri net (TCPN) model of Web service process and temporal reasoning rules, the paper presents a method for verifying the temporal consistency in Web service process, which can greatly enhance the time management functionality