Abstract
Companies are demanding more flexibility from their Process Aware Information Systems (PAIS). However, regulations and standards that impose limits to process executions are becoming increasingly important for business process management. The need for a compliance agenda and the security requisites for PAIS are pushing companies to search and to acquire new systems and technics for control and audit business processes. The aim is to avoid process execution that violates some business rules. In order to build an approach that support companies in auditing and controlling their business processes, there is a need for a formal and systematic modeling of business rules. In the present paper we have two objectives. The first one is to propose a set of business rules related to the ordering of tasks and to the involvement of a role or agent in cases. The second one is to build a supervisory control of PAIS that ensures compliance of business rules. To evaluate the correctness of our approach we applied it in two different business processes.
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
Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features–enhancing flexibility in process-aware information systems. Data & Knowledge Engineering 66, 438–466 (2008)
Sadiq, S., Governatori, G., Namiri, K.: Modeling Control Objectives for Business Process Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149–164. Springer, Heidelberg (2007)
van der Aalst, W., van Hee, K., van der Werf, J.M., Kumar, A., Verdonk, M.: Conceptual model for on line auditing. Decision Support Systems 50, 636–647 (2011)
Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77, 81–98 (1989)
Santos, E.A.P., Francisco, R., Pesic, M., van der Aalst, W.: Supervisory Control Service-A control approach supporting flexible processes. Technical report, BPM Center Report, BPMcenter. org (2010)
ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and its Support Environment. Springer-Verlag New York Inc. (2010)
Cassandras, C.G., Lafortune, S.: Introduction to discrete event systems. Springer, Heidelberg (2008)
De Queiroz, M.H., Cury, J.E.R.: Modular supervisory control of large scale discrete event systems. Discrete Event Systems: Analysis and Control, 103–110 (2000)
Su, R., Wonham, W.M.: Supervisor reduction for discrete-event systems. Discrete Event Dynamic Systems 14, 31–53 (2004)
van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM Framework: A New Era in Process Mining Tool Support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444–454. Springer, Heidelberg (2005)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14, 5–51 (2003)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30, 245–275 (2005)
van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science-Research and Development 23, 99–113 (2009)
Pesic, M., Schonenberg, M., Sidorova, N., van der Aalst, W.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R. (ed.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77–94. Springer, Heidelberg (2007)
Glance, N., Pagani, D., Pareschi, R.: Generalized process structure grammars GPSG for flexible representations of work. In: 1996 ACM Conference on Computer Supported Cooperative Work, pp. 180–189 (1996)
Dourish, P., Holmes, J., MacLean, A., Marqvardsen, P., Zbyslaw, A.: Freeflow: mediating between representation and action in workflow systems. In: 1996 ACM Conference on Computer Supported Cooperative Work, pp. 190–198 (1996)
Wainer, J., de Lima Bezerra, F.: Constraint-Based Flexible Workflows. In: Favela, J., Decouchant, D. (eds.) CRIWG 2003. LNCS, vol. 2806, pp. 151–158. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Santos, E.A.P., Francisco, R., Vieira, A.D., de F.R. Loures, E., Busetti, M.A. (2012). Modeling Business Rules for Supervisory Control of Process-Aware Information Systems. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds) Business Process Management Workshops. BPM 2011. Lecture Notes in Business Information Processing, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28115-0_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-28115-0_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28114-3
Online ISBN: 978-3-642-28115-0
eBook Packages: Computer ScienceComputer Science (R0)