Dynamic condition response graphs for trustworthy adaptive case management

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

Volumn 8186 LNCS, Issue , 2013, Pages 166-171

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

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b Exformatics A S   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CASE MANAGEMENT; CROSS-ORGANIZATIONAL; DECLARATIVE PROCESS MODELS; DYNAMIC CONDITION; FORMAL VERIFICATIONS; LINEAR TIME LOGIC; OPERATIONAL SEMANTICS; RESPONSE GRAPHS;

INDUSTRY; INTERNET;

INFORMATION MANAGEMENT;

EID: 84886740736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-41033-8_23     Document Type: Conference Paper

References (13)

1. Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES. EPTCS, vol. 69, pp. 59-73 (2011)
2. 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)
3. Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Safe distribution of declarative processes. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 237-252. Springer, Heidelberg (2011)
4. 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
5. 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 (2010)
6. Mukkamala, R.R.: A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs. PhD thesis, IT University of Copenhagen (June 2012), http://www.itu.dk/people/rao/phd-thesis/DCRGraphs-rao-PhD-thesis.pdf
7. 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)
8. Mundbrod, N., Kolb, J., Reichert, M.: Towards a system support of collaborative knowledge work. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 31-42. Springer, Heidelberg (2013)
9. Sirbu, A.,Marconi, A., Pistore,M., Eberle, H., Leymann, F.,Unger, T.: Dynamic composition of pervasive process fragments. In: Proceedings of the 2011 IEEE International Conference on Web Services, ICWS 2011, pp. 73-80. IEEE Computer Society, Washington, DC (2011)
10. Slaats, T., Mukkamala, R.R., Hildebrandt, T., Marquard, M.: Exformatics declarative case management workflows as dcr graphs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 339-354. Springer, Heidelberg (2013)
11. Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press (2010)
12. 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)
13. 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)