Contracts for cross-organizational workflows as timed dynamic condition response graphs

Journal of Logic and Algebraic Programming

Volumn 82, Issue 5-7, 2013, Pages 164-185

  Hildebrandt, Thomas ^a   Mukkamala, Raghava Rao ^a   Slaats, Tijs ^a,b   Zanitti, Francesco ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b Exformatics A S   (Denmark)

Author keywords

Contracts; Cross organizational workflow; Declarative process models; Liveness; Safety; Time

Indexed keywords

ACCIDENT PREVENTION; CONTRACTS; INDUSTRIAL PLANTS;

CROSS-ORGANIZATIONAL; CROSS-ORGANIZATIONAL WORKFLOW; DECLARATIVE PROCESS MODELS; DYNAMIC CONDITION; FINITE-STATE TRANSITION SYSTEMS; LIVENESS; LIVENESS PROPERTIES; TIME;

GRAPHIC METHODS;

EID: 84891903707     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2013.05.005     Document Type: Article

References (75)

1. W.M.P. v. d. Aalst, M. Weske, The p2p approach to interorganizational workflows, in: Proceedings of the 13th International Conference on Advanced Information Systems Engineering, CAiSE '01, 2001, pp. 140-156, http://dl.acm.org/citation.cfm?id=646089.680214.
2. R. Alur, D. Dill, Automata for modeling real-time systems, in: M. Paterson (Ed.), Automata, Languages and Programming, in: Lecture Notes in Computer Science, vol. 443, Springer, Berlin, Heidelberg, 1990, pp. 322-335.
3. P. Bellini, R. Mattolini, P. Nesi, Temporal logics for real-time system specification, ACM Computing Surveys 32 (2000) 12-42.
4. B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering 17 (1991) 259-273.
5. M. Bravetti, G. Zavattaro, Contract based multi-party service composition, in: International Symposium on Fundamentals of Software Engineering (FSEN), vol. 4767, Springer, 2007, pp. 207-222.
6. M. Bravetti, G. Zavattaro, A theory of contracts for strong service compliance, MSCS Mathematical Structures in Computer Science 19 (2009) 601-638.
7. J.C. Burns, The evolution of office information systems, Datamation 23 (4) (1977) 60-64.
8. M. Carbone, K. Honda, N. Yoshida, Structured communication-centred programming for web services, in: 16th European Symposium on Programming (ESOP'07), in: LNCS, Springer, 2007, pp. 2-17.
9. F. Cassez, O.H. Roux, Structural translation from time Petri nets to timed automata, Electronic Notes in Theoretical Computer Science 128 (2005) 145-160.
10. I. Castellani, M. Mukund, P. Thiagarajan, Synthesizing distributed transition systems from global specifications, in: Foundations of Software Technology and Theoretical Computer Science, vol. 1738, Springer, Berlin, Heidelberg, 1999, pp. 219-231.
11. E.M. Clarke, O. Grumberg, D.A. Peled, Model Checking, MIT Press, 1999.
12. G. Dong, R. Hull, B. Kumar, J. Su, G. Zhou, A framework for optimizing distributed workflow executions, in: Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming, DBPL '99, Springer-Verlag, London, UK, 2000, pp. 152-167.
13. M. Dumas, W.M. van der Aalst, A.H. ter Hofstede, Process Aware Information Systems: Bridging People and Software Through Process Technology, Wiley-Interscience, 2005.
14. M. Dwyer, G. Avrunin, J. Corbett, Patterns in property specifications for finite-state verification, in: Proceedings of the 1999 International Conference on Software Engineering, 1999, pp. 411-420.
15. C.A. Ellis, Information control nets: A mathematical model of office information flow, in: Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, in: ACM SIGMETRICS Performance Evaluation Review, vol. 8, 1979, pp. 225-240.
16. C.A. Ellis, G.J. Nutt, Office information systems and computer science, ACM Computing Surveys 12 (1980) 27-60.
17. H. Eshuis, Semantics and verification of UML activity diagrams for workflow modelling, Ph.D. thesis, Univ. of Twente, 2002. CTIT Ph.D.-thesis series No. 02-44.
18. R. Eshuis, R. Wieringa, Tool support for verifying uml activity diagrams, IEEE Transactions on Software Engineering 30 (2004) 437-447.
19. D. Fahland, Towards analyzing declarative workflows, in: J. Koehler, M. Pistore, A.P. Sheth, P. Traverso, M. Wirsing (Eds.), Autonomous and Adaptive Web Services, in: Dagstuhl Seminar Proceedings, vol. 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007, p. 6.
20. W. Fdhila, C. Godart, Toward synchronization between decentralized orchestrations of composite web services, in: CollaborateCom'09, 2009, pp. 1-10, http://dx.doi.org/10.4108/ICST.COLLABORATECOM2009.8275.
21. W. Fdhila, U. Yildiz, C. Godart, A flexible approach for automatic process decentralization using dependency tables, in: International Conference on Web Services, 2009.
22. X. Fu, T. Bultan, J. Su, Realizability of conversation protocols with message contents, in: Proceedings of the IEEE International Conference on Web Services, ICWS '04, IEEE Computer Society, Washington, DC, USA, 2004, p. 96.
23. H.-M. Hanisch, Analysis of place/transition nets with timed arcs and its application to batch process control, in: M. Ajmone Marsan (Ed.), Application and Theory of Petri Nets 1993, in: Lecture Notes in Computer Science, vol. 691, Springer, Berlin, Heidelberg, 1993, pp. 282-299.
24. K. Heljanko, A. Stefanescu, Complexity results for checking distributed implementability, in: Proceedings of the Fifth International Conference on Application of Concurrency to System Design, ACSD '05, IEEE Computer Society, Washington, DC, ISBN 0-7695-2363-3, 2005, pp. 78-87, http://dx.doi.org/10.1109/ ACSD.2005.7.
25. T. Hildebrandt, Trustworthy pervasive healthcare processes (TrustCare) research project, Webpage, 2008, http://www.trustcare.dk/.
26. T. Hildebrandt, Dynamic condition response graphs - a dynamic temporal logic for event-based processes, in: 8th Scandinavian Logic Symposium, 20-21 August, 2012, pp. 52-54.
27. T.T. Hildebrandt, R.R. Mukkamala, Declarative event-based workflow as distributed dynamic condition response graphs, in: K. Honda, A. Mycroft (Eds.), PLACES, in: EPTCS, vol. 69, 2011, pp. 59-73, http://dx.doi.org/10.4204/EPTCS.69. 5, arXiv:1110.4161.
28. T. Hildebrandt, R.R. Mukkamala, T. Slaats, Safe distribution of declarative processes, in: Proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM'11, Springer-Verlag, Berlin, Heidelberg, 2011, pp. 237-252.
29. T. Hildebrandt, R. Mukkamala, T. Slaats, Designing a cross-organizational case management system using dynamic condition response graphs, in: 15th IEEE International on Enterprise Distributed Object Computing Conference (EDOC), 2011, pp. 161-170.
30. T. Hildebrandt, R.R. Mukkamala, T. Slaats, Nested dynamic condition response graphs, in: Proceedings of Fundamentals of Software Engineering (FSEN), in: LNCS, vol. 7141, Springer-Verlag, 2012, pp. 343-350.
31. R.R. Mukkamala, T. Hildebrandt, T. Slaats, Towards trustworthy adaptive case management with Dynamic Condition Response Graphs, in: Proceedings of the 17th IEEE International EDOC Conference (EDOC 2013), 9-13 September, 2013, Vancouver, Canada, in press.
32. T. Hildebrandt, R.R. Mukkamala, T. Slaats, F. Zanitti, Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs, in: Foundations of Aspect-Oriented Languages, 2013.
33. T. Hildebrandt, F. Zanitti, A process-oriented event-based programming language, in: F. Bry, A. Paschke, P.T. Eugster, C. Fetzer, A. Behrend (Eds.), DEBS, ACM, 2012, pp. 377-378.
34. G.J. Holzmann, The model checker spin, IEEE Transactions on Software Engineering 23 (1997) 279-295.
35. R. Khalaf, F. Leymann, Role-based decomposition of business processes using BPEL, in: International Conference on Web Services, ICWS '06, 2006, pp. 770-780.
36. E. Kindler, A. Martens, W. Reisig, Inter-operability of workflow applications: Local criteria for global soundness, in: Business Process Management, Models, Techniques, and Empirical Studies, Springer-Verlag, London, UK, 2000, pp. 235-253.
37. K.J. Kristoffersen, C. Pedersen, H.R. Andersen, Runtime verification of timed ltl using disjunctive normalized equation systems, Electronic Notes in Theoretical Computer Science 89 (2003) 210-225.
38. S. Ling, H. Schmidt, Time Petri nets for workflow modelling and analysis, in: IEEE International Conference on Systems, Man, and Cybernetics, vol. 4, 2000, pp. 3039-3044.
39. F. Maria Maggi, M. Montali, M. Westergaard, W.M.P. van der Aalst, Monitoring business constraints with linear temporal logic: An approach based on colored automata, in: Business Process Management (BPM), in: Lecture Notes in Computer Science, vol. 6896, 2011, pp. 32-147.
40. A. Martens, Analyzing web service based business processes, in: 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, FASE'05, Springer-Verlag, Berlin, Heidelberg, 2005, pp. 19-33.
41. P.M. Merlin, A study of the recoverability of computing systems, Ph.D. thesis, University of California, Irvine, 1974, AAI7511026.
42. Z. Milosevic, S. Sadiq, M. Orlowska, Towards a methodology for deriving contract-compliant business processes, in: Business Process Management, in: Lecture Notes in Computer Science, vol. 4102, Springer, Berlin, Heidelberg, 2006, pp. 395-400.
43. S. Mitra, R. Kumar, S. Basu, Optimum decentralized choreography for web services composition, in: Proceedings of the 2008 IEEE International Conference on Services Computing, vol. 2, 2008, pp. 395-402.
44. M. Montali, Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach, Lecture Notes in Business Information Processing, vol. 56, Springer, 2010.
45. R.R. Mukkamala, A formal model for declarative workflows - Dynamic condition response graphs, Ph.D. thesis, IT University of Copenhagen, 2012, ITU DS D-2012-80.
46. R. Mukkamala, T. Hildebrandt, From dynamic condition response structures to Büchi automata, in: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 2010, pp. 187-190.
47. R.R. Mukkamala, T. Hildebrandt, J.B. Tøth, The resultmaker online consultant: From declarative workflow management in practice to ltl, in: Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops, EDOCW '08, IEEE Computer Society, Washington, DC, USA, 2008, pp. 135-142.
48. M. Mukund, From global specifications to distributed implementations, in: Synthesis and Control of Discrete Event Systems, Springer, 2002, pp. 19-35.
49. M.G. Nanda, S. Chandra, V. Sarkar, Decentralizing execution of composite web services, SIGPLAN Notices 39 (2004) 170-187.
50. OASIS WSBPEL Technical Committee, Web Services Business Process Execution Language, version 2.0, 2007.
51. Object Management Group BPMN Technical Committee, Business Process Model and Notation, version 2.0, Webpage, 2011, http://www.omg.org/spec/BPMN/2.0/PDF.
52. M. Papazoglou, Making business processes compliant to standards and regulations, in: Enterprise Distributed Object Computing Conference (EDOC), 15th IEEE International, 2011, pp. 3-13.
53. M. Pesic, M.H. Schonenberg, N. Sidorova, W.M.P. Van Der Aalst, Constraint-based workflow models: Change made easy, in: Proceedings of the 2007 OTM Confederated International Conference on the Move to Meaningful Internet Systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I, OTM'07, Springer-Verlag, Berlin, Heidelberg, 2007, pp. 77-94.
54. M. Pesic, W.M.P. van der Aalst, A declarative approach for flexible business processes management, in: Proceedings of the 2006 International Conference on Business Process Management Workshops, BPM'06, Springer-Verlag, Berlin, Heidelberg, 2006, pp. 169-180.
55. C.A. Petri, Kommunikation mit Automaten, Ph.D. thesis, Universitet Hamburg, 1962.
56. A. Pnueli, The temporal logic of programs, in: Proceedings of 18th IEEE FOCS, pp. 46-57.
57. L. Popova-Zeugmann, On time Petri nets, Elektronische Informationsverarbeitung und Kybernetik 27 (1991) 227-244.
58. L. Popova-Zeugmann, D. Schlatter, Analyzing paths in time Petri nets, Fundamenta Informaticae 37 (1999) 311-327.
59. C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1974.
60. Resultmaker, http://www.resultmaker.com/, 2008.
61. S. Rinderle, A. Wombacher, M. Reichert, Evolution of process choreographies in dychor, in: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, in: LNCS, vol. 4275, Springer, 2006, pp. 273-290.
62. W. Sadiq, S. Sadiq, K. Schulz, Model driven distribution of collaborative business processes, in: IEEE International Conference on Services Computing, SCC '06, 2006, pp. 281-284.
63. A. ter Hofstede, R. van Glabbeek, D. Stork, Query nets: Interacting workflow modules that ensure global termination, in: Business Process Management, Springer, Berlin, Heidelberg, 2003, pp. 184-199.
64. W.M.P. van der Aalst, Interorganizational workflows: An approach based on message sequence charts and Petri nets, Systems Analysis, Modelling, Simulation 34 (1999) 335-367.
65. W. van der Aalst, Inheritance of interorganizational workflows: How to agree to disagree without loosing control?, Information Technology and Management 4 (2003) 345-389.
66. W.M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, K. Wolf, Multiparty contracts: Agreeing and implementing interorganizational processes, The Computer Journal 53 (2010) 90-106.
67. W.M. van der Aalst, M. Pesic, DecSerFlow: Towards a truly declarative service flow language, in: M. Bravetti, M. Nunez, G. Zavattaro (Eds.), Proceedings of Web Services and Formal Methods (WS-FM 2006), in: LNCS, vol. 4184, Springer-Verlag, 2006, pp. 1-23.
68. W. Vanderaalst, M. Weske, D. Grunbauer, Case handling: A new paradigm for business process support, Data & Knowledge Engineering 53 (2005) 129-162.
69. M.Y. Vardi, An automata-theoretic approach to linear temporal logic, in: Logics for Concurrency: Structure Versus Automata, in: Lecture Notes in Computer Science, vol. 1043, Springer-Verlag, 1996, pp. 238-266.
70. B. Walter, Timed Petri nets for modelling and analyzing protocols with real-time characteristics, in: Protocol Specification, Testing, and Verification III, Elsevier Science Publ. B.V. (North Holland), 1983, pp. 149-159, http://www.informatik.uni-hamburg.de/TGI/pnbib/w/walter-b1.html.
71. D. Wodtke, G. Weikum, A formal foundation for distributed workflow execution based on state charts, in: Proceedings of the 6th International Conference on Database Theory, Springer-Verlag, London, UK, 1997, pp. 230-246.
72. X. Yi, K. Kochut, Process composition of web services with complex conversation protocols: a colored Petri nets based approach, in: Design, Analysis, and Simulation of Distributed Systems Symposium at Advanced Simulation Technology, 2004, pp. 141-148.
73. W. Zielonka, Notes on finite asynchronous automata, Informatique Théorique et Applications 21 (2) (1987) 99-135.
74. M.D. Zisman, Representation, specification and automation of office procedures, Ph.D. thesis, Wharton School, University of Pennsylvania, 1977.
75. W.M. Zuberek, Timed Petri nets and preliminary performance evaluation, in: Proceedings of the 7th Annual Symposium on Computer Architecture, ISCA '80, ACM, New York, NY, USA, 1980, pp. 88-96.