Abstract
The constraint-based processes are those that do not require a procedural model that explicitly specify the execution procedure. Declarative languages are more suitable for modeling and implementing this type of process. This paper aims to present and analyze two approaches that deal with the modeling and execution of constraint-based processes. The first approach makes use of Linear Temporal Logic and software Declare as a tool for modeling constraints. The second approach is based on the Supervisory Control Theory (SCT). Both approaches presented in this paper aims to monitor and restrict execution sequences of tasks such that constraints are not violated. Despite the control logic is built based on constraints, it does not limit the user by imposing rigid control-flow structures. A discussion of the results, advantages and the main drawbacks of the two approaches are presented in this paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aalst, W., Hee, K., Werf, J., Kumar, A., Verdonk, M.: Conceptual model for on line auditing. Decision Support Systems 50(3), 636–647 (2011)
Santos, E.A.P., Francisco, R., Vieira, A.D., de F.R. Loures, E., Busetti, M.A.: Modeling Business Rules for Supervisory Control of Process-Aware Information Systems. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 447–458. Springer, Heidelberg (2012)
Pesic, M., Aalst, W.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)
Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77–94. Springer, Heidelberg (2007)
Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science-Research and Development 23(2), 99–113 (2009)
van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R. (ed.) OTM 2005. LNCS, vol. 3760, pp. 130–147. Springer, Heidelberg (2005)
Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)
Queiroz, M.H., Cury, J.E.R.: Modular supervisory control of large scale discrete event systems. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems: Analysis and Control, WODES 2000, pp. 103–110. Kluwer Academic Publishers (2000)
Pesic, M., Schonenberg, H., Aalst, W.: Declare: Full support for loosely-structured processes. In: 11th IEEE International on Enterprise Distributed Object Computing Conference, pp. 287–287. IEEE Press, New York (2007)
Clarke, Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
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)
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)
Project Management Institute: A guide to the project management body of knowledge (PMBOK). An American National Standard ANSI/PMI 99-001-2008 (2008)
Feng, L., Wonham, W.M.: TCT: A computation tool for supervisory control synthesis. In: International Workshop on Discrete Event Systems, pp. 388–389. IEEE (2006)
Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declarative workflows. In: Hofstede, A., van der Aalst, W.M.P., Adams, M., Russel, N. (eds.) Modern Business Process Automation: YAWL and Its Support Environment, pp. 175–201. Springer, Heidelberg (2010)
Westergaard, M.: Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 83–98. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schaidt, S., Vieira, A.D., de Freitas Rocha Loures, E., Santos, E.A.P. (2013). Dealing with Constraint-Based Processes: Declare and Supervisory Control Theory. In: Rocha, Á., Correia, A., Wilson, T., Stroetmann, K. (eds) Advances in Information Systems and Technologies. Advances in Intelligent Systems and Computing, vol 206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36981-0_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-36981-0_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36980-3
Online ISBN: 978-3-642-36981-0
eBook Packages: EngineeringEngineering (R0)