Skip to main content
SpringerLink
Log in

Dealing with Constraint-Based Processes: Declare and Supervisory Control Theory

  • Conference paper
Book cover Advances in Information Systems and Technologies

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 206))

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aalst, W., Hee, K., Werf, J., Kumar, A., Verdonk, M.: Conceptual model for on line auditing. Decision Support Systems 50(3), 636–647 (2011)

    Article  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science-Research and Development 23(2), 99–113 (2009)

    Article  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)

    Article  Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. Clarke, Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Chapter  Google Scholar 

  13. Project Management Institute: A guide to the project management body of knowledge (PMBOK). An American National Standard ANSI/PMI 99-001-2008 (2008)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Pontifícia Universidade Católica do Paraná, Escola Politécnica, Imaculada Conceição 1155, Curitiba, Brazil

    Sauro Schaidt, Agnelo Denis Vieira, Eduardo de Freitas Rocha Loures & Eduardo Alves Portela Santos

Authors
  1. Sauro Schaidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Agnelo Denis Vieira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eduardo de Freitas Rocha Loures
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Eduardo Alves Portela Santos
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sauro Schaidt .

Editor information

Editors and Affiliations

  1. , Faculty of Science and Technology, University Fernando Pessoa, Praça 9 de Abril 349, Porto, 4249-004, Portugal

    Álvaro Rocha

  2. , Instituto Superior de Estatística e, Universidade Nova de Lisboa, Campus de Campolide, Lisboa, 1070-312, Portugal

    Ana Maria Correia

  3. Broomfield Road 9, Sheffield, S10 2SE, United Kingdom

    Tom Wilson

  4. Empirica GmbH, Oxfordstr. 2, Bonn, 53111, Germany

    Karl A. Stroetmann

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation