Filters








482 Hits in 7.7 sec

Petri Net Transformations for Business Processes – A Survey [chapter]

Niels Lohmann, Eric Verbeek, Remco Dijkman
2009 Lecture Notes in Computer Science  
In Process-Aware Information Systems, business processes are often modeled in an explicit way. Roughly speaking, the available business process modeling languages can be divided into two groups.  ...  To be able to use, for example, the abundance of Petri net verification techniques on business models, we need to be able to transform these models to Petri nets.  ...  Fig. 4 . 4 The example process as an EPC Fig. 5 . 5 The example process as a BPEL process Fig. 6 . 6 The BPEL process transformed into an open net (a) and a synthesized partner open net (b).  ... 
doi:10.1007/978-3-642-00899-3_3 fatcat:kohig2pkkfh7zoch4gq6tnjbdm

Analyzing Interacting BPEL Processes [chapter]

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
2006 Lecture Notes in Computer Science  
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 guideline (a characterization of all properly  ...  To achieve this goal we translate a BPEL process into an open workflow net using the semantics of [7] .  ... 
doi:10.1007/11841760_3 fatcat:reer4tek5ffjvkyrdiy5ah53wq

Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System [chapter]

W. M. P. van der Aalst, J. B. Jørgensen, K. B. Lassen
2005 Lecture Notes in Computer Science  
A semi-automatic translation of the workflow model to BPEL4WS is possible because of the structural requirements imposed on CWNs.  ...  This model is represented in terms of a so-called Colored Workflow Net (CWN), which is a generalization of the classical workflow nets to CPN.  ...  The first step translates the RCPN into a workflow model in the form of a Colored Workflow Net (CWN), a new class of Petri nets that we will introduce.  ... 
doi:10.1007/11575771_5 fatcat:2yiag633fjahpotlobm2ft2bqq

Bridging the heterogeneity of orchestrations - A Petri net-based integration of BPEL and Windows Workflow

Stefan Kolb, Jorg Lenhard, Guido Wirtz
2012 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA)  
We provide a mapping of WF to Open Workflow Nets (oWFNs) and implement it in a compiler.  ...  While the Web Services Business Process Execution Language (BPEL) is the de facto standard, others gain attention, including Windows Workflow (WF) in the .NET segment.  ...  With the help of the tool BPEL2OWFN 13 we translated the BPEL process into an oWFN (see Fig. 12 ).  ... 
doi:10.1109/soca.2012.6449433 dblp:conf/soca/KolbLW12 fatcat:mj5ugekhwrasdicmi6eyi26lja

Discrete control for safe execution of IT automation workflows

Yin Wang, Terence Kelly, Stéphane Lafortune
2007 ACM SIGOPS Operating Systems Review  
Experiments with workflows from a real production system and with randomly generated workflows show that our approach scales to workflows of practical size.  ...  Discrete control detects flaws in workflows just as static analysis does, and more importantly it also allows safe execution of flawed workflows by dynamically avoiding run-time failures.  ...  We used a research tool [26] to translate BPEL into Petri nets and then implemented standard reachability graph construction methods to obtain automata models of the workflows.  ... 
doi:10.1145/1272998.1273028 fatcat:ix7lqspxljegfibpcqzj2yq424

Discrete control for safe execution of IT automation workflows

Yin Wang, Terence Kelly, Stéphane Lafortune
2007 Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007 - EuroSys '07  
Experiments with workflows from a real production system and with randomly generated workflows show that our approach scales to workflows of practical size.  ...  Discrete control detects flaws in workflows just as static analysis does, and more importantly it also allows safe execution of flawed workflows by dynamically avoiding run-time failures.  ...  We used a research tool [26] to translate BPEL into Petri nets and then implemented standard reachability graph construction methods to obtain automata models of the workflows.  ... 
doi:10.1145/1272996.1273028 dblp:conf/eurosys/WangKL07 fatcat:2dk57vfdjbhdfhhr4uat7f3l4q

Transition between process models (BPMN) and service models (WS-BPEL and other standards): A systematic review

Marko Jurišić
2011 Journal of Information and Organizational Sciences  
BPMN and BPEL have become de facto standards for modeling of business processes and imple-mentation of business processes via Web services.  ...  while BPEL is basicallya block-based programming language.  ...  with respect to a Hypergraph Grammar [23] 2009 1 Table 2: Papers that deal with translating BPMN into BPEL *source: Google Scholar There is still no complete solution that would fully cover the translation  ... 
doaj:226a92b8a1d34c4f8d937bd564bbb1a7 fatcat:u75a4kwj55esriqtc5nz2l6lje

A Survey on Formal Methods for Web Service Composition [article]

