Abstract
Constraint-based processes require a set of rules that limit their behavior to certain boundaries. Declarative languages are better suited to modeling these processes precisely because they facilitate the declaration of little or no business rules.These languages define the activities that must be performed to produce the expected results but not define exactly how these activities should be performed. The present paper proposes a new approach to deal with constraint-based processes. The proposed approach is based on supervisory control theory, a formal foundation for building controllers for discrete-event systems.The controller proposed in this paper monitors and restricts execution sequences of tasks such that constraints are always obeyed. We demonstrate that our approach can be used as a declarative language for constraint-based processes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Pesic, M., van der Aalst, W.M.P.: 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)
Clarke Jr., A., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
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.) WODES 2000. Discrete Event Systems: Analysis and Control, pp. 103–110. Kluwer Academic Publishers (2000)
Aalst, W., Hee, K., Werf, J., Kumar, A., Verdonk, M.: Conceptual model for on line auditing. Decision Support Systems 50(3), 636–647 (2011)
Schaidt, S., Vieira, A.D., Loures, E.F.R., Santos, E.A.P.: Dealing with Constraint-Based Processes: Declare and Supervisory Control Theory. In: Rocha, Á., Correia, A.M., Wilson, T., Stroetmann, K.A. (eds.) Advances in Information Systems and Technologies. AISC, vol. 206, pp. 227–236. Springer, Heidelberg (2013)
Pesic, M.: Constraint-based workflow management systems: Shifting control to users. Phd thesis, Eindhoven University of Technology, Eindhoven (2008)
Su, R., Wonham, W.M.: Supervisor reduction for discrete-event systems. Discrete Event Dynamic Systems 14, 31–53 (2004)
Rychkova, I., Nurcan, S.: Towards Adaptability and Control for Knowledge-Intensive Business Processes: Declarative Configurable Process Specifications. In: 44th Annual Hawaii International Conference on System Sciences, pp. 1–10. IEEE (2011)
Rychkova, I., Regev, G., Wegmann, A.: High-Level Design and Analysis of Business Processes the Advantages of Declarative Specifications. In: 2th IEEE International Conference on Research Challenges in Information Science, pp. 3–6. Marrakech (2008)
Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems 30(5), 349–378 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schaidt, S., de Freitas Rocha Loures, E., Vieira, A.D., Santos, E.A.P. (2013). Supervision of Constraint-Based Processes: A Declarative Perspective. In: Demey, Y.T., Panetto, H. (eds) On the Move to Meaningful Internet Systems: OTM 2013 Workshops. OTM 2013. Lecture Notes in Computer Science, vol 8186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41033-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-41033-8_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41032-1
Online ISBN: 978-3-642-41033-8
eBook Packages: Computer ScienceComputer Science (R0)