Exformatics declarative case management workflows as DCR graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8094 LNCS, Issue , 2013, Pages 339-354

  Slaats, Tijs ^a,b   Mukkamala, Raghava Rao ^a   Hildebrandt, Thomas ^a   Marquard, Morten ^b  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b Exformatics A S   (Denmark)

Author keywords

case study; declarative specifications; teaching; tools; workflows

Indexed keywords

CASE MANAGEMENT; COPENHAGEN; DYNAMIC CONDITION; RESEARCH SUBJECTS; RESPONSE GRAPHS; WORK-FLOWS; WORKFLOW LANGUAGE;

ENTERPRISE RESOURCE MANAGEMENT; RESEARCH; TEACHING; TOOLS;

GRAPHIC METHODS;

EID: 84881238088     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40176-3_28     Document Type: Conference Paper

References (21)

1. Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Designing a cross-organizational case management system using dynamic condition response graphs. In: 2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC), October 2-September 2, pp. 161-170 (2011)
2. Hildebrandt, T.: It and business process modelling course. IT University of Copenhagen (2013), https://blog.itu.dk/BIMF-F2013/
3. Hildebrandt, T., Carbone, M., Slaats, T.: Rsvp: Live sessions with responses. In: Proceedings of BEAT 2013, 1st International Workshop on Behavioural Types (2013)
4. Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Post-Proceedings of PLACES 2010 (2010)
5. Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Declarative modelling and safe distribution of healthcare workflows. In: International Symposium on Foundations of Health Information Engineering and Systems, Johannesburg, South Africa (August 2011)
6. Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 343-350. Springer, Heidelberg (2012)
7. Hildebrandt, T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. Journal of Logic and Algebraic Programming, JLAP (May 2013), http://dx.doi.org/10.1016/j.jlap.2013.05.005
8. Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Honda, K., Mycroft, A. (eds.) PLACES. EPTCS, vol. 69, pp. 59-73 (2010)
9. Hull, R.: Formal study of business entities with lifecycles: Use cases, abstract models, and results. In: Bravetti, T., Bultan, M. (eds.) 7th International Workshop on Web Services and Formal Methods. LNCS, vol. 6551, Springer, Heidelberg (2001)
10. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Proc. of WS-FM 2010, pp. 1-24. Springer, Heidelberg (2011)
11. Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: User-Guided Discovery of Declarative Process Models. In: 2011 IEEE Symposium on Computational Intelligence and Data Mining, IEEE (2011)
12. Mukkamala, R.R.: A Formal Model For Declarative Workflows - Dynamic Condition Response Graphs. PhD thesis, IT University of Copenhagen (March 2012) (forthcomming)
13. Mukkamala, R.R., Hildebrandt, T., Slaats, T.: Towards trustworthy adaptive case management with dynamic condition response graphs. In: Proceedings of the 17th IEEE International EDOC Conference, EDOC 2013 (2013)
14. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42, 428-445 (2003)
15. Pesic, M., Schonenberg, M.H., Sidorova, N., Van Der Aalst, W.M.P.: Constraint-based workflow models: change made easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77-94. Springer, Heidelberg (2007)
16. Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006) (Pubitemid 44543247)
17. Reijers, H.A., Slaats, T., Stahl, C.: Declarative Modeling - An Academic Dream or the Future for BPM? In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 307-322. Springer, Heidelberg (2013)
18. Slaats, T.: Dcr graphs wiki. IT University of Copenhagen (2013), http://www.itu.dk/research/models/wiki/index.php/DCR-Graphs-Editor
19. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2), 99-113 (2009)
20. Westergaard, M., Slaats, T.: Mixing Paradigms for More Comprehensible Models. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 283-290. Springer, Heidelberg (2013)
21. Winskel, G.: Events in Computation. PhD thesis, Edinburgh University (1980)