Article

A declarative approach for flexible business processes management

Authors:

W. M. P. van der AalstAuthors Info & Claims

BPM'06: Proceedings of the 2006 international conference on Business Process Management Workshops

Pages 169 - 180

https://doi.org/10.1007/11837862_18

Published: 04 September 2006 Publication History

Abstract

Management of dynamic processes in an important issue in rapidly changing organizations. Workflow management systems are systems that use detailed process models to drive the business processes. Current business process modelling languages and models are of imperative nature – they strictly prescribe how to work. Systems that allow users to maneuver within the process model or even change the model while working are considered to be the most suitable for dynamic processes management. However, in many companies it is not realistic to expect that end-users are able to change their processes. Moreover, the imperative nature of these languages forces designer to over-specify processes, which results in frequent changes. We propose a fundamental paradigm shift for flexible process management and propose a more declarative approach. Declarative models specify what should be done without specifying how it should be done. We propose the ConDec language for modelling and enacting dynamic business processes. ConDec is based on temporal logic rather than some imperative process modelling language.

References

[1]

W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede. Design and Implementation of the YAWL System. In A. Persson and J. Stirna, editors, Advanced Information Systems Engineering, Proceedings of the 16th International Conference on Advanced Information Systems Engineering, volume 3084 of Lecture Notes in Computer Science, pages 142-159. Springer-Verlag, Berlin, 2004.

[2]

W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.

Digital Library

[3]

W.M.P. van der Aalst and S. Jablonski. Dealing with Workflow Change: Identification of Issues and Solutions. International Journal of Computer Systems, Science, and Engineering, 15(5):267-276, 2000.

[4]

W.M.P. van der Aalst and M. Pesic. Specifying, discovering, and monitoring service flows: Making web services process-aware. BPM Center Report BPM- 06-09, BPM Center, BPMcenter.org, 2006. http://is.tm.tue.nl/staff/wvdaalst/ BPMcenter/reports/2006/BPM-06-09.pdf.

[5]

W.M.P. van der Aalst, M. Weske, and D. Grünbauer. Case Handling: A New Paradigm for Business Process Support. Data and Knowledge Engineering, 53(2):129-162, 2005.

Digital Library

[6]

F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Workflow evolution. In ER '96: Proceedings of the 15th International Conference on Conceptual Modeling, pages 438-455. Springer-Verlag, 1996.

Digital Library

[7]

J. Desel. Validation of process models by construction of process nets. In Business Process Management, Models, Techniques, and Empirical Studies, pages 110-128, London, UK, 2000. Springer-Verlag.

Digital Library

[8]

B. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A New Era in Process Mining Tool Support. In G. Ciardo and P. Darondeau, editors, Application and Theory of Petri Nets 2005, Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.

Digital Library

[9]

H. J. Genrich and G. Thieler-Mevissen. The calculus of facts. Mathematical Foundations of Computer Science 1976, pages 588-595, 1976.

[10]

D. Georgakopoulos, M. Hornick, and A. Sheth. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3:119-153, 1995.

Digital Library

[11]

R. Gerth, D. Peled, M.Y. Vardi, and P. Wolper. Simple On-The-Fly Automatic Verification of Linear Temporal Logic. In Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pages 3-18, London, UK, 1996. Chapman & Hall, Ltd.

Digital Library

[12]

P. Heinl, S. Horn, S. Jablonski, J. Neeb, K. Stein, and M. Teschke. A comprehensive approach to flexibility in workflow management systems. In WACC '99: Proceedings of the international joint conference on Work activities coordination and collaboration, pages 79-88, New York, NY, USA, 1999. ACM Press.

Digital Library

[13]

G.J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, USA, 2003.

Digital Library

[14]

E.M. Clarke Jr., O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK, 1999.

Digital Library

[15]

P.J. Kammer, G.A. Bolcer, R.N. Taylor, A.S. Hitomi, and M. Bergman. Techniques for supporting dynamic and adaptive workflow. Comput. Supported Coop. Work, 9(3-4):269-292, 2000.

Digital Library

[16]

R. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge, UK, 1999.

Digital Library

[17]

M. Reichert and P. Dadam. ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems, 10(2):93-129, 1998.

Digital Library

[18]

W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998.

[19]

S. Rinderle, M. Reichert, and P. Dadam. Correctness Criteria For Dynamic Changes in Workflow Systems: A Survey. Data and Knowledge Engineering, 50(1):9-34, 2004.

Digital Library

[20]

M. Weske. Formal foundation and conceptual design of dynamic adaptations in a workflow management system. In HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, volume 7, page 7051, Washington, DC, USA, 2001. IEEE Computer Society.

Digital Library

Cited By

