Skip to main content
SpringerLink
Log in

Data Aware Business Process Models: A Framework for the Analysis and Verification of Properties

  • Conference paper
  • First Online:
Decision Economics, In Commemoration of the Birth Centennial of Herbert A. Simon 1916-2016 (Nobel Prize in Economics 1978)

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

Abstract

Well before the computer age, Herbert A. Simon was a pioneer in extending systems thinking to business organizations, identifying and analyzing systemic business processes, and introducing flow diagrams as a representation of processes. Today Business Process Management is a discipline that provides a systematic approach to the development of more efficient and effective organizations, enabling quick adaptation to the changes of the business environment. For this reason modeling languages such as BPMN (Business Process Modeling and Notation, [1]) have a wide adoption in modern organizations. Such modeling languages are used for the design and reengineering of business processes and have the advantage of having a representation that is not only easy to understand by all the stakeholders but also machine processable, with tasks assigned to software or human agents based on the workflow and rules defined using BPMN.

It is desirable to have tools that give to the designer of the process the possibility of discovering potential problems in processes, ranging from the correctness of the model to the verification of properties of the model, such as conformance to business rules.

This paper presents a logic framework that enables the possibility of studying the properties of data-aware business processes, and gives directions for open research challenges.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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. OMG: Business Process Model and Notation (BPMN), Version 2.0.2, January 2014

    Google Scholar 

  2. March, J., Simon, H.: Organizations. Wiley (1958)

    Google Scholar 

  3. Simon, H.A.: The Sciences of the Artificial, 3rd edn. MIT Press, Cambridge (1996)

    Google Scholar 

  4. van der Aalst, W.M.P.: Verification of workflow nets. In: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, ICATPN 1997, pp. 407–426. Springer-Verlag, London (1997)

    Google Scholar 

  5. van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: Yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)

    Article  Google Scholar 

  6. van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  7. Dell’Aversana, R.: Verification of data aware business process models: a methodological survey of research results and challenges. In: 12th International Conference on Distributed Computing and Artificial Intelligence, DCAI 2015, Salamanca, Spain, June 3-5, 2015, pp. 393–397 (2015)

    Google Scholar 

  8. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)

    Article  Google Scholar 

  9. Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM Conferences (2), vol. 5332. Lecture Notes in Computer Science, pp. 1152–1163. Springer (2008)

    Google Scholar 

  10. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proceedings of the 12th International Conference on Database Theory, ICDT 2009, pp. 252–267. ACM, New York (2009)

    Google Scholar 

  11. Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37(3), 22 (2012)

    Article  Google Scholar 

  12. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: a database theory perspective. In: Proceedings of the 32nd Symposium on Principles of Database Systems, PODS 2013, pp. 1–12. ACM, New York (2013)

    Google Scholar 

  13. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd Symposium on Principles of Database Systems, PODS 2013, pp. 163–174. ACM, New York (2013)

    Google Scholar 

  14. Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier Science, San Diego (2007)

    Google Scholar 

  15. Montali, M., Chesani, F., Mello, P., Maggi, F.M.: Towards data-aware constraints in declare. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC 2013, pp. 1391–1396. ACM, New York (2013)

    Google Scholar 

  16. Proietti, M., Smith, F.: Reasoning on data-aware business processes with constraint logic. In: Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis, SIMPDA 2014, vol. 1293. CEUR-WS (2014)

    Google Scholar 

  17. Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Comput. 4(1), 67–95 (1986)

    Article  Google Scholar 

  18. Brandano, S.: The event calculus assessed. In: Eigth International Symposium on Temporal Representation and Reasoning, TIME-2001, Civdale del Friuli, Italy, June 14-16, 2001, pp. 7–12 (2001)

    Google Scholar 

  19. Shanahan, M.: The event calculus explained. In: Wooldridge, M., Veloso, M. (eds.) Artificial Intelligence Today. Lecture Notes in Computer Science, vol. 1600, pp. 409–430. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  20. Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1987, pp. 111–119. ACM, New York (1987)

    Google Scholar 

  21. Triska, M.: Correctness Considerations in CLP(FD) Systems. PhD thesis, Vienna University of Technology (2014)

    Google Scholar 

  22. OMG: Business Process Model and Notation (BPMN), Version 2.0, January 2011

    Google Scholar 

  23. École polytechnique fédérale de Lausanne(EPFL): The Scala Programming Language

    Google Scholar 

  24. Odersky, M., Spoon, L., Venners, B.: Programming in Scala: A Comprehensive Step-by-Step Guide, 2nd edn. Artima Incorporation, USA (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Advanced Studies G. D’Annunzio, University of Chieti-Pescara, Chieti, Italy

    Raffaele Dell’Aversana

Authors
  1. Raffaele Dell’Aversana
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Raffaele Dell’Aversana .

Editor information

Editors and Affiliations

  1. University of Chieti-Pescara, Pescara, Italy

    Edgardo Bucciarelli

  2. Dept of Economical-Statistical and PES, University of Chieti-Pescara, Pescara, Italy

    Marcello Silvestri

  3. Fac Ciencias, Dept de Info y Automática, Universidad de Salamanca, Salamanca, Spain

    Sara Rodríguez González

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Dell’Aversana, R. (2016). Data Aware Business Process Models: A Framework for the Analysis and Verification of Properties. In: Bucciarelli, E., Silvestri, M., Rodríguez González, S. (eds) Decision Economics, In Commemoration of the Birth Centennial of Herbert A. Simon 1916-2016 (Nobel Prize in Economics 1978). Advances in Intelligent Systems and Computing, vol 475. Springer, Cham. https://doi.org/10.1007/978-3-319-40111-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-40111-9_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-40110-2

  • Online ISBN: 978-3-319-40111-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation