Designing a cross-organizational case management system using dynamic condition response graphs

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2011, Pages 161-170

  Hildebrandt, Thomas ^a   Mukkamala, Raghava Rao ^a   Slaats, Tijs ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Case study; Declarativeworkflow; Model driven design

Indexed keywords

ACTIVITY DIAGRAM; AD HOC PROCESS; BUSINESS PROCESS MODEL; CASE MANAGEMENT; DECLARATIVEWORKFLOW; DYNAMIC CONDITION; GOAL DRIVEN; GRAPHICAL DESIGNS; MODEL-DRIVEN DESIGN; NESTED GRAPHS; PROCESS-AWARE INFORMATION SYSTEMS; RESPONSE GRAPHS; SUB PROCESS; UML SEQUENCE; WORKFLOW MANAGEMENT SYSTEMS;

COMPUTER SIMULATION; DESIGN; GRAPHIC METHODS; PETRI NETS; RESEARCH; SYSTEMS ANALYSIS; WORK SIMPLIFICATION;

MANAGEMENT;

EID: 80054893701     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2011.35     Document Type: Conference Paper

References (32)

1. Active Endpoints, Adobe Systems, BEA Systems, IBM, Oracle, SAP. Ws-bpel extension for people (bpel4people) version 1.0, 2007. http://www.adobe.us/ content/dam/Adobe/en/devnet/livecycle/pdfs/bpel4peoplespec.pdf.
2. Kamal Bhattacharya, Cagdas Gerede, Richard Hull, Rong Liu, and Jianwen Su. Towards formal analysis of artifact-centric business process models. In In preparation, pages 288-304, 2007.
3. Christoph Bussler and Stefan Jablonski. Implementing agent coordination for workflow management systems using active database systems. In Research Issues in Data Engineering, 1994. Active Database Systems. Proceedings Fourth International Workshop on, pages 53-59, Feb 1994.
4. Marco Carbone, Kohei Honda, and Nobuko Yoshida. Structured Communication-Centred Programming for Web Services. In 16th European Symposium on Programming (ESOP'07), LNCS, pages 2-17. Springer, 2007.
5. David Cohn and Richard Hull. Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull., 32(3):3-9, 2009.
6. Hasam Davulcu, Michael Kifer, C. R. Ramakrishnan, and I.V. Ramakrishnan. Logic based modeling and analysis of workflows. In Proceedings of ACM SIGACT-SIGMOD-SIGART, pages 1-3. ACM Press, 1998.
7. Alin Deutsch, Richard Hull, Fabio Patrizi, and Victor Vianu. Automatic verification of data-centric business processes. In Proceedings of the 12th International Conference on Database Theory, ICDT'09, pages 252-267, New York, NY, USA, 2009. ACM.
8. Marlon Dumas, Wil M. van der Aalst, and Arthur H. ter Hofstede. Process Aware Information Systems: Bridging People and Software Through Process Technology. Wiley-Interscience, 2005.
9. Clarence A. Ellis and Gary J. Nutt. Office information systems and computer science. ACM Comput. Surv., 12:27-60, March 1980.
10. Clarence A. Ellis and Gary J. Nutt. Workflow: The Process Spectrum. In Amit Sheth, editor, Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems, pages 140-145, May 1996.
11. Thomas Hildebrandt. Trustworthy pervasive healthcare processes (Trust- Care) research project. Webpage, 2008. http://www.trustcare.dk/.
12. Thomas Hildebrandt and Raghava Rao Mukkamala. Declarative eventbased workflow as distributed dynamic condition response graphs. In Post-proceedings of PLACES 2010, 2010.
13. Thomas Hildebrandt and Raghava Rao Mukkamala. Distributed dynamic condition response structures. In Pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 10), March 2010.
14. Thomas Hildebrandt, Raghava Rao Mukkamala, and Tijs Slaats. Nested dynamic condition response graphs. In Fundamentals of Software Engineering Confereence 2011 (to appear), April 2011.
15. Richard Hull. Formal study of business entities with lifecycles: Use cases, abstract models, and results. In Proceedings of 7th International Workshop on Web Services and Formal Methods, volume 6551 of Lecture Notes in Computer Science, 2010.
16. Karen Marie Lyng, Thomas Hildebrandt, and Raghava Rao Mukkamala. From paper based clinical practice guidelines to declarative workflow management. In Proceedings ProHealth 08 workshop, 2008.
17. Raghava Rao Mukkamala and Thomas Hildebrandt. From dynamic condition response structures to b̈uchi automata. In Proceedings of 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010), August 2010.
18. Raghava Rao Mukkamala, Thomas Hildebrandt, and Janus Boris Tøth. The resultmaker online consultant: From declarative workflow management in practice to LTL. In Proceeding of DDBP, 2008.
19. Object Management Group BPMN Technical Committee. Business Process Model and Notation, version 2.0, 2010. http://www.omg.org/spec/BPMN/2.0/.
20. Organization for the Advancement of Structured Information Standards (OASIS). Web services human task (ws-humantask) specification, version 1.1, 2009. http://docs.oasis-open.org/bpel4people/ws-humantask-1.1-spec-cd-06.pdf.
21. Microsoft Research. Zing model checker. Webpage, 2010. http://research.microsoft.com/en-us/projects/zing/.
22. Pinar Senkul, Michael Kifer, and Ismail H. Toroslu. A logical framework for scheduling workflows under resource allocation constraints. In In VLDB, pages 694-705, 2002.
23. Munindar P. Singh, Greg Meredith, Christine Tomlinson, and Paul C. Attie. An event algebra for specifying and scheduling workflows. In Proceedings of DASFAA, pages 53-60. World Scientific Press, 1995.
24. Spin. On-the-fly, ltl model checking with spin. Webpage, 2008. http://spinroot.com/spin/whatispin.html.
25. Keith D. Swenson. Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press, 2010.
26. Wil M. P. van der Aalst and S Jablonski. Dealing with workflow change: Identification of issues and solutions. International Journal of Computer Systems, Science, and Engineering, 15(5):267-276, 2000.
27. Wil M. P. van der Aalst, Maja Pesic, and Helen Schonenberg. Declarative workflows: Balancing between flexibility and support. Computer Science - R&D, 23(2):99-113, 2009.
28. Wil M.P van der Aalst and Maja Pesic. A declarative approach for flexible business processes management. In Proceedings DPM 2006, LNCS. Springer Verlag, 2006.
29. W3C. Web services choreography description language, version 1.0, 2005. http://www.w3.org/TR/ws-cdl-10/.
30. Glynn Winskel. Event structures. In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets, volume 255 of Lecture Notes in Computer Science, pages 325-392. Springer, 1986.
31. Glynn Winskel and Mogens Nielsen. Models for concurrency. In Handbook of logic in computer science (vol. 4): semantic modelling, pages 1-148. Oxford University Press, Oxford, UK, 1995.
32. M. D. Zisman. Representation, Specification and Automation of Office Procedures. Philadelphia, Pa.: University of Pennsylvania, Wharton School, Department of Decision Sciences, Ph.D. Thesis, Sep, 1977.