Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Dynamic and adaptive composition of e-services
Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
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
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
YAWL: yet another workflow language
Information Systems
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
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
Model checking service compositions under resource constraints
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Developing a concurrent service orchestration engine in ccr
Proceedings of the 1st international workshop on Multicore software engineering
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
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models
On the relationship between workflow models and document types
Information Systems
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Load management in model-aware execution of composite web services
Proceedings of the 2009 ACM symposium on Applied Computing
Transactions on Petri Nets and Other Models of Concurrency II
Verification of Business Process Entailment Constraints Using SPIN
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a formal model of autonomic services based on SelfLets
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Monotonicity in Service Orchestrations
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A pattern-based approach to protocol mediation for web services composition
Information and Software Technology
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
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
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
Guided recovery for web service applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
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
Expert Systems with Applications: An International Journal
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
Monitoring and recovery of web service applications
The smart internet
Controversy corner: APDL: A reference XML schema for process-centered definition of RFID solutions
Journal of Systems and Software
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
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
A formal model for service-oriented interactions
Science of Computer Programming
PMG-Pro: a model-driven development method of service-based applications
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
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
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Service Oriented Enterprise and Contracted Profit Sharing
International Journal of Systems and Service-Oriented Engineering
Software development methods in the internet of things
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Design for service compatibility
Software and Systems Modeling (SoSyM)
Modeling and optimizing large-scale data flows
Future Generation Computer Systems
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Intelligent Decision Technologies
Hi-index | 0.00 |
Web service composition refers to the creation of new (Web) services by combining functionalities provided by existing ones. A number of domain-specific languages for service composition have been proposed, with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL). The kernel of BPEL consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronization, etc. We present a comprehensive and rigorously defined mapping of BPEL constructs onto Petri net structures, and use this for the analysis of various dynamic properties related to unreachable activities, conflicting messages, garbage collection, conformance checking, and deadlocks and lifelocks in interaction processes. We use a mapping onto Petri nets because this allows us to use existing theoretical results and analysis tools. Unlike approaches based on finite state machines, we do not need to construct the state space, and can use structural analysis (e.g., transition invariants) instead. We have implemented a tool that translates BPEL processes into Petri nets and then applies Petri-net-based analysis techniques. This tool has been tested on different examples, and has been used to answer a variety of questions.