Web-based modelling and collaborative simulation of declarative processes

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

Volumn 9253, Issue , 2015, Pages 209-225

  Marquard, Morten ^a   Shahzad, Muhammad ^a,b   Slaats, Tijs ^a,c  

^a Exformatics A S   (Denmark)

^b TEO International   (Pakistan)

^c IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Collaborative process simulation; DCR graphs; Declarative modelling; Knowledge work; Process flexibility; Web based process modelling

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE MANAGEMENT; PROCESS ENGINEERING; WEBSITES;

COLLABORATIVE PROCESS; DCR GRAPHS; DECLARATIVE MODELLING; KNOWLEDGE WORK; PROCESS FLEXIBILITY; PROCESS MODELLING;

GRAPHIC METHODS;

EID: 84944698744     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-23063-4_15     Document Type: Conference Paper

References (36)

1. Innovations netværk for it. http://www.infinit.dk/
2. Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: preparation, pp. 288-304 (2007)
3. Davenport, T.H., Jarvenpaa, S.L., Beers, M.C.: Improving knowledge work processes. Sloan management review (1996)
4. Debois, S., Hildebrandt, T., Marquard, M., Slaats, T.: Bridging the valley of death -a success story on danish funding schemes paving a path from technology readiness level 1 to 9. In: Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015)
5. Debois, S., Hildebrandt, T., Slaats, T.: Hierarchical declarative modelling with refinement and sub-processes. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 18-33. Springer, Heidelberg (2014)
6. Drucker, P.F.: Management Challenges for the 21st Century. HarperBusiness (2001)
7. Dubois, S., Hildebrandt, T., Marquard, M., Slaats, T.: A case for declarative process modelling: Agile development of a grant application system (2014)
8. Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Post-Proceedings of PLACES 2010 (2010)
9. 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), pp. 161-170, 29-september 2, 2011
10. 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)
11. Hildebrandt, T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for crossorganizational workflows as timed dynamic condition response graphs. Journal of Logic and Algebraic Programming (JLAP), May 2013
12. Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath III F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P.N., Vaculin, R.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: Proc. of DEBS 2011, pp. 51-62. ACM, New York (2011)
13. 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 (invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1-24. Springer, Heidelberg (2011)
14. Maggi, F.M., Slaats, T., Reijers, H.A.: The Automated discovery of hybrid processes. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 392-399. Springer, Heidelberg (2014)
15. Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132-147. Springer, Heidelberg (2011)
16. Bughin, J., Dobbs, R., Roxburgh, C., Sarrazin, H., Sands, G., Chui, M., Manyika, J., Westergren, M.: The social economy: Unlocking value and productivity through social technologies (2012)
17. Montali, M.: Specification and Verification of Declarative Open Interaction Models: aLogic-Based Approach. Lecture Notes in Business Information Processing, vol. 56. Springer (2010)
18. Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Transactions on the Web (TWEB) 4(1), 3 (2010)
19. Mukkamala, R.R.: A Formal Model For Declarative Workflows -Dynamic Condition Response Graphs. PhD thesis, IT University of Copenhagen, March 2012
20. 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)
21. Mulyar, N.A., Schonenberg, M.H., Mans, R.S, van der Aalst, W.M.P.: Towards a Taxonomy of Process Flexibility (Extended Version) (2007)
22. Object Management Group. Case Management Model and Notation, version 1.0. Webpage, May 2014. http://www.omg.org/spec/CMMN/1.0/PDF
23. Object Management Group BPMN Technical Committee. Business Process Model and Notation, version 2.0. http://www.omg.org/spec/BPMN/2.0/PDF
24. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, p. 287. IEEE Computer Society (2007)
25. Reich, R.B.: The Work of Nations: Preparing Ourselves for 21st Century Capitalism. Vintage Books (1992)
26. Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Berlin-Heidelberg (2012)
27. 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)
28. 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)
29. Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press (2010)
30. 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)
31. van der Aalst, W., Pesic, M., Schonenberg, H., Westergaard, M., Maggi, F.M.: Declare. Webpage 2010. http://www.win.tue.nl/declare/
32. van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. Springer Publishing Company, Incorporated (2011)
33. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1-23. Springer, Heidelberg (2006)
34. Völzer, H.: An overview of BPMN 2.0 and its potential use. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol. 67, pp. 14-15. Springer, Heidelberg (2010)
35. Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features -enhancing flexibility in process-aware information systems. Data and Knowledge Engineering 66(3), 438-466 (2008)
36. Westergaard, M., Slaats, T.: Mixing paradigms for more comprehensible models. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM2013. LNCS, vol. 8094, pp. 283-290. Springer, Heidelberg (2013)