Sciweavers

502 search results - page 6 / 101
» Analyzing Interacting BPEL Processes
Sort
View
AWPN
2008
311views Algorithms» more  AWPN 2008»
13 years 9 months ago
WoPeD 2.0 goes BPEL 2.0
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
Andreas Eckleder, Thomas Freytag
ICWE
2004
Springer
14 years 25 days ago
A System for Interactive Authorization for Business Processes for Web Services
Business Processes for Web 1 Services are the new paradigm for virtual organization. In such cross organizational partnerships no business partner may guess a priori what kind of c...
Hristo Koshutanski, Fabio Massacci
IEEESCC
2007
IEEE
14 years 1 months ago
Deriving executable BPEL from UMM Business Transactions
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...
DKE
2008
135views more  DKE 2008»
13 years 7 months ago
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 7 months ago
Use of UML and Model Transformations for Workflow Process Definitions
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
Audris Kalnins, Valdis Vitolins