Semantic descriptions provide more accurate information related to operations supported by Web services, enabling their dynamic discovery and execution without human intervention. Furthermore, semantic descriptions allow Web services to be automatically combined by using discovery mechanisms able to identify composed services. These compositions can also be described and published as if they we...

A single wafer processing IC fabrication with flexible and distributed configuration is getting more important. The cluster tool is such an IC fabrication equipment. It consists of the cassette module, transport module, and process module. In this paper, the model of a cluster tool is constructed using distributed colored timed Petri net (DCTPN). The emulator and controller of the cluster tool ...

Dependency relationships play an important role in testing, maintenance and configuration management of software systems. The informal dependency representations fail to observe behavioral connections among subsystems and cause ambiguity in representing different types of dependency relationships. Therefore, dependency in a software system requires a formal and unambiguous representation so tha...

Web service composition is most mature and effective way to realize the rapidly changing requirements of business in service-oriented solutions. Web service composition testing is complex as it involves testing the interaction between the participating services as well as the business logic of the composite service. Colored Petri Nets (CPNs) provide a framework to verify web service composition...

Web Services orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion—this formalism was recently proposed by Dev...

Composite Web services technologies are widely used due to their ability to provide interoperability among services from different companies. Web services are usually stateless, which means that no state is stored from the clients viewpoint. However, some new applications and services have emerged, which require to capture the state of some resources. Thus, new standards to model Web services s...

The service-oriented architecture (SOA) promises a new generation of information systems applications based on a new set of standards for enabling self-describing interoperable Web services. Web service orchestration and choreography are both concerned with the composition of Web services to meet the needs of business processes. There are two important standards for modeling and implementing wo...

Correct notation for specifying the composite service alone is not sufficient to guarantee reliability, thus comes a strong demand on modeling and verifying web services composition languages. This paper presented a formal method of web service composition verification based on Petri net. Focus is given on BPEL4WS specification, of which both behavior semantics and communication semantics are c...

Business processes are modeled as syntax based compositions of multiple services to perform tasks that a single Web service alone can not perform. When these processes are exported as services they have same syntactical limitations as traditional WSDL services resulting in clampdown for their dynamic discovery, invocation and composition by other semantic enabled systems. Successfully translati...