{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:21:39Z","timestamp":1743117699873,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319740294"},{"type":"electronic","value":"9783319740300"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74030-0_61","type":"book-chapter","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T09:33:43Z","timestamp":1516095223000},"page":"770-781","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5109-3716","authenticated-orcid":false,"given":"Emiliano","family":"Reynares","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Roa","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda Laura","family":"Caliusco","sequence":"additional","affiliation":[]},{"given":"Pablo David","family":"Villarreal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,17]]},"reference":[{"key":"61_CR1","unstructured":"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\u2013141 (2013)"},{"key":"61_CR2","unstructured":"FIPA-ACL: FIPA Communicative Act Library Specification (2002). http:\/\/www.fipa.org\/specs\/fipa00037\/SC00037J.html"},{"issue":"3","key":"61_CR3","first-page":"40","volume":"7","author":"A Guido","year":"2016","unstructured":"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\u201352 (2016)","journal-title":"Int. J. Bus. Res. Manage."},{"key":"61_CR4","first-page":"133","volume":"267","author":"M Rospocher","year":"2014","unstructured":"Rospocher, M., Ghidini, C., Serafini, L.: An ontology for the business process modelling notation. Front. Artif. Intell. Appl. 267, 133\u2013146 (2014)","journal-title":"Front. Artif. Intell. Appl."},{"key":"61_CR5","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.4018\/978-1-59904-174-2.ch002"},{"key":"61_CR6","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-12186-9_30","volume-title":"Business Process Management Workshops","author":"PD Villarreal","year":"2010","unstructured":"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\u2013329. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12186-9_30"},{"issue":"17","key":"61_CR7","first-page":"2383","volume":"18","author":"J Roa","year":"2012","unstructured":"Roa, J., Chiotti, O., Villarreal, P.: Behavior alignment and control flow verification of process and service choreographies. J. Univers. Comput. Sci. 18(17), 2383\u20132406 (2012)","journal-title":"J. Univers. Comput. Sci."},{"key":"61_CR8","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-58457-7_8","volume-title":"Business Process Management Workshops","author":"J Roa","year":"2017","unstructured":"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\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-58457-7_8"},{"key":"61_CR9","unstructured":"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\u2013279 (2012)"},{"key":"61_CR10","first-page":"18","volume":"155","author":"G Guizzardi","year":"2007","unstructured":"Guizzardi, G.: On ontology, ontologies, conceptualizations, modeling languages, and (meta) models. Front. Artif. Intell. Appl. 155, 18\u201339 (2007)","journal-title":"Front. Artif. Intell. Appl."},{"key":"61_CR11","unstructured":"Guizzardi, G.: Ontological foundations for structural conceptual models. Ph.D. Thesis. Telematica Instituut Fundamental Research Series No. 15, The Netherlands (2005)"},{"key":"61_CR12","unstructured":"Abramowicz, W., Filipowska, A., Kaczmarek, M., Kaczmarek, T.: Semantically enhanced business process modelling notation. In: CEUR Workshop Proceedings, pp. 1\u20134 (2007)"},{"key":"61_CR13","doi-asserted-by":"crossref","unstructured":"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\u00a0pp. 36:1\u201336:10. ACM, New York (2008)","DOI":"10.1145\/1409540.1409589"},{"key":"61_CR14","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.infsof.2016.01.001","volume":"75","author":"J Roa","year":"2016","unstructured":"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\u2013170 (2016)","journal-title":"Inf. Soft. Technol."}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74030-0_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T16:57:53Z","timestamp":1660323473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74030-0_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319740294","9783319740300"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74030-0_61","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"17 January 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2017.cs.upc.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}