Configurable declare: Designing customisable flexible process models

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

Volumn 7565 LNCS, Issue PART 1, 2012, Pages 20-37

  Schunselaar, Dennis M M ^a   Maggi, Fabrizio Maria ^a   Sidorova, Natalia ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

business process modelling; configurable process models; declarative process models; Declare

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MODELLING; CONFIGURABILITY; CONFIGURATION OPTIONS; DECLARATIVE LANGUAGES; DECLARATIVE MODELS; DECLARE; EVENT HIDING; FLEXIBLE PROCESS; HIGH DEGREE OF VARIABILITY; PROCEDURAL LANGUAGES; PROCESS MODEL; PROCESS MODELLING;

ARTIFICIAL INTELLIGENCE;

INTERNET;

EID: 84872765342     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33606-5_3     Document Type: Conference Paper

References (19)

1. van der Aalst,W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: The Role of Business Processes in Service Oriented Architectures. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2006)
2. Becker, J., Delfmann, P., Knackstedt, R., Kuropka, D.: Configurative process modeling - outlining an approach to increased business process model usability. In: Proceedings of the 15th Information Resources Management Association Information Conference (2004)
3. Dreiling, A., Rosemann, M., van der Aalst, W.M.P., Heuser, L., Schulz, K.: Modelbased software configuration: patterns and languages. EJIS 15(6), 583-600 (2006)
4. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley Interscience (2005)
5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411-420. ACM (1999)
6. Fahland, D., Lübke, D., Mendling, J., Reijers, H., Weber, B., Weidlich, M., Zugal, S.: Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) BPMDS 2009 and EMMSAD 2009. LNBIP, vol. 29, pp. 353-366. Springer, Heidelberg (2009)
7. Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: ASE, pp. 412-416. IEEE Computer Society (2001)
8. Gottschalk, F.: Configurable Process Models. Ph.D. thesis, Eindhoven University of Technology, The Netherlands (December 2009)
9. Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M., La Rosa, M.: Configurable Workflow Models. International Journal on Cooperative Information Systems 17(2) (2008)
10. Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872-923 (1994)
11. Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Controls to Users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven (2008)
12. Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus Declarative Process Modeling Languages: An Empirical Investigation. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol. 99, pp. 383-394. Springer, Heidelberg (2012)
13. Rosemann, M., van der Aalst, W.M.P.: A configurable reference modelling language. Information Systems 32, 1-23 (2007)
14. Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems 30(5), 349-378 (2005)
15. Schumm, D., Leymann, F., Streule, A.: Process viewing patterns. In: EDOC, pp. 89-98 (2010)
16. Schunselaar, D.M.M.: Configurable Declare. Master's thesis, Eindhoven University of Technology (2011), http://alexandria.tue.nl/extra1/afstversl/wsk- i/schunselaar2011.pdf
17. Schunselaar, D.M.M., Maggi, F.M., Sidorova, N.: Patterns for a Log-Based Strengthening of Declarative Compliance Models. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol. 7321, pp. 327-342. Springer, Heidelberg (2012)
18. Schunselaar, D.M.M., Verbeek, E., van der Aalst, W.M.P., Raijers, H.A.: Creating Sound and Reversible Configurable Process Models Using CoSeNets. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 24-35. Springer, Heidelberg (2012)
19. Zugal, S., Pinggera, J., Weber, B.: The Impact of Testcases on the Maintainability of Declarative Process Models. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol. 81, pp. 163-177. Springer, Heidelberg (2011)