Toward enhanced life-cycle support for declarative processes

Journal of software: Evolution and Process

Volumn 24, Issue 3, 2012, Pages 285-302

  Zugal, Stefan ^a   Pinggera, Jakob ^a   Weber, Barbara ^a  

^a UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

Business process life cycle; Business process management; Declarative business process models; Process model maintainability; Process model understandability

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; BUSINESS PROCESS MODEL; PROCESS MODEL; UNDERSTANDABILITY;

COMMUNICATION; ENTERPRISE RESOURCE MANAGEMENT; LIFE CYCLE; MAINTAINABILITY; SOFTWARE ENGINEERING;

ACCEPTANCE TESTS;

EID: 84863309028     PISSN: None     EISSN: 20477481     Source Type: Journal    
DOI: 10.1002/smr.554     Document Type: Conference Paper

References (41)

1. Lenz R, Reichert M. IT support for healthcare processes - premises, challenges, perspectives. Data & Knowledge Engineering 2007; 61(1):39-58. (Pubitemid 46282154)
2. Poppendieck M, Poppendieck T. Implementing Lean Software Development: From Concept to Cash. Addison-Wesley Professional, 2006.
3. Dumas M, van der Aalst WM, ter Hofstede AH. Process Aware Information Systems: Bridging People and Software Through Process Technology. Wiley-Interscience, 2005.
4. Weske M. Business Process Management: Concepts, Methods, Technology. Springer, 2007.
5. Reichert M, Dadam P. ADEPTflex: supporting dynamic changes of workflow without losing control. Journal of Intelligent Information Systems 1998; 10(2):93-129.
6. Weske M. Workflow management systems: formal foundation, conceptual design, Implementation Aspects. PhD thesis, University of Münster, 2000.
7. van der Aalst WMP, Weske M. Case handling: a new paradigm for business process support. Data & Knowledge Engineering 2005; 53(2):129-162. (Pubitemid 40034560)
8. Pesic M, Schonenberg H, Sidorova N, van der Aalst W. Constraint-based workflow models: change made easy. Proc. CoopIS '07, 2007; 77-94.
9. Müller D, Reichert M, Herbst J. A new paradigm for the enactment and dynamic adaptation of data-driven process structures. Proc. CAiSE '08, 2008; 48-63.
10. Sadiq SW, Orlowska ME, Sadiq W. Specification and validation of process constraints for flexible workflows. Information Systems 2005; 30(5):349-378. (Pubitemid 40304702)
11. Weber B, Reichert M, Rinderle S. Change patterns and change support features - enhancing flexibility in processaware information systems. Data & Knowledge Engineering 2008; 66(3):438-466.
12. Wainer J, Bezerra F, Barthelmess P. Tucupi: a flexible workflow system based on overridable constraints. Proc. SAC '04, 2004; 498-502.
13. Weber B, Reichert M, Rinderle-Ma S, Wild W. Providing integrated life cycle support in process-aware information systems. International Journal of Cooperative Information Systems 2009; 18(1):115-165.
14. Pesic M. Constraint-based workflow management systems: shifting control to users. PhD thesis, TU Eindhoven, 2008.
15. Weber B, Reijers HA, Zugal S, Wild W. The declarative approach to business process execution: an empirical test. Proc. CAiSE '09, 2009; 270-285.
16. Beck K. Test Driven Development: By Example. Addison-Wesley, 2002.
17. Mugridge R, Cunningham W. Fit for Developing Software: Framework for Integrated Tests. Prentice Hall, 2005.
18. Hoppenbrouwers SJ, Proper EH, van der Weide TP. Formal modelling as a grounded conversation. Proc. LAP'05 2005; 139-155.
19. van Bommel P, Hoppenbrouwers S, Proper E, van der Weide T. Exploring modelling strategies in a meta-modelling context. Proc. OTM '06, 2006; 1128-1137. (Pubitemid 44891675)
20. Hoppenbrouwers SJ, Lindeman L, Proper EH, Capturing modeling processes - towards the MoDial Modeling Laboratory. Proc. OTM '06 2006; 1242-1252. (Pubitemid 44891686)
21. Rittgen P. Collaborative modeling - a design science approach. Proc. HICSS '09, 2009; 1-10.
22. Fahland D, Mendling J, Reijers H, Weber B, Weidlich M, Zugal S. Declarative vs. imperative process modeling languages: the issue of maintainability. Proc. ER-BPM '09, 2009; 65-76.
23. Fahland D, Mendling J, Reijers HA, Weber B, Weidlich M, Zugal S. Declarative versus imperative process modeling languages: the issue of understandability. Proc. EMMSAD '09, 2009; 353-366.
24. Green TR. Cognitive dimensions of notations. Proc. BCSHCI '89, 1989; 443-460.
25. Green TR, Petre M. Usability analysis of visual programming environments: a cognitive dimensions framework. Journal of Visual Languages & Computing 1996; 7(2):131-174. (Pubitemid 126167522)
26. Miller G. The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychological Review 1956; 63(81-97).
27. Gemino A, Wand Y. Complexity and clarity in conceptual modeling: comparison of mandatory and optional properties. Data & Knowledge Engineering 2005; 55(3):301-326. (Pubitemid 41393722)
28. Zugal S. Agile versus plan-driven approaches to planning - a controlled experiment. Master's Thesis, University of Innsbruck, October 2008.
29. Sadiq S, Sadiq W, Orlowska M, Pockets of flexibility in workflow specification. Proc. ER ' 01, 2001; 513-526. (Pubitemid 33370427)
30. Canfora G, Cimitile A, Garcia F, Piattini M, Visaggio CA. Evaluating advantages of test driven development: a controlled experiment with professionals. Proc. ISESE '06, 2006; 364-371. (Pubitemid 46634471)
31. George B, Williams L. A structured experiment of test-driven development. Information and Software Technology 2004; 46(5):337-342.
32. Agrawal H, Horgan JR, Krauser EW, London S. Incremental regression testing. Proc. ICSM '93, 1993; 348-357.
33. Lanz A, Weber B, Reichert M. Time patterns for process-aware information systems: a pattern-based analysis - revised version. Technical Report, University of Ulm, 2009.
34. Gilmore DJ, Green TR. Comprehension and recall of miniature programs. International Journal of Man-Machine Studies 1984; 21(1):31-48. (Pubitemid 15103096)
35. Osterweil LJ. Software processes are software too. Proc. ICSE '87, 1987; 2-13.
36. Ly LT, Rinderle S, Dadam P. Integration and verification of semantic constraints in adaptive process management systems. Data and Knowledge Engineering, 2008; 64(1):3-23. (Pubitemid 350087284)
37. Awad A, Decker G, Weske M, Efficient compliance checking using BPMN-Q and temporal logic. Proc. BPM '08, 2008; 326-341.
38. Awad A, Smirnov S, Weske M. Resolution of compliance violation in business process models: a planning-based approach. Proc. OTM '09, 2009; 6-23.
39. van der Aalst WMP, de Beer HT, van Dongen B. Process mining and verification of properties: an approach based on temporal logic. Proc. OTM '05, 2005; 130-147. (Pubitemid 43734301)
40. Lamma E, Mello P, Montali M, Riguzzi F, Storari S. Inducing declarative logic-based models from labeled traces. Proc. BPM '07, 2007; 344-359.
41. Schonenberg H, Weber B, van Dongen B, van der Aalst WMP. Supporting flexible processes through recommendations based on history. Proc. BPM '08, 2008; 51-66.