Skip to main content
Springer Nature Link
Log in

Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols

  • Conference paper
  • First Online:
Business Process Management Workshops (BPM 2017)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 308))

Included in the following conference series:

  • 3523 Accesses

Abstract

Collaborative business processes (CBPs) are expected to conduct the behavior among organizations that participate in collaborative networks. Although languages for CBPs emerged from the industry and academic sides, not much effort has been put to add formal semantics to the constructs of the languages to reason on structural aspects of CBP models. In particular, the UP-ColBPIP language supports the modeling of collaborative business processes in terms of interaction protocols, which describes a choreography of business messages based on speech acts. This paper presents an approach to add formal semantics to the UP-ColBPIP language, by defining an OntoUML conceptual model of the constructs that allows modeling CBPs as interaction protocols. The formal semantics of the constructs of UP-ColBPIP enables the definition of design guidelines and the development of techniques for the structural analysis of CBP models represented in terms of interaction protocols. Finally, the work depicts an OWL ontology implementing the proposed conceptual model, with the purpose of answering queries about the messages based on speech acts as well as other structural aspects of CBP models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    Ontology can be founded in: http://dx.doi.org/10.17632/rdkmdr6xfn.2.

References

  1. Barcelos, P., dos Santos, V.A., Silva, F.B., Monteiro, M., Garcia, A.S.: An automated transformation from OntoUML to OWL and SWRL. In: Ontobras, pp. 130–141 (2013)

    Google Scholar 

  2. FIPA-ACL: FIPA Communicative Act Library Specification (2002). http://www.fipa.org/specs/fipa00037/SC00037J.html

  3. Guido, A., Pandurino, A., Paiano, R.: An ontological meta-model for business process model and notation (BPMN). Int. J. Bus. Res. Manage. 7(3), 40–52 (2016)

    Google Scholar 

  4. Rospocher, M., Ghidini, C., Serafini, L.: An ontology for the business process modelling notation. Front. Artif. Intell. Appl. 267, 133–146 (2014)

    Google Scholar 

  5. Villarreal, P., Salomone, H.E., Chiotti, O.: Modeling and specifications of collaborative business processes using a MDA approach and a UML profile. In: Rittgen, P. (eds): Enterprise Modeling and Computing with UML. Idea Group Inc., Argentina (2007)

    Google Scholar 

  6. Villarreal, P.D., Lazarte, I., Roa, J., Chiotti, O.: A modeling approach for collaborative business processes based on the UP-ColBPIP language. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 318–329. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-12186-9_30

    Chapter  Google Scholar 

  7. Roa, J., Chiotti, O., Villarreal, P.: Behavior alignment and control flow verification of process and service choreographies. J. Univers. Comput. Sci. 18(17), 2383–2406 (2012)

    Google Scholar 

  8. Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P.: Ontology-based heuristics for process behavior: formalizing false positive scenarios. In: Dumas, M., Fantinato, M. (eds.) BPM 2016. LNBIP, vol. 281, pp. 106–117. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-58457-7_8

    Chapter  Google Scholar 

  9. Aleem, S., Lazarova-Molnar, S., Mohamed, N.: Collaborative business process modeling approaches: a review. In: Proceedings of the 2012 IEEE 21st International workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 274–279 (2012)

    Google Scholar 

  10. Guizzardi, G.: On ontology, ontologies, conceptualizations, modeling languages, and (meta) models. Front. Artif. Intell. Appl. 155, 18–39 (2007)

    Google Scholar 

  11. Guizzardi, G.: Ontological foundations for structural conceptual models. Ph.D. Thesis. Telematica Instituut Fundamental Research Series No. 15, The Netherlands (2005)

    Google Scholar 

  12. Abramowicz, W., Filipowska, A., Kaczmarek, M., Kaczmarek, T.: Semantically enhanced business process modelling notation. In: CEUR Workshop Proceedings, pp. 1–4 (2007)

    Google Scholar 

  13. Huemer, C., Liegl, P., Motal, T., Schuster, R., Zapletal, M.: The development process of the un/cefact modeling methodology. In: Proceedings of the 10th International Conference on Electronic Commerce, ICEC 2008 pp. 36:1–36:10. ACM, New York (2008)

    Google Scholar 

  14. Roa, J., Chiotti, O., Villarreal, P.: Specification of behavioral anti-patterns for the verification of block-structured collaborative business processes. Inf. Soft. Technol. 75, 148–170 (2016)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CIDISI, Universidad Tecnológica Nacional Facultad Regional Santa Fe, Santa Fe, Argentina

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

  2. CONICET, Santa Fe, Argentina

    Emiliano Reynares, María Laura Caliusco & Pablo David Villarreal

Authors
  1. Emiliano Reynares
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge Roa
    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 David Villarreal
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Emiliano Reynares .

Editor information

Editors and Affiliations

  1. Department of Service and Information System Engineering, Universitat Politècnica de Catalunya, Barcelona, Spain

    Ernest Teniente

  2. Humboldt-Universität zu Berlin, Berlin, Berlin, Germany

    Matthias Weidlich

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Reynares, E., Roa, J., Caliusco, M.L., Villarreal, P.D. (2018). Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols. In: Teniente, E., Weidlich, M. (eds) Business Process Management Workshops. BPM 2017. Lecture Notes in Business Information Processing, vol 308. Springer, Cham. https://doi.org/10.1007/978-3-319-74030-0_61

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-74030-0_61

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-74029-4

  • Online ISBN: 978-3-319-74030-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics