{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T23:04:29Z","timestamp":1780959869834,"version":"3.54.1"},"publisher-location":"Singapore","reference-count":26,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819608041","type":"print"},{"value":"9789819608058","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:00:00Z","timestamp":1733529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:00:00Z","timestamp":1733529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-0805-8_25","type":"book-chapter","created":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T22:47:36Z","timestamp":1733525256000},"page":"354-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["From Visual Choreographies to\u00a0Flexible Information Protocols"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5585-1003","authenticated-orcid":false,"given":"Tom","family":"Lichtenstein","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4629-7594","authenticated-orcid":false,"given":"Amit K.","family":"Chopra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3599-3893","authenticated-orcid":false,"given":"Munindar P.","family":"Singh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3346-2442","authenticated-orcid":false,"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,12,7]]},"reference":[{"key":"25_CR1","unstructured":"Bergmann, A., Rebmann, A., Kampik, T.: BPMN2Constraints: breaking down BPMN diagrams into declarative process query constraints. In: BPM Demonstration & Resources Forum. CEUR-WS.org (2023)"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-33606-5_19","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"JCAM Buijs","year":"2012","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: On the role of fitness, precision, generalization and simplicity in process discovery. In: Meersman, R. (ed.) On the Move to Meaningful Internet Systems: OTM 2012, pp. 305\u2013322. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33606-5_19"},{"key":"25_CR3","unstructured":"Chopra, A.K., Christie, V., S.H., Singh, M.P.: Splee: a declarative information-based language for multiagent interaction protocols. In: AAMAS. ACM (2017)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Chopra, A.K., Christie V., S.H., Singh, M.P.: An evaluation of communication protocol languages for engineering multiagent systems. JAIR (2020)","DOI":"10.1613\/jair.1.12212"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-031-61057-8_10","volume-title":"Advanced Information Systems Engineering: 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3\u20137, 2024, Proceedings","author":"C Corea","year":"2024","unstructured":"Corea, C., Felli, P., Montali, M., Patrizi, F.: On the\u00a0flexibility of\u00a0declarative process specifications. In: Guizzardi, G., Santoro, F., Mouratidis, H., Soffer, P. (eds.) Advanced Information Systems Engineering: 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3\u20137, 2024, Proceedings, pp. 161\u2013177. Springer Nature Switzerland, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-61057-8_10"},{"key":"25_CR6","unstructured":"Corradini, F., et\u00a0al.: Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. (2020)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Trans., Softw. Eng. (2005)","DOI":"10.1109\/TSE.2005.140"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-319-31545-4_9","volume-title":"Managing Software Process Evolution","author":"M Dumas","year":"2016","unstructured":"Dumas, M., Pfahl, D.: Modeling software processes using BPMN: when and when not? In: Kuhrmann, M., M\u00fcnch, J., Richardson, I., Rausch, A., Zhang, H. (eds.) Managing Software Process Evolution, pp. 165\u2013183. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-31545-4_9"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. (2004)","DOI":"10.1007\/3-540-45089-0_18"},{"key":"25_CR10","doi-asserted-by":"publisher","unstructured":"Geatti, L., Montali, M., Rivkin, A.: Foundations of collaborative DECLARE. In: BPM Forum. LNBIP, Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-41623-1_4","DOI":"10.1007\/978-3-031-41623-1_4"},{"key":"25_CR11","doi-asserted-by":"publisher","unstructured":"Hildebrandt, T.T., L\u00f3pez, H.A., Slaats, T.: Declarative choreographies with\u00a0time and\u00a0data. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) Business Process Management Forum: BPM 2023 Forum, Utrecht, The Netherlands, September 11\u201315, 2023, Proceedings, pp. 73\u201389. Springer Nature Switzerland, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41623-1_5","DOI":"10.1007\/978-3-031-41623-1_5"},{"key":"25_CR12","doi-asserted-by":"publisher","unstructured":"Hildebrandt, T.T., Slaats, T., L\u00f3pez, H.A., Debois, S., Carbone, M.: Declarative choreographies and liveness. In: P\u00e9rez, J.A., Yoshida, N. (eds.) Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17\u201321, 2019, Proceedings, pp. 129\u2013147. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21759-4_8","DOI":"10.1007\/978-3-030-21759-4_8"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Knuplesch, D., Pryss, R., Reichert, M.: Data-aware interaction in distributed and collaborative workflows: modeling, semantics, correctness. In: CollaborateCom. IEEE (2012)","DOI":"10.4108\/icst.collaboratecom.2012.250443"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-031-41623-1_6","volume-title":"Business Process Management Forum: BPM 2023 Forum, Utrecht, The Netherlands, September 11\u201315, 2023, Proceedings","author":"T Lichtenstein","year":"2023","unstructured":"Lichtenstein, T., Weske, M.: Execution semantics for\u00a0process choreographies with\u00a0data. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) Business Process Management Forum: BPM 2023 Forum, Utrecht, The Netherlands, September 11\u201315, 2023, Proceedings, pp. 90\u2013106. Springer Nature Switzerland, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41623-1_6"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.is.2017.12.009","volume":"73","author":"G Meroni","year":"2018","unstructured":"Meroni, G., Baresi, L., Montali, M., Plebani, P.: Multi-party business process compliance monitoring through IoT-enabled artifacts. Inf. Syst. 73, 61\u201378 (2018). https:\/\/doi.org\/10.1016\/j.is.2017.12.009","journal-title":"Inf. Syst."},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Meyer, A., Pufahl, L., Batoulis, K., Fahland, D., Weske, M.: Automating data exchange in process choreographies. Inf. Syst. (2015)","DOI":"10.1016\/j.is.2015.03.008"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Trans. Web (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-319-38791-8_21","volume-title":"Web Engineering: 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings","author":"A Nikaj","year":"2016","unstructured":"Nikaj, A., Weske, M.: Formal specification of RESTful choreography properties. In: Bozzon, A., Cudre-Maroux, P., Pautasso, C. (eds.) Web Engineering: 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings, pp. 365\u2013372. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-38791-8_21"},{"key":"25_CR19","unstructured":"OMG: Business Process Model and Notation (BPMN), V 2.0.2: Standard (2014)"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-\u00c1lvarez, J.M., et al.: Verifying the manipulation of data objects according to business process and data models. Knowl. Inf. Syst. (2020)","DOI":"10.1007\/s10115-019-01431-5"},{"key":"25_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30409-5"},{"key":"25_CR22","unstructured":"Singh, M.P.: Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language. In: AAMAS. IFAAMAS (2011)"},{"key":"25_CR23","unstructured":"Singh, M.P.: Semantics and verification of information-based protocols. In: AAMAS, IFAAMAS (2012)"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Singh, M.P.: Bliss: Specifying declarative service protocols. In: Proceedings of SCC (2014)","DOI":"10.1109\/SCC.2014.39"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Singh, M.P., Christie\u00a0V., S.H.: Tango: declarative semantics for multiagent communication protocols. In: IJCAI, ijcai.org (2021)","DOI":"10.24963\/ijcai.2021\/55"},{"key":"25_CR26","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-642-34321-6_28","volume-title":"Service-Oriented Computing: 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings","author":"Y Sun","year":"2010","unstructured":"Sun, Y., Xu, W., Su, J.: Declarative choreographies for artifacts. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) Service-Oriented Computing: 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings, pp. 420\u2013434. Springer, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-34321-6_28"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0805-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T16:25:11Z","timestamp":1743265511000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0805-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,7]]},"ISBN":["9789819608041","9789819608058"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0805-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,7]]},"assertion":[{"value":"7 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunis","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2024.redcad.tn\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}