Petri nets and algebraic specifications
Theoretical Computer Science
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
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
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
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
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Model and infrastructure for decentralized workflow enactment
Proceedings of the 2008 ACM symposium on Applied computing
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
BPEL to BPMN: The Myth of a Straight-Forward Mapping
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Fault, Compensation and Termination in WS-BPEL 2.0 -- A Comparative Analysis
Web Services and Formal Methods
Why Does My Service Have No Partners?
Web Services and Formal Methods
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
Towards formalizing web service composition in Maude's strategy language
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
A formalisation of adaptable pervasive flows
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
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
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Error handling: from theory to practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
The biconnected verification of workflow nets
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Strong non-leak guarantees for workflow models
Proceedings of the 2011 ACM Symposium on Applied Computing
Process restructuring in the presence of message-dependent variables
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Generalised computation of behavioural profiles based on petri-net unfoldings
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
InDico: information flow analysis of business processes for confidentiality requirements
STM'10 Proceedings of the 6th international conference on Security and trust management
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Science of Computer Programming
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Propagating changes between aligned process models
Journal of Systems and Software
Core BPEL: syntactic simplification of WS-BPEL 2.0
Proceedings of the 27th Annual ACM Symposium on Applied Computing
An operational semantics of BPEL orchestrations integrating web services resource framework
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Compact Representations and Efficient Algorithms for Operating Guidelines
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Guaranteeing Weak Termination in Service Discovery
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Wendy: A Tool to Synthesize Partners for Services
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to allow for more compact models suited for computer-aided verification.