Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes

Data and Knowledge Engineering

Volumn 70, Issue 5, 2011, Pages 467-482

  Klai, Kais ^a   Tata, Samir ^b   Desel, Jörg ^c  

^a Laboratoire de Physique des Lasers   (France)

^b INSTITUT TELECOM   (France)

^c UNIVERSITY OF HAGEN   (Germany)

Author keywords

Binary decision diagrams; Business process composition; Deadlock freeness; Model checking; WF nets

Indexed keywords

ABSTRACTING; BINARY DECISION DIAGRAMS; COMPUTER PROGRAMMING LANGUAGES; GRAPHIC METHODS;

ABSTRACTION TECHNIQUES; BUSINESS PROCESS COMPOSITION; DEADLOCK FREENESS; INTER-ENTERPRISE; MODEL CHECKING PROBLEM; PROCESS COMPOSITIONS; SYSTEM COMPONENTS; WF-NETS;

MODEL CHECKING;

EID: 79955661140     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2011.01.007     Document Type: Article

References (29)

1. Randal E. Bryant Symbolic Boolean manipulation with ordered binary-decision diagrams ACM Computing Surveys 24 3 1992 293 318
2. Tevfik Bultan, Jianwen Su, and Xiang Fu Analyzing conversations of web services IEEE Internet Computing 10 1 2006 18 25 (Pubitemid 43159609)
3. Juliane Dehnert, and Peter Rittgen Relaxed soundness of business processes CAiSE '01: Proceedings of the 13th International Conference on Advanced Information Systems Engineering, volume 2068 of Lecture Notes in Computer Science 2001 Springer-Verlag London, UK 157 170 (Pubitemid 33285689)
4. Remco Dijkman, Marlon Dumas, and Chun Ouyang Semantics and analysis of business process models in BPMN Information and Software Technology 50 12 November 2008 1281 1294
5. Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf Instantaneous soundness checking of industrial business process models Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers, BPM, volume 5701 of Lecture Notes in Computer Science 2009 Springer 278 293
6. Paul Grefen, Karl Aberer, Yigal Hoffner, and Heiko Ludwig Crossflow: cross-organizational workflow management in dynamic virtual enterprises International Journal of Computer Systems Science & Engineering 15 5 2000 277 290
7. Daniela Grigori, Juan Carlos Corrales, and Mokrane Bouzeghoub Behavioral matchmaking for service retrieval ICWS '06: Proceedings of the IEEE International Conference on Web Services 2006 IEEE Computer Society Washington, DC, USA 145 152 (Pubitemid 351209848)
8. Serge Haddad, Jean-Michel Ilié, and Kais Klai Design and evaluation of a symbolic and abstraction-based model checker Farn Wang, ATVA, volume 3299 of LNCS 2004 Springer 196 210 (Pubitemid 39742452)
9. Ekkart Kindler, Axel Martens, and Wolfgang Reisig Inter-operability of workflow applications: local criteria for global soundness Business Process Management 2000 235 253
10. Kais Klai, and Laure Petrucci Modular construction of the symbolic observation graph Jonathan Billington, Zhenhua Duan, Maciej Koutny, ACSD 2008 IEEE 88 97
11. Kais Klai, and Denis Poitrenaud MC-SOG: an LTL model checker based on symbolic observation graphs Kees M. van Hee, Rüdiger Valk, Petri Nets, volume 5062 of Lecture Notes in Computer Science 2008 Springer 288 306
12. Kais Klai, Samir Tata, and Jörg Desel Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers, BPM, volume 5701 of Lecture Notes in Computer Science 2009 Springer 294 309
13. Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg Analyzing interacting WS-BPEL processes using flexible model generation Data Knowl. Eng. 64 1 2008 38 54 (Pubitemid 350087283)
14. Niels Lohmann, Eric Verbeek, Chun Ouyang, and Christian Stahl Comparing and evaluating petri net semantics for BPEL International Journal of Business Process Integration and Management (IJBPIM) 4 1 2009 30 73
15. Niels Lohmann, and Karsten Wolf Petrifying operating guidelines for services ACSD 2009 IEEE Computer Society 80 88
16. Axel Martens On usability of web services Coral Calero, Oscar Daz, Mario Piattini, Proceedings of 1st Web Services Quality Workshop (WQW 2003), Rome, Italy 2003
17. Axel Martens Analyzing web service based business processes Maura Cerioli, FASE, volume 3442 of Lecture Notes in Computer Science 2005 Springer 19 33 (Pubitemid 41273668)
18. Axel Martens Simulation and equivalence between BPEL process models Proceedings of the Design, Analysis, and Simulation of Distributed Systems Symposium (DASD '05), Part of the 2005 Spring Simulation Multiconference (SpringSim'05), San Diego, California April 2005
19. Axel Martens, Simon Moser, Achim Gerhardt, and Karoline Funk Analyzing compatibility of bpel processes Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services 2006 IEEE Computer Society Washington, DC, USA 147 (Pubitemid 44460772)
20. Peter Massuthe, and Karsten Wolf An algorithm for matching nondeterministic services with operating guidelines Informatik-Berichte 2006 Humboldt Universitat zu Berlin 202
21. Victor Pankratius, and Wolffried Stucky A formal foundation for workflow composition, workflow view definition, and workflow normalization based on Petri nets Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling 2005 Australian Computer Society, Inc Darlinghurst, Australia, Australia 79 88
22. Ronald Read, and Derek Corneil The graph isomorphism disease Graph Theory 1 1977 339 363
23. Juliane Siegeris, and Armin Zimmermann Workflow model compositions preserving relaxed soundness 4th International Conference on Business Process Management, volume 4102 of Lecture Notes in Computer Science 2006 Springer-Verlag Vienna, Austria 177 192 (Pubitemid 44568326)
24. W.-M.-P. van der Aalst Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries Information and Management 37 2000 67 75
25. Wil van der Aalst The application of petri nets to workflow management Journal of Circuits, Systems, and Computers 8 1 1998 21 66 (Pubitemid 128540249)
26. Wil van der Aalst Inheritance of interorganizational workflows: how to agree to disagree without loosing control? Information Technology and Management 4 October 2003 345 389
27. Andries van Dijk Contracting workflows and protocol patterns Business Process Management, volume 2678 of Lecture Notes in Computer Science 2003 Springer 152 167 (Pubitemid 137629977)
28. Wil van der Aalst, and Weske Mathias The P2P approach to interorganizational workflows Proceedings of the 13th International Conference on Advanced Information Systems Engineering 2001 Springer-Verlag 140 156
29. J.-L. Zhao Workflow management in the age of e-business Tutorial at the 35th Hawaii International Conference on System Sciences, Waikoloa, Hawaii January 2002