Results 101 to 110 of about 6,413 (258)
Analyzing Interacting BPEL Processes [PDF]
, 2006 This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating ...
Lohmann, Niels +3 more
openaire +2 more sources
Temporal Management of WS-BPEL Processes [PDF]
, 2011 WS-BPEL is de-facto industry standard for business processes. One of its major shortcomings is lack of temporal management capabilities. WS-BPEL offers no possibility for definition, calculation and monitoring of temporal values such as activity ...
Tahamtan, Amirreza +7 more
core +1 more source
, 2013 The book is written in a Cookbook format with practical recipes aimed at helping you extend BPEL capabilities with Java.This book is aimed at Java developers who use BPEL programming to develop web services in SOA development.
Laznik, Jurij
core
From BPEL Processes to YAWL Workflows [PDF]
, 2006 . BPEL is currently the most widespread language for composing Web services, but it lacks formal semantics. YAWL is a workflow language with a well defined formal semantics that implements the most common workflow patterns.
Antonio Brogi, Razvan Popescu
core +1 more source
Introduction to Devices Orchestration in Internet of Things Using SBPMN
International Journal of Interactive Multimedia and Artificial Intelligence, 2011 In this research we try to provide an architecture that allows the orchestration of objects that are part of the Internet of things creating business processes.
Juan Manuel Cueva Lovelle +5 more
doaj +1 more source
Context constraint integration and validation in dynamic web service compositions [PDF]
, 2010 System architectures that cross organisational boundaries are usually implemented based on Web service technologies due to their inherent interoperability benets.
Yapa Bandara, Kosala +2 more
core
Journal of Information and Organizational Sciences, 2011 BPMN and BPEL have become de facto standards for modeling of business processes and imple-mentation of business processes via Web services. There is a quintessential problem of discrep-ancy between these two approaches as they are applied in different ...
Marko Jurišić
doaj
Towards Resource-Oriented BPEL [PDF]
, 2008 Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a “light-weight” approach to Web services, is reshaping itself as a modeling strategy to service orientation. Along comes the realization that resources are in-fact complex state
openaire +2 more sources
Automata Semantics and Analysis of BPEL [PDF]
, 2019 Web service is an emerging paradigm for distributed computing. In order to verify web services rigorously, it is important to provide a formal semantics for flow-based web service languages such as BPEL. A suitable formal model should cover most features
Krause, Paul J., Zheng, Yongyan
core +2 more sources
Analysis of WS-BPEL processes in PRISM [PDF]
, 2011 WS-BPEL has emerged as the de facto industry standard for composing Web services. With the wide attention for WS-BPEL, Quality of Service (QoS) for it has become a key differentiator to judge the services with same functionalities.
Zongyan Qiu +9 more
core +1 more source