Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Analyzing Conversations of Web Services
IEEE Internet Computing
Analyzing Compatibility of BPEL Processes
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Behavioral matchmaking for service retrieval
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Semantics and analysis of business process models in BPMN
Information and Software Technology
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Petrifying Operating Guidelines for Services
ACSD '09 Proceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design
Contracting workflows and protocol patterns
BPM'03 Proceedings of the 2003 international conference on Business process management
WISEW'03 Proceedings of the Fourth international conference on Web information systems engineering workshops
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
Checking soundness of business processes compositionally using symbolic observation graphs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
International Journal of Web Services Research
Compliance checking of integrated business processes
Data & Knowledge Engineering
Hi-index | 0.01 |
The design of complex inter-enterprise business processes (IEBP) is generally performed in a modular way. Each process is designed separately and then the whole IEBP is obtained by composition. Even if such a modular approach is intuitive and facilitates the design problem, it poses the problem that correct behavior of each business process of the IEBP taken alone does not guarantee a correct behavior of the composed IEBP (i.e. properties are not preserved by composition). Proving correctness of the (unknown) composed process is strongly related to the model checking problem of a system model. Among others, the symbolic observation graph based approach has proven to be very helpful for efficient model checking in general. Since it is heavily based on abstraction techniques and thus hides detailed information about system components that are not relevant for the correctness decision, it is promising to transfer this concept to the problem raised in this paper: How can the symbolic observation graph technique be adapted and employed for process composition? Answering this question is the aim of this paper.