Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Distributed Computing and Artificial Intelligence

DCAI 2017: Decision Economics: In the Tradition of Herbert A. Simon's Heritage pp 39–47Cite as

A Decision Framework for Understanding Data-Aware Business Process Models

  • Conference paper
  • First Online:

  • 751 Accesses

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

Abstract

Business Process Management is a discipline that enables organizations to analyze, design and deploy business processes, providing tools to investigate the processes from an organizational point of view and transforming the design into a working software implementation.

The Business Process Modeling and Notation (BPMN [1]) is the most widely adopted modeling language for designing and re-engineering business processes. One of best feature is that it provides a graphical representation that is not only easy to understand by business people without technical expertise but also machine processable, with tasks assigned to software or human agents based on the workflow and rules defined within the process.

This paper extends the framework presented by the author in [2] adding the possibility of verifying more properties of data-aware business processes using a novel approach. This approach enables the verification of the conformance to the business rules combining logic and mathematical expressions. Moreover, the new framework gives the possibility of separating the business requirements from the implementation, giving hints to the process designer and to the programmer. Finally, it gives directions for open research challenges.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

References

  1. OMG: Business Process Model and Notation (BPMN), Version 2.0.2, January 2014

    Google Scholar 

  2. Dell’Aversana, R.: 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) - Distributed Computing and Artificial Intelligence. Advances in Intelligent Systems and Computing, vol. 475, pp. 75–82. Springer, Cham (2016)

    Google Scholar 

  3. 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, London (1997)

    Google Scholar 

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

  5. van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21–66 (1998)

    Article  Google Scholar 

  6. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)

    MATH  Google Scholar 

  7. Dell’Aversana, R.: Verification of data aware business process models: a methodological survey of research results and challenges. In: Omatu, S., Malluhi, Q.M., Gonzalez, S.R., Bocewicz, G., Bucciarelli, E., Giulioni, G., Iqba, F. (eds.) Distributed Computing and Artificial Intelligence, 12th International Conference. AISC, vol. 373, pp. 393–397. Springer, Cham (2015). doi:10.1007/978-3-319-19638-1_45

    Chapter  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. LNCS, vol. 5332, 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. 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 

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

    Google Scholar 

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

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

  16. Triska, M.: Correctness Considerations in CLP(FD) Systems. Ph.D. thesis, Vienna University of Technology (2014)

    Google Scholar 

  17. Shanahan, M.: The event calculus explained. In: Wooldridge, M., Veloso, M. (eds.) Artificial Intelligence Today. LNCS, vol. 1600, pp. 409–430. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  18. Odersky, M., Spoon, L., Venners, B.: Programming in Scala: Updated for Scala 2.12, 3rd edn. Artima Incorporation, Mountain View (2016)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CERVAS - Research Centre for Evaluation and Socio-Economic Development, University of Chieti-Pescara, Pescara, 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. Department of Philosophical, Pedagogical, and Economic-Quantitative Sciences, Section of Economics and Quantitative Methods, University of Chieti-Pescara, Pescara, Italy

    Edgardo Bucciarelli

  2. Department of Economics, National Chengchi University, Taipei, Taiwan

    Shu-Heng Chen

  3. Departamento de Informática y Automática, Universidad de Salamanca, Salamanca, Spain

    Juan M. Corchado

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Dell’Aversana, R. (2018). A Decision Framework for Understanding Data-Aware Business Process Models. In: Bucciarelli, E., Chen, SH., Corchado, J. (eds) Decision Economics: In the Tradition of Herbert A. Simon's Heritage. DCAI 2017. Advances in Intelligent Systems and Computing, vol 618. Springer, Cham. https://doi.org/10.1007/978-3-319-60882-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-60882-2_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-60881-5

  • Online ISBN: 978-3-319-60882-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation