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.
Web service composition involves a collection of web services; the interaction among the participating services makes the testing of the web service composition significantly complicated. In this paper, we present an approach of test case generation for Business Process Execution Language (BPEL) based web service composition using Colored Petri Net (CPN) which provides a strong formal background for...
One of the most important advantages of Web services technology is the possibility of combining existing services to create a new composite Web process according to the given requirements. BPEL is a promising language which describes web service composition in form of business processes. However, BPEL is an XML-based language and lack of a sound formal semantic, which hinders the formal analysis and...
The Business Process Execution Language (BPEL) is a reasonable choice for modeling workflows in a Web service environment, but it has a high acceptance threshold for users with no workflow skills. To improve the usability of BPEL for non-tech savvy scientific end users, we present SimpleBPEL, a modeling tool for composing workflows of SimpleBPEL fragments that encapsulate BPEL logic. The implementation...
The paper proposes a decentralized diagnosis approach for a set of choreographed BPEL Web services, where a local diagnoser is associated to each BPEL service and cooperates with a coordinator. The local diagnosis is based on a Colored Petri Nets model enriched with I/O data dependency relations represented with color propagation functions (A preliminary version of centralized local diagnosis has...
Scientific workflow has become an important tool used by scientists to operate distributed resources in current scientific research. However, the gap between scientific domain and workflow specification has increased the difficulty of adopting scientific workflow. Further, the lack of collaborative mechanism has gradually become a major obstacle for scientists to share scientific workflow. In this...
In a Service-Oriented Architecture (SOA) based on Web Service technology the services typically communicate with each other by passing data values directly from one service to another. In the case the services are orchestrated by workflows the services receive their input values from the workflow engine and return their calculated results back to the engine by value. In this paper we show several...
Pandemic diseases, such as avian influenza, can be deadly and disastrous although they do not happen frequently. Simulation is called for to control the spread of such diseases in preparing for the outbreaks. The spread of pandemic diseases can be affected by many factors, including virus vectors (such as migratory birds), climatic changes, and environment en route of virus vector migration. Many...
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses complex concurrent business processes for Web services composition, is efficient at composing the geospatial information services chain. This paper concludes the BPEL control flows to four basic models which can be applied...
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of Web services into complex, valued-added workflows in both industry and academia. Since the composition of Web services into a workflow is challenging and error-prone, several graphical BPEL4WS workflow editors have been developed. These tools focus on the composition process and the visualization...
WS-BPEL is the standard to define executable business processes in a Web service world. Numerous commercial and open source BPEL engines exist on the market today that allow the execution of process models defined in BPEL. However, these execution engines only provide access to process model and process instance data in terms of proprietary APIs. In this paper we present an approach that models BPEL...
As Web services composition arouses a growing interest, most research works address implementation and execution issues. As a consequence, many composition languages (BPEL, XLANG, WSFL, WSCI, to name a few of them) have been proposed in the past few years. However, a weakness of these languages is that they are difficult to use in early stages of development, such as specification. UML-S is an extension...
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.