Production workflow: concepts and techniques
Production workflow: concepts and techniques
How to calculate symmetries of Petri nets
Acta Informatica
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Stubborn Sets for Standard Properties
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
CPN tools for editing, simulating, and analysing coloured Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Question-guided stubborn set methods for state properties
Formal Methods in System Design
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Formal modeling of BPEL workflows including fault and compensation handling
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
An approach to optimize data processing in business processes
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
International Journal of Agent-Oriented Software Engineering
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
A Rigorous Model of Service Component Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
Semantics and analysis of business process models in BPMN
Information and Software Technology
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Using tuplespaces to enact petri net-based workflow definitions
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Load management in model-aware execution of composite web services
Proceedings of the 2009 ACM symposium on Applied Computing
Data & Knowledge Engineering
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
CoBTx-Net: A model for business collaboration reliability verification
Information Systems Frontiers
An Approach to Analyzing Dynamic Trustworthy Service Composition
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Tuplespace middleware for Petri net-based workflow execution
International Journal of Web and Grid Services
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
On the semantics of service compositions
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Hierarchical Petri-nets model for the design of e-learning system
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Modeling web service interactions using the coordination language Reo
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Transforming XPDL to Petri nets
BPM'07 Proceedings of the 2007 international conference on Business process management
CoBTx-Net: a model for reliability verification of collaborative business transaction
BPM'07 Proceedings of the 2007 international conference on Business process management
A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
A mealy machine based modeling approach for semantic programming language
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Synthesis of orchestrators from service choreographies
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Applying ordinary differential equations to the performance analysis of service composition
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Monitoring and recovery of web service applications
The smart internet
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Monitoring and recovery of web service applications
The smart internet
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
Transformational design of business processes for SOA
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
A petri net based approach for process model driven deduction of BPEL code
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Verifying BPEL workflows under authorisation constraints
BPM'06 Proceedings of the 4th international conference on Business Process Management
A petri net based approach for reliability prediction of web services
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
A formal model for service-oriented interactions
Science of Computer Programming
From BPEL processes to YAWL workflows
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A WSDL-based type system for WS-BPEL
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Runtime enforcement of information flow security in tree manipulating processes
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Design of a BPEL verification tool
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
An aggregation composition compensation method based on paired net
International Journal of Automation and Computing
Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself
Autonomous Agents and Multi-Agent Systems
WorMS- a framework to support workflows in M&S
Proceedings of the Winter Simulation Conference
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Design for service compatibility
Software and Systems Modeling (SoSyM)
GOS: a global optimal selection strategies for QoS-aware web services composition
Service Oriented Computing and Applications
| Hi-index | 0.00 |
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL specifications into the input language of the Petri net model checking tool LoLA. We demonstrate that the semantics is well suited for computer aided verification purposes.