Results 191 to 200 of about 6,413 (258)
Some of the next articles are maybe not open access.
Proceedings of the International Conference on Intelligent Information Processing, Security and Advanced Communication, 2015
In the last years, various works of checking the modeling of business process are proposed. But, Most of them are based on the models transformation, to transform the model captured (to another model (eg Petri Net) to check. Therefore, It may affect the transformed semantic quality, thus on verification.
Khadhir Bekki +2 more
openaire +1 more source
In the last years, various works of checking the modeling of business process are proposed. But, Most of them are based on the models transformation, to transform the model captured (to another model (eg Petri Net) to check. Therefore, It may affect the transformed semantic quality, thus on verification.
Khadhir Bekki +2 more
openaire +1 more source
An operational semantics of WS-BPEL based on abstract BPEL machine
2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2010It 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.
Dou Sun, Yongwang Zhao
exaly +2 more sources
2009 IEEE International Conference on Web Services, 2009
The idea of the future internet of services is to combine several services of numerous service providers to new value-added services or applications. To sell these services on so-called service marketplaces the providers have to ensure a high quality of service execution.
Anja Strunk +3 more
openaire +1 more source
The idea of the future internet of services is to combine several services of numerous service providers to new value-added services or applications. To sell these services on so-called service marketplaces the providers have to ensure a high quality of service execution.
Anja Strunk +3 more
openaire +1 more source
WS-BPEL Extensions for Versioning
Information and Software Technology, 2009This article proposes specific extensions for WS-BPEL (Business Process Execution Language) to support versioning of processes and partner links. It introduces new activities and extends existing activities, including partner links, invoke, receive, import, and onmessage activities.
Matjaz B Jurić
exaly +2 more sources
Toward the Formalization of BPEL
2016During the recent years, the composition, the orchestration and the interaction of web services have generated a great deal of interest for the Internet community. BPEL is the most important standard language for web services orchestration. It provides a variety of constructors allowing to build complex services from simple ones.
Laila Boumlik, Mohamed Mejri
openaire +1 more source
Making BPEL Flexible Adapting in the Context of Coordination Constraints Using WS-BPEL
2008 IEEE International Conference on Services Computing, 2008Although WS-BPEL is emerging as the prominent language for modeling executable business processes, its support for designing flexible processes is limited.An important need of many adaptive processes is for concurrent activities in the process to respect coordination constraints.
Yunzhou Wu, Prashant Doshi
openaire +1 more source
2015
Service-oriented architectures, and evolvements such as clouds, provide a promising infrastructure for future computing. They encapsulate an IP core’s functionality for easy access via well-defined business and web interfaces, and in turn allow us to flexibly realize complex software drawing on available expertise. In this paper, we take a look at some
Seema Jehan, Ingo Pill, Franz Wotawa
openaire +1 more source
Service-oriented architectures, and evolvements such as clouds, provide a promising infrastructure for future computing. They encapsulate an IP core’s functionality for easy access via well-defined business and web interfaces, and in turn allow us to flexibly realize complex software drawing on available expertise. In this paper, we take a look at some
Seema Jehan, Ingo Pill, Franz Wotawa
openaire +1 more source
Formalization and analysis of timed BPEL
Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014), 2014In this paper, we are interested in formalization, analysis and checking of the BPEL language at the semantic level. We propose translating rules from BPEL language to a low-level real-time model (DATA). This model is based on true-concurrency semantics and supports at the same time timing constraints and actions durations. This transformation approach
Imed Eddine Chama +2 more
semanticscholar +2 more sources
On Visualizing and Modelling BPEL with BPMN
2009 Workshops at the Grid and Pervasive Computing Conference, 2009The advantages of the process-based approach toimplementing applications lead to the development ofnotations for modelling business processes andlanguages for enacting them in a process engine forthe purpose of process automation. Currently theBusiness Process Modeling Notation (BPMN) istypically used for modelling business processes andthe Business ...
David Schumm +3 more
openaire +1 more source
2008
Novel trends in Web services technology challenge the assumptions made by current standards for process-based service composition. Most RESTful Web service APIs, which do not rely on the Web service description language (WSDL), cannot easily be composed using the BPEL language.
openaire +1 more source
Novel trends in Web services technology challenge the assumptions made by current standards for process-based service composition. Most RESTful Web service APIs, which do not rely on the Web service description language (WSDL), cannot easily be composed using the BPEL language.
openaire +1 more source