Declarative business process modelling: Principles and modelling languages

Enterprise Information Systems

Volumn 9, Issue 2, 2015, Pages 161-185

  Goedertier, Stijn ^a   Vanthienen, Jan ^a   Caron, Filip ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

business process; business process modelling; declarative process modelling; process modelling languages; workflow management

Indexed keywords

INFORMATION ANALYSIS; PROCESS ENGINEERING; WORK SIMPLIFICATION;

BUSINESS PROCESS; BUSINESS PROCESS MODELLING; CASE MANAGEMENT; HYBRID PARADIGM; ORGANISATIONAL; PROCESS MODELLING; WORKFLOW MANAGEMENTS;

MODELING LANGUAGES;

EID: 84911378114     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517575.2013.830340     Document Type: Article

References (96)

1. Austin, R., and L. Devin. 2009. “Research Commentary: Weighing the Benefits and Costs of Flexibility in Making Software: Toward a Contingency Theory of the Determinants of Development Process Design.” Information Systems Research 20 (3): 462–477.
2. Barba, I., and C. Del Valle. 2011. “A Planning and Scheduling Perspective for Designing Business Processes from Declarative Specifications.” In Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Vol. 1, edited by J. Filipe and A. Fred, 562–569, Rome: Informs.
3. Basu, A., and A. Kumar. 2002. “Research Commentary: Workflow Management Issues in Ebusiness.” Information Systems Research 13 (1): 1–14.
4. Bhattacharya, K., C. E. Gerede, R. Hull, R. Liu, and J. Su. 2007. “Towards Formal Analysis of Artifact-Centric Business Process Models.” In Business Process Management, 288–304. Berlin: Springer.
5. Bussler, C. 2001. “The Role of B2B Protocols in Inter-Enterprise Process Execution.” In Technologiesfor E-Services, 16–29. Berlin: Springer.
6. Caron, F., and J. Vanthienen. 2011. “An Exploratory Approach to Process Lifecycle Transitions from a Paradigm-Based Perspective.” In Enterprise, Business-Process and Information Systems Modeling, 178–185. Berlin: Springer.
7. Dadam, P., and M. Reichert. 2009. “The Adept Project: A Decade of Research and Development for Robust and Flexible Process Support.” Computer Science-Research and Development 23 (2): 81–97.
8. Davenport, T. 1993. Process Innovation: Reengineering Work through Information Technology. Boston, MA: Harvard Business Press.
9. De Roover, W., and J. Vanthienen. 2011. “Unified Patterns to Transform Business Rules into an Event Coordination Mechanism.” Lecture Notes in Business Information Processing 66: 730–742.
10. Doehring, M., and B. Zimmermann. 2011. “vbpmn: Event-Aware Workflow Variants by Weaving bpmn2 and Business Rules.” In Enterprise, Business-Process and Information Systems Modeling, 332–341. Berlin: Springer.
11. Doehring, M., B. Zimmermann, and L. Karg. 2011. “Flexible Workflows at Design-and Runtime Using Bpmn2 Adaptation Patterns.” In Business Information Systems, 25–36. Berlin: Springer.
12. Ellis, C. A., and G. J. Nutt. 1993. “Modeling and Enactment of Workflow Systems.” In Application and Theory of Petri Nets 1993, 1–16. Berlin: Springer.
13. Eshuis, R., and J. Dehnert. 2003. “Reactive Petri Nets for Workflow Modeling.” In Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), edited by W. M. P. van der Aalst and E. Best, 296–315, Vol. 2679 of Lecture Notes in Computer Science. Berlin: Springer.
14. Fahland, D., D. Lübke, J. Mendling, H. Reijers, B. Weber, M. Weidlich, and S. Zugal. 2009. “Declarative Versus Imperative Process Modeling Languages: The Issue of Understandability.” In Enterprise, Business-Process and Information Systems Modeling: 10th International Workshop, BPMDS 2009, 353–366. Berlin: Springer.
15. Fahland, D., J. Mendling, H. Reijers, B. Weber, M. Weidlich, and S. Zugal. 2009. “Declarative Vs. Imperative Process Modeling Languages: The Issue of Maintainability.” In 1st International Workshop on Empirical Research in Business Process Management (ER-BPM’09), Ulm, edited by B. Mutschler, R. Wieringa, and J. Recker, 65–76. Berlin: Springer.
16. Ferreira, D. R., and H. M. Ferreira. 2005. “Learning, Planning, and the Life Cycle of Workflow Management.” In Proceedingsof the 9th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 39–46. New York: IEEE.
17. Ferreira, H., and D. Ferreira. 2006. “An Integrated Life Cycle for Workflow Management Based on Learning and Planning.” International Journal of Cooperative Information Systems 15 (4): 485–505.
18. Fickas, S. 1989. “Design Issues in a Rule-Based System.” Journal of Systems and Software 10 (2): 113–123.
19. Fritz, C., R. Hull, and J. Su. 2009. “Automatic Construction of Simple Artifact-Based Business Processes.” In Proceedings of the 12th International Conference on Database Theory, 225–238. New York: ACM.
20. Goedertier, S. 2008, September. “Declarative Techniques for Modeling and Mining Business Processes.” PhD thesis, Katholieke Universiteit Leuven, Faculty of Business and Economics, Leuven.
21. 2CE v0.1: A Vocabulary and Execution Model for Declarative Business Process Modeling. FETEW Research Report KBI 0728, Leuven: KU Leuven.
22. Goedertier, S., and J. Vanthienen. 2006. “Designing Compliant Business Processes with Obligations and Permissions.” In Business Process Management Workshops, edited by J. Eder and S. Dustdar, Vol. 4103 of Lecture Notes in Computer Science, 5–14. Berlin: Springer.
23. Goedertier, S., and J. Vanthienen. 2009. “An Overview of Declarative Process Modeling Principles and Languages.” Communications of SWIN 6: 51–58.
24. Governatori, G. 2005. “Representing Business Contracts in RuleML.” International Journal of Cooperative Information Systems 14 (2–3): 181–216.
25. Hammer, M., and J. Champy. 1993. Reengineering the Corporation. New York: Harper Collins.
26. Haq, I., A. Paschke, E. Schikuta, and H. Boley. 2009. “Rule-Based Workflow Validation of Hierarchical Service Level Agreements.” In Grid and Pervasive Computing Conference, 2009. GPC’09. Workshops at the IEEE, 96–103. New York: IEEE.
27. Heinl, P., S. Horn, S. Jablonski, J. Neeb, K. Stein, and M. Teschke. 1999. “A Comprehensive Approach to Flexibility in Workflow Management Systems.” SIGSOFT Software Engineering Notes 24 (2): 79–88.
28. Hendler, J., A. Tate, and M. Drummond. 1990. “AI Planning: Systems and Techniques.” AI Magazine 11 (2): 61.
29. Hoffmann, J., I. Weber, and G. Governatori. 2009. “On Compliance Checking for Clausal Constraints in Annotated Process Models.” Information Systems Frontiers, Special Issue on Governance, Risk, and Compliance 43, 48.
30. Jarvis, P., J. Moore, J. Stader, A. Macintosh, A. Casson-du Mont, and P. Chung. 1999. Exploiting AI Technologies to Realise Adaptive Workflow Systems. Research Report, Edinburgh: University of Edinburgh.
31. Kappel, G., S. Rausch-Schott, and W. Retschitzegger. 1998. “Coordination in Workflow Management Systemsa Rule-Based Approach.” In Coordination Technology for Collaborative Applications, 99–119. Berlin: Springer.
32. Keller, G., M. Nuttgens, and A. Scheer. 1992. Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Hamburg: Institute fur Wirtschaftsinformatik, Universität Hamburg.
33. Knottenbelt, J., and K. Clark. 2004. “An Architecture for Contract-Based Communicating Agents.” In Proceedings of the 2nd European Workshop on Multi-Agent Systems. Accessed August 14, 2013. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.7422&rep=rep1&type=pdf
34. Kumar, A., and W. Yao. 2009. “Process Materialization Using Templates and Rules to Design Flexible Process Models.” In Rule Interchange and Applications (RuleML 2009), edited by G. Governatori, J. Hall, and A. Paschke, 122–136. Berlin: Springer.
35. Lu, R., and S. Sadiq. 2007. “A Survey of Comparative Business Process Modeling Approaches.” In BusinessInformationSystems, 82–94. Berlin: Springer.
36. Lu, R., S. Sadiq, and G. Governatori. 2009. “On Managing Business Processes Variants.” Data & Knowledge Engineering 68 (7): 642–664.
37. Lu, R., S. Sadiq, V. Padmanabhan, and G. Governatori. 2006. “Using a Temporal Constraint Network for Business Process Execution.” In Proceedings of the 17th Australasian Database Conference-Volume 49, 157–166. Canberra: Australian Computer Society.
38. Madhusudan, T., J. Zhao, and B. Marshall. 2004. “A Case-Based Reasoning Framework for Workflow Model Management.” Data & Knowledge Engineering 50 (1): 87–115.
39. Maghraoui, K., A. Meghranjani, T. Eilam, M. Kalantar, and A. Konstantinou. 2006. “Model-Driven Provisioning: Bridging the Gap between Declarative Object Models and Procedural Provisioning Tools.” In Middleware 2006, 404–423. Berlin: Springer.
40. Mansar, S., and H. A. Reijers. 2005. “Best Practices in Business Process Redesign: Validation of a Redesign Framework.” Computers in Industry 56 (5): 457–471.
41. Marín, R. H., and G. Sartor. 1999. “Time and Norms: A Formalisation in the Event-Calculus.” In ICAIL ’99: Proceedings of the 7th International Conference on Artificial Intelligence and Law, 90–99. New York: ACM Press.
42. Mendling, J., H. Reijers, and W. van der Aalst. 2010. “Seven Process Modeling Guidelines (7pmg).” Information and Software Technology 52 (2): 127–136.
43. Muehlen, M., and J. Recker. 2008. “How much Language is enough? Theoretical and Practical Use of the Business Process Modeling Notation.” In Advanced Information Systems Engineering, 465–479. Berlin: Springer.
44. Nau, D., M. Ghallab, and P. Traverso. 2004. Automated Planning: Theory & Practice. San Francisco, CA: Morgan Kaufmann Publishers Inc.
45. Nelson, M. L., J. Peterson, R. L. Rariden, and R. Sen. 2010. “Transitioning to a Business Rule Management Service Model: Case Studies from the Property and Casualty Insurance Industry.” Information & Management 47 (1): 30–41.
46. Neumann, L. 2009. “Exploring the Perceived Business Value of the Flexibility Enabled by Information Technology Infrastructure.” Information & Management 46 (2). Object Management Group, Februari 2006. Business Process Modeling Notation (BPMN). OMG Document – dtc/06-02–01.
47. O’Conor, M. 2005. “The Implications of Sarbanes-Oxley for Non-US IT Departments.” Network Security 2005 (7): 17–20.
48. OeNB (Oesterreichische Nationalbank). 2006. “Guidelines on Credit Risk Management – Credit Approval Process and Credit Risk Management.” Accessed August 19, 2013. http://www.oenb.at/en/img/credit_approval_process_tcm16-23748.pdf
49. OMG (Object Management Group). 2004. Uml 2.0 Superstructure Specification. Needham, MA: Object Management Group.
50. OMG (Object Management Group). 2006. Business Process Modeling Notation (bpmn) 1.1. Needham, MA: Object Management Group.
51. Paschke, A., and M. Bichler. 2005. “SLA Representation, Management and Enforcement.” In EEE ’05: Proceedings of the 2005 IEEE International Conference on e-Technology, eCommerce and e-Service (EEE’05), 158–163. Washington, DC: IEEE Computer Society.
52. Peltz, C. 2003. “Web Services Orchestration and Choreography.” IEEE Computer 28 (10): 46–52.
53. Pesic, M. 2008. “Constraint-Based Workflow Management Systems: Shifting Control to Users.” PhD thesis, Eindhoven University of Technology.
54. Pesic, M., M. H. Schonenberg, N. Sidorova, and W. M. P. van der Aalst. 2007. “Constraintbased Workflow Models: Change Made Easy.” In OTM Conferences (1), edited by R. Meersman and Z. Tari, 77–94, Vol. 4803 of Lecture Notes in Computer Science. Berlin: Springer.
55. Pesic, M., H. Schonenberg, and W. M. P. van der Aalst. 2007. “Declare: Full Support for Loosely-Structured Processes.” In Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 287–300. Berlin: Springer.
56. Pesic, M., and W. M. P. van der Aalst. 2006. “A Declarative Approach for Flexible Business Processes Management.” In Business Process Management Workshops, edited by J. Eder and S. Dustar, 169–180. Berlin: Springer.
57. Porter, M. 1985. Competitive Advantage. New York: Free Press.
58. Recker, J. 2010. “Opportunities and Constraints: The Current Struggle with BPMN.” Business Process Management Journal 16 (1): 181–201.
59. Recker, J., M. Indulska, M. Rosemann, and P. Green. 2005. “Do Process Modelling Techniques Get Better? A Comparative Ontological Analysis of BPMN.” In Proceedings of the 16th Australasian Conference on Information Systems, 1–10. Sydney: Australasian Chapter of the Association for Information Systems.
60. Recker, J., M. Rosemann, M. Indulska, and P. Green. 2009. “Business Process Modeling: A Comparative Analysis.” Journal of the Association for Information Systems 10 (4): 333–363.
61. Regev, G., P. Soffer, and R. Schmidt. 2006. “Taxonomy of Flexibility in Business Processes.” In BPMDS, edited by G. Regev, P. Soffer, and R. Schmidt. Berlin: Springer.
62. Reichert, M., and P. Dadam. 1998. “ADEPTflex-Supporting Dynamic Changes of Workflows without Losing Control.” Journal of Intelligent Information Systems 10 (2): 93–129.
63. Reijers, H., R. Mans, and R. van der Toorn. 2009. “Improved Model Management with Aggregated Business Process Models.” Data & Knowledge Engineering 68 (2): 221–243.
64. Rhee, S., N. Cho, and H. Bae. 2010. “Increasing the Efficiency of Business Processes Using a Theory of Constraints.” Information Systems Frontiers 12 (4): 443–455.
65. R-Moreno, M., P. Kearney, and D. Meziat. 2000. “A Case Study: Using Workflow and AI Planners.” In 19th Workshop of the UK Planning and Scheduling (PLANSIG2000). Milton-Keynes: The Open University.
66. Rolstadås, A. 1995. “Business Process Modeling and Reengineering.” In Performance Management: ABusinessProcess Benchmarking Approach, 148–150. Berlin: Springer.
67. Ross, R. G. 2003. Principles of the Business Rule Approach. Boston, MA: Addison-Wesley Professional.
68. Rychkova, I., G. Regev, and A. Wegmann. 2008. “Using Declarative Specifications in Business Process Design.” International Journal of Computer Science and Applications 5 (3b): 45–68.
69. Sadiq, S., and M. Indulska. 2011. “The Compliance Enabled Enterprise-Process is the Product.” Compliance & Regulatory Journal 2008 (5): 27–31.
70. Sadiq, S. W., M. E. Orlowska, and W. Sadiq. 2005. “Specification and Validation of Process Constraints for Flexible Workflows.” Information Systems 30 (5): 349–378.
71. Schmidt, K., and C. Simone. 1996. “Coordination Mechanisms: Towards a Conceptual Foundation of CSCW Systems Design.” Computer Supported Cooperative Work 5 (2/3): 155–200.
72. Schonenberg, H., R. Mans, N. Russell, N. Mulyar, and W. van der Aalst. 2008a. “Process Flexibility: A Survey of Contemporary Approaches.” In Advances in Enterprise Engineering I, 16–30. Berlin: Springer.
73. Schonenberg, H., R. Mans, N. Russell, N. Mulyar, and W. van der Aalst. 2008b. “Towards a Taxonomy of Process Flexibility.” In Proceedings of the CAiSE, Vol. 8, 81–84. Berlin: Springer.
74. Schonenberg, H., B. Weber, B. Dongen, and W. van der Aalst. 2008. “Supporting Flexible Processes through Recommendations Based on History.” In Proceedings of the 6th International Conference on Business Process Management, 66. Berlin: Springer.
75. Sinur, J. 2009. The Art of Science of Rules vs Process Flows. Tech. Rep. G00166408, Stamford: Gartner.
76. Suchman, L. A. 1987. Plans and Situated Actions: The Problem of Human-Machine Communication. New York: Cambridge University Press.
77. Suchman, L. A. 1995. “Making Work Visible.” Communications of the ACM 38 (9): 56–64.
78. Swenson, K., and N. Palmer. 2010. Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Tampa: Meghan-Kiffer Press.
79. van der Aalst, W. M., M. Adams, A. H. ter Hofstede, M. Pesic, and H. Schonenberg. 2009. “Flexibility as a Service.” In Database Systems for Advanced Applications, 319–333. Berlin: Springer.
80. van der Aalst, W. M. P. and S. Jablonski. 2000. “Dealing with workflow change: identification of issues and solutions.” International Journal of Computer Systems Science and Engineering 15 (5): 267–276.
81. van der Aalst, W. M. P., K. M. van Hee, and G. J. Houben. 1994. “Modelling and Analysing Workflow Using a Petri-Net Based Approach.” In Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, edited by G. De Michelis, C. Ellis, and G. Memmi, 31–50. Zaragoza: University of Zaragoza.
82. van der Aalst, W. M. P., M. Weske, and D. Grünbauer. 2005. “Case Handling: A New Paradigm for Business Process Support.” Data & Knowledge Engineering 53 (2): 129–162.
83. van der Aalst, W., and M. P. Wil. 1998. “Three Good Reasons for Using a Petri-Net-Based Workflow Management System.” In Information and Process Integration in Enterprises, 161–182. New York: Springer.
84. Wagner, G. 2003. “The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behavior.” Information Systems 28 (5): 475–504.
85. Wang, J., and A. Kumar. 2005. “A Framework for Document-Driven Workflow Systems.” In Business ProcessManagement, 285–301. Berlin: Springer.
86. Wang, M., and H. Wang. 2006. “From Process Logic to Business Logic – A Cognitive Approach to Business Process Management.” Information & Management 43 (2): 179–193.
87. Weber, B., M. Reichert, and S. Rinderle-Ma. 2008. “Change Patterns and Change Support Features – Enhancing Flexibility in Process-Aware Information Systems.” Data & Knowledge Engineering 66 (3): 438–466.
88. Weber, B., H. A. Reijers, S. Zugal, and W. Wild. 2009. “The Declarative Approach to Business Process Execution: An Empirical Test.” In Advanced Information Systems Engineering, 470–485. Berlin: Springer.
89. Weber, B., S. Sadiq, and M. Reichert. 2009. “Beyond Rigidity – Dynamic Process Lifecycle Support.” Computer Science-Research and Development 23 (2): 47–65.
90. Weske, M., W. van der Aalst, and H. Verbeek. 2004. “Advances in Business Process Management.” Data & Knowledge Engineering 50 (1): 1–8.
91. Woolridge, M., and M. J. Wooldridge. 2001. Introduction to Multiagent Systems. New York: John Wiley & Sons.
92. Xiao, L., and L. Zheng. 2010. “Business Process Design: Process Comparison and Integration.” In Information Systems Frontiers, 1–12. Berlin: Springer.
93. Yang, G. 2004. “Process Library.” Data & Knowledge Engineering 50 (1): 35–62.
94. Yolum, P. 2005. “Towards Design Tools for Protocol Development.” In AAMAS ’05: Proceedings oftheFourth International Joint Conference on Autonomous Agents and Multiagent Systems, 99–105. New York: ACM.
95. Zisman, M. 1977. “Representation, Specification and Automation of Office Procedures.” PhD thesis, Wharton School.
96. zur Muehlen, M., and M. Indulska. 2010. “Modeling Languages for Business Processes and Business Rules: A Representational Analysis.” Information Systems 35 (4): 379–390.