The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Implementing a workflow using previously implemented services is a typical task while dealing with Service-oriented Architectures (SOA). Defining these workflows is the task of business (process) analysts in tight collaboration with clients or domain experts. Unfortunately these analysts only have a sketchy view on the Service-oriented Architecture, thus they do not know which investigations a specific...
In this paper, a formal service behavior model called service-net based on colored Petri net (CP-Net) has been presented. Service-Net can be used to describe not only the control dependency and data dependency among inner operations of Web services, but also the message interactions of services with outer environments as an independent communication system. The correctness of interaction protocol...
Client requests often span over several Web services and these services have to be invoked in some sequence based on business logic of a composite service. BPEL language is used for specification of Web service composition and has become the industry standard. Unfortunately BPEL lacks sound formal semantics which leads to errors in service composition. It is therefore necessary to model and verify...
The verification of service replaceability is an important issue for service composition in a seamless way. In this paper, it proposes the definition of service behavior impaction to judge the service replaceability. It defines the service behavior model based on the colored Petri Net, put forward service behavior impaction and service replaceability. The application of the method in the scenarios...
Colored Petri nets (CPNs) are graphical and mathematical models. They are used for formal specification of the system to be built, for analysis of the specification either by simulation or analysis methods. CPNs have often large state spaces that make them difficult to analyze. One way to address the problem of the state space explosion is to reduce the CPN size and still preserving some of its important...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.