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.
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such applications in the context of Internet are deployed and executed in an open and dynamic environment, adaptability is one of the crucial requirements for developing such applications. In our previous work, we presented a variability-based...
It is very difficult to construct a correct BPEL engine, which is the runtime environment supporting the execution of BPEL processes. The main reason is the complexity of informal specification. It leads to that the programmers build the system without knowing precisely what they do. In this paper, we provide an operational semantics of BPEL based on Abstract BPEL Machine (ABM). ABM is a formal model...
We present an approach to improve design-time user support during the composition of web services into BPEL processes. The approach is based on adding semantic service descriptions to SimpleBPEL, a framework that supports web service novices in designing workflows. Experienced BPEL developers define domain specific profiles, containing parts of a BPEL process called SimpleBPEL fragments. The application...
This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.
Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the πit-calculus, a new variant of the π-calculus, in this paper. The good feature of the πit-calculus is that its execution can be interrupted and can handle timing events as well. We provide both...
Service compensation is a hot spot in web services research. The existing protocols support compensation in static way or in specific environment. A novel Web services transaction compensation mechanism based on paired Petri net is proposed, which can implement composition compensation dynamically and abstract hierarchy modeling of complicated multi-partners business process. Then process is dynamically...
In this paper we introduce a new modeling tool for constraint handling in the area of workflow technology. The constraint handlers can be used to improve the quality of business processes but without changing already existing business logic. Todays workflow languages provide no possibility to model constraints and the actions in case the constraints get violated explicitly. Fault and event handling...
The Web service business process execution language (BPEL) lacks any standard graphical notation. Various efforts have been undertaken to visualize BPEL using the business process modelling notation (BPMN). Although this is straightforward for the majority of concepts, it is tricky for the full BPEL standard, partly due to the insufficiently specified BPMN execution semantics. The upcoming BPMN~2...
The Web services composition defines a process that involves various independent Web services to perform a complex function. This process is described with a standard language (BPEL) and executed by tools supporting this language. This kind of languages describes the behavior of different distributed services together, but it does not support the verification nor the validation of behavioral requirements...
This paper presents the design principle for integrating quality management on Web service registry developed in UDDI specification and Web service quality management system (WSQMS). WSQMS, developed by NIA can measure and collect the quality information of Web services by its agency system installed on the Web service system. Web service registry is core system for registering and searching WSDL...
Web services are autonomous and heterogeneous computational entities. The need to build Web services rapidly has necessitated to realize ease of design and implementation through the paradigm of model based design, as a normal requirement rather than an exception. The specification, design and implementation of Web service applications need to address three major aspects: orchestration of services,...
This paper presents the design principle for integrating quality management on Web service registry developed in UDDI specification and Web service quality management system (WSQMS). WSQMS, developed by NIA can measure and collect the quality information of Web services by its agency system installed on the Web service system. Web service registry is core system for registering and searching WSDL(Web...
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.