Yong Wang
2013 arXiv   pre-print
Through analyses of Web Service Composition, we establish a reference model called RM-WSComposition to capture elements of Web Service Composition.  ...  process integrations.  ...  Aalst uses Petri Net to model a workflow called WF-Net [14] and connects two WF-Nets within different organizations into a newly global WF-Net to model integration of two workflow.  ... 
arXiv:1306.5535v2 fatcat:vkrb56ydhbf2zpdzekw4lw72si

Scientific Workflow: A Survey and Research Directions [chapter]

Adam Barker, Jano van Hemert
2008 Lecture Notes in Computer Science  
development of scientific workflow systems.  ...  Workflow technologies are emerging as the dominant approach to coordinate groups of distributed services.  ...  These mechanisms should allow scientists to model workflows from higher levels of abstraction and automatically translate them into BPEL processes that will run on any BPEL workflow engine.  ... 
doi:10.1007/978-3-540-68111-3_78 fatcat:2g6jvxwctjeyfdyos6yg74vo2i

A Survey on Workflow Verifications of Petri Nets based Service Process Management

Xiaoxian Yang, Tao Yu, Huahu Xu
2012 International Journal of Grid and Distributed Computing  
In this paper, it reviews workflow verifications of Petri Nets based service process management. First, the workflow and description supporting tools are introduced.  ...  The non-functional verification is to evaluate the performance of Petri Nets based workflow model ranging over timed constraints and probabilistic behaviors.  ...  Acknowledgments This paper is supported by Natural Science Foundation of Shanghai under Grant No. 15ZR1415200.  ... 
doi:10.14257/ijgdc.2015.8.6.09 fatcat:4oqtgzjla5azxhnerdv6oz7tq4

Current solutions for Web service composition

N. Milanovic, M. Malek
2004 IEEE Internet Computing  
There are many existing approaches to service composition, ranging from abstract methods to those aiming to be industry standards. The authors describe four key issues for Web service composition.  ...  Such applications are rapidly deployable and offer developers reuse possibilities and users seamless access to a variety of complex services.  ...  In the Petri-net approach, an OWL-S description is automatically translated into Petri nets.  ... 
doi:10.1109/mic.2004.58 fatcat:e4evym4phbelvevbrbb7eql4qy

Business process management (BPM) standards: a survey

Ryan K.L. Ko, Stephen S.G. Lee, Eng Wah Lee
2009 Business Process Management Journal  
Purpose -In the last two decades, a proliferation of business process management (BPM) modeling languages, standards and software systems has given rise to much confusion and obstacles to adoption.  ...  An attempt is made to classify BPM languages, standards and notations into four main groups: execution, interchange, graphical, and diagnosis standards.  ...  Although abstract BPEL processes model business protocols, abstract BPEL processes only model the perspective of just one party of the collaboration (van der Aalst et al., 2005a, b) .  ... 
doi:10.1108/14637150910987937 fatcat:hqgndiitczh5hlwpwpezuorwxi

Structured Service Composition [chapter]

Rik Eshuis, Paul Grefen, Sven Till
2006 Lecture Notes in Computer Science  
In this paper, we outline a semi-automatic approach for composing a set of services with data flow dependencies into a structured process model.  ...  Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models.  ...  The definition is strongly inspired by an existing algorithm to translate Petri nets into statecharts [11] .  ... 
doi:10.1007/11841760_8 fatcat:2ni2jchqrzbfhjhe7cpo2ey22e

Dynamic business network process management in instant virtual enterprises

Paul Grefen, Nikolay Mehandjiev, Giorgos Kouvas, Georg Weichhart, Rik Eshuis
2009 Computers in industry (Print)  
This process support involves the dynamic composition of local processes of network members into global processes at the IVE level.  ...  This functionality goes significantly beyond traditional approaches for interorganizational workflow management.  ...  The authors acknowledge the work of all members of the CrossWork project, whose work forms the basis for this paper. Sven Till is thanked especially for his help with producing the screen shots.  ... 
doi:10.1016/j.compind.2008.06.006 fatcat:si3rup7ocvfgbn636guewsvogq

Towards a Compiler for Business-IT Systems [chapter]

Jana Koehler, Thomas Gschwind, Jochen Küster, Hagen Völzer, Olaf Zimmermann
2011 Lecture Notes in Computer Science  
been made to compose Web services using intelligent planning techniques, and the analysis of business processes and Web service choreographies often relies on model checking.  ...  into executable IT systems.  ...  Common approaches to process verification usually take a business process model, translate a process model into a Petri net or another form of a state-based encoding and then run a Petri-net analysis tool  ... 
doi:10.1007/978-3-642-22386-0_1 fatcat:auc4n76a7nfxdaiind34fcqpiy
« Previous Showing results 1 — 15 out of 482 results