Cosler MHahn CMendoza DSchmitt FTrippel C(2023)nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language ModelsComputer Aided Verification10.1007/978-3-031-37703-7_18(383-396)Online publication date: 17-Jul-2023
https://dl.acm.org/doi/10.1007/978-3-031-37703-7_18
Fernández VVarela-Vaca ÁGómez-López M(2023)Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based MethodologyAdvanced Information Systems Engineering10.1007/978-3-031-34560-9_10(158-173)Online publication date: 12-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-34560-9_10
de Carolis BFerilli SMacchiarulo NBellogin ABoratto LSantos OArdissono LKnijnenburg B(2022)Ambient Assisted Living and Social Robots: Towards Learning Relations between User’s Daily Routines and MoodAdjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization10.1145/3511047.3537691(123-129)Online publication date: 4-Jul-2022
https://dl.acm.org/doi/10.1145/3511047.3537691
Show More Cited By

Recommendations

Declarative workflows to efficiently manage flexible and advanced business processes
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

In this work, we present a new constraint-based workflow definition language called Saturn, which uses Linear-time Temporal Logic (LTL) to express workflow constraints. A declarative approach to model business processes has recently been advocated as a ...
Declarative and procedural approaches for modelling clinical guidelines: addressing flexibility issues
BPM'07: Proceedings of the 2007 international conference on Business process management

Recent analysis of clinical Computer-Interpretable Guideline (CIG) modelling languages from the perspective of the control-flow patterns has revealed limited capabilities of these languages to provide flexibility for encoding and executing clinical ...
Declarative business process modelling: principles and modelling languages

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

BPM'06: Proceedings of the 2006 international conference on Business Process Management Workshops

September 2006

508 pages

ISBN:3540384448

Editors:
Johann Eder
Dept. of Knowledge and Business Engineering, University of Vienna, Rathausstrasse 19/9, Vienna, Austria
,
Schahram Dustdar
Distributed Systems Group, Information Systems Institute, Vienna University of Technology, Rathausstrasse 19/9, Vienna, Austria

Sponsors

Austrian Comp Soc: Austrian Computer Society
University of Vienna: University of Vienna
TU WIEN: Technische Universität Wien

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 04 September 2006

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

116
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cosler MHahn CMendoza DSchmitt FTrippel C(2023)nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language ModelsComputer Aided Verification10.1007/978-3-031-37703-7_18(383-396)Online publication date: 17-Jul-2023
https://dl.acm.org/doi/10.1007/978-3-031-37703-7_18
Fernández VVarela-Vaca ÁGómez-López M(2023)Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based MethodologyAdvanced Information Systems Engineering10.1007/978-3-031-34560-9_10(158-173)Online publication date: 12-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-34560-9_10
de Carolis BFerilli SMacchiarulo NBellogin ABoratto LSantos OArdissono LKnijnenburg B(2022)Ambient Assisted Living and Social Robots: Towards Learning Relations between User’s Daily Routines and MoodAdjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization10.1145/3511047.3537691(123-129)Online publication date: 4-Jul-2022
https://dl.acm.org/doi/10.1145/3511047.3537691
De Giacomo GDe Masellis RMaggi FMontali M(2022)Monitoring Constraints and Metaconstraints with Temporal Logics on Finite TracesACM Transactions on Software Engineering and Methodology10.1145/350679931:4(1-44)Online publication date: 28-Jul-2022
https://dl.acm.org/doi/10.1145/3506799
Zhu J(2022)On Balancing Flexibility and Compliance of Business Processes: Functional Constraints Modeling and VerificationService-Oriented Computing – ICSOC 2022 Workshops10.1007/978-3-031-26507-5_28(327-333)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1007/978-3-031-26507-5_28
Chesani FDi Francescomarino CGhidini CGrundler GLoreti DMaggi FMello PMontali MTessaris S(2022)Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User PreferencesEnterprise Design, Operations, and Computing10.1007/978-3-031-17604-3_13(217-234)Online publication date: 3-Oct-2022
https://dl.acm.org/doi/10.1007/978-3-031-17604-3_13
Bădică CPopa A(2021)Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured ProcessesComputational Collective Intelligence10.1007/978-3-030-88081-1_25(330-343)Online publication date: 29-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-88081-1_25
Bădică ABădică CIvanović M(2020)Block structured scheduling using constraint logic programmingAI Communications10.3233/AIC-20065033:1(41-57)Online publication date: 1-Jan-2020
https://dl.acm.org/doi/10.3233/AIC-200650
Hübscher GGeist VAuer DHübscher NKüng J(2020)Integration of Knowledge and Task Management in an Evolving, Communication-intensive EnvironmentProceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services10.1145/3428757.3429260(407-416)Online publication date: 30-Nov-2020
https://dl.acm.org/doi/10.1145/3428757.3429260
Monteiro DMaia PRocha LMendonça N(2020)Building orchestrated microservice systems using declarative business processesService Oriented Computing and Applications10.1007/s11761-020-00300-214:4(243-268)Online publication date: 1-Dec-2020
https://dl.acm.org/doi/10.1007/s11761-020-00300-2
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents