Skip to main content
SpringerLink
Log in

Towards Ontology-Based Anti-patterns for the Verification of Business Process Behavior

  • Conference paper
  • First Online:
New Advances in Information Systems and Technologies

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

Abstract

A business process model defines how an organization perform its activities. Since the incorrect definition of business processes behavior may increase costs and development time, it is required the verification of process behavior. Verification methods based on anti-patterns are a promising approach to deal with this issue, but their informal definition may lead to ambiguities and different interpretations of what problem a given anti-pattern represents, and how it should be applied or implemented to detect behavioral errors in process models. The aim of this paper is to assess the feasibility of business process behavior verification by means of the ontological specification of behavioral anti-patterns. The study is based on the detection of anti-patterns in a BPMN process model by exploiting a set of standard ontological reasoning services.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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. Weske, M.: Business process management: concepts, languages, architectures. Springer Science & Business Media (2012)

    Google Scholar 

  2. Object Management Group (OMG), Business Process Model and Notation (BPMN) Version 2.0, http://www.omg.org/spec/BPMN/2.0/

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

    Google Scholar 

  4. Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Developer Technical Journal 10(2), 4 (2007)

    Google Scholar 

  5. Dijkman, R., Dumas, M., and Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12), 1281–1294 (2008)

    Google Scholar 

  6. Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous Soundness Checking of Industrial Business Process Models. In Dayal, U., Eder, J., Koehler, J., Reijers, H. (eds.) BPM, vol. 5701, pp 278–293 (2009)

    Google Scholar 

  7. Roa, J., Chiotti, O., Villarreal, P.: Behavior Alignment and Control Flow Verification of Process and Service Choreographies. Journal of Universal Computer Science 18(17), 2383–2406 (2012)

    Google Scholar 

  8. van Dongen, B., Mendling, J., van der Aalst, W.: Structural patterns for soundness of business process models. In: 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC06), pp. 116–128. IEEE, Hong Kong (2006)

    Google Scholar 

  9. Kühne, S., Kern, H., Gruhn, V., Laue, R.: Business process modeling with continuous validation. Journal of Software Maintenance and Evolution: Research and Practice 22 (6-7) 547–566 (2010)

    Google Scholar 

  10. Han, Z., Gong, P., Zhang, L., Ling, J., Huang, W.: Definition and detection of control-flow anti-patterns in process models. In: IEEE 37th Annual Computer Software and Applications Conference Workshops (COMPSACW), pp. 433–438. IEEE, Kyoto (2013)

    Google Scholar 

  11. Laue, R., Awad, A.: Visualization of business process modeling anti patterns. Electronic Communications of the EASST 25 (2010)

    Google Scholar 

  12. Hepp, M., Leymann, F., Domingue, J., Wahler, A., & Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process management. In: IEEE International Conference on e-Business Engineering, pp. 535–540. IEEE, Beijing (2005)

    Google Scholar 

  13. Becker, J., Pfeiffer, D., Räckers, M., Falk, T., & Czerwonka, M.: Semantic business process modelling and analysis. In: vom Brocke, J. and Rosemann, M. (eds.) Handbook on Business Process Management vol. 1, pp. 187–217. Springer Berlin Heidelberg (2015)

    Google Scholar 

  14. Rospocher, M., Ghidini, C, Serafini, L.: An ontology for the Business Process Modelling Notation. Formal Ontology in Information Systems: Proceedings of the Eighth International Conference (FOIS2014), vol. 267, pp. 133-146. IOS Press, Rio de Janeiro (2014)

    Google Scholar 

  15. Breitman, K., Leite, J.: Lexicon based ontology construction. In C. Lucena, A. Garcia, A. Romanovsky, J. Castro, P. S. C. Alencar (eds.) Software engineering for multi-agent systems II. LNCS, vol. 2940, pp. 41–45. Springer, Berlin Heidelberg (2004)

    Google Scholar 

  16. World Wide Web Consortium (W3C), OWL 2 web ontology language. Document overview, http://www.w3.org/TR/owl2-overview/

  17. World Wide Web Consortium (W3C), SWRL: A semantic web rule language combining OWL and RuleML, http://www.w3.org/Submission/SWRL/

Download references

Author information

Authors and Affiliations

  1. CIDISI Research Center, UTN Santa Fe, B. Lavaysse, 610, S3004EWB, Santa Fe, Argentina

    Jorge Roa, Emiliano Reynares, María Laura Caliusco & Pablo Villarreal

Authors
  1. Jorge Roa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emiliano Reynares
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. María Laura Caliusco
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Pablo Villarreal
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jorge Roa .

Editor information

Editors and Affiliations

  1. DEI/FCT, Universidade de Coimbra, Coimbra, Portugal

    Álvaro Rocha

  2. ISEGI,, Universidade Nova de Lisboa, Lisboa, Portugal

    Ana Maria Correia

  3. College of Engineering, The Ohio State University, Columbus, Ohio, USA

    Hojjat Adeli

  4. DSI, Universidade do Minho, Guimarães, Portugal

    Luis Paulo Reis

  5. Rua Dom Manoel de Medeiros, s/n, DoisIrm, Universidade Federal Rural de Pernambuco, Recife, Brazil

    Marcelo Mendonça Teixeira

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P. (2016). Towards Ontology-Based Anti-patterns for the Verification of Business Process Behavior. In: Rocha, Á., Correia, A., Adeli, H., Reis, L., Mendonça Teixeira, M. (eds) New Advances in Information Systems and Technologies. Advances in Intelligent Systems and Computing, vol 445. Springer, Cham. https://doi.org/10.1007/978-3-319-31307-8_68

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-31307-8_68

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-31306-1

  • Online ISBN: 978-3-319-31307-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation