An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Liveness, fairness, and recurrence in Petri nets
Information Processing Letters
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
Aris-Business Process Modeling
Aris-Business Process Modeling
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Distributed and Parallel Databases
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Web Service Composition Languages: Old Wine in New Bottles?
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
From BPMN Process Models to BPEL Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Query nets: interacting workflow modules that ensure global termination
BPM'03 Proceedings of the 2003 international conference on Business process management
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
Instantiation Semantics for Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Complexity metrics for Workflow nets
Information and Software Technology
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Data & Knowledge Engineering
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Self-Architecting Software SYstems (SASSY) from QoS-annotated activity models
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Model-checking Web Services Orchestrations using BP-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A pattern-based approach to protocol mediation for web services composition
Information and Software Technology
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
Improving the understanding of BAM technology for real-time decision support
International Journal of Business Information Systems
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Survey paper: Refactoring large process model repositories
Computers in Industry
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Thresholds for error probability measures of business process models
Journal of Systems and Software
A decomposition-based approach for service composition with global QoS guarantees
Information Sciences: an International Journal
Service Oriented Enterprise and Contracted Profit Sharing
International Journal of Systems and Service-Oriented Engineering
Hi-index | 0.00 |
The Business Process Execution Language for Web Services (BPEL) has emerged as the de facto standard for implementing processes. Although intended as a language for connecting web services, its application is not limited to cross-organizational processes. It is expected that in the near future a wide variety of process-aware information systems will be realized using BPEL. While being a powerful language, BPEL is difficult to use. Its XML representation is very verbose and only readable for the trained eye. It offers many constructs and typically things can be implemented in many ways, e.g., using links and the flow construct or using sequences and switches. As a result only experienced users are able to select the right construct. Several vendors offer a graphical interface that generates BPEL code. However, the graphical representations are a direct reflection of the BPEL code and not easy to use by end-users. Therefore, we provide a mapping from Workflow Nets (WF-nets) to BPEL. This mapping builds on the rich theory of Petri nets and can also be used to map other languages (e.g., UML, EPC, BPMN, etc.) onto BPEL. In addition to this we have implemented the algorithm in a tool called WorkflowNet2BPEL4WS.