{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:39:16Z","timestamp":1742913556090,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030911669"},{"type":"electronic","value":"9783030911676"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-91167-6_2","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T14:13:49Z","timestamp":1638454429000},"page":"18-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Correctness of Automatically Generated Choreography Specifications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5392-4923","authenticated-orcid":false,"given":"Nurulhuda A.","family":"Manaf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0608-6741","authenticated-orcid":false,"given":"Nor Najihah Zainal","family":"Abidin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nur Amalina","family":"Jamaludin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Manaf, N.A., Moschoyiannis, S.: Generating choreographies from SBVR models. In: AIP Conference Proceedings, vol. 2184, p. 060062. AIP Publishing LLC (2019)","DOI":"10.1063\/1.5136494"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Ataee, S.M., Bayram, Z.: An improved abstract state machine based choreography specification and execution algorithm for semantic web services. Sci. Program. 2018, 4094951:1\u20134094951:20 (2018)","DOI":"10.1155\/2018\/4094951"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Autili, M., Tivoli, M.: Distributed enforcement of service choreographies. In: Int\u2019l Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA), pp. 18\u201335 (2014)","DOI":"10.4204\/EPTCS.175.2"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2017.10.010","volume":"160","author":"M Autili","year":"2018","unstructured":"Autili, M., Inverardi, P., Tivoli, M.: Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates. Sci. Comput. Program. 160, 3\u201329 (2018)","journal-title":"Sci. Comput. Program."},{"key":"2_CR5","unstructured":"Bajwa, I.S., Lee, M.G., Bordbar, B.: SBVR business rules generation from natural language specification. In: AAAI: AI for Business Agility, pp. 2\u20138 (2011)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bhattacharyya, A., Chittimalli, P.K., Naik, R.: Relation identification in business rules for domain-specific documents. In: Proceedings of the 11th Innovations in Software Engineering Conference, pp. 14:1\u201314:5. ACM (2018)","DOI":"10.1145\/3172871.3172884"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.is.2018.01.010","volume":"78","author":"D Calvanese","year":"2018","unstructured":"Calvanese, D., Dumas, M., Laurson, \u00dc., Maggi, F.M., Montali, M., Teinemaa, I.: Semantics, analysis and simplification of DMN decision tables. Inf. Syst. 78, 112\u2013125 (2018)","journal-title":"Inf. Syst."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2018.05.008","volume":"166","author":"F Corradini","year":"2018","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F.: A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166, 35\u201370 (2018)","journal-title":"Sci. Comput. Program."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"102535","DOI":"10.1016\/j.scico.2020.102535","volume":"202","author":"R Guanciale","year":"2021","unstructured":"Guanciale, R., Tuosto, E.: Pomcho: a tool chain for choreographic design. Sci. Comput. Program. 202, 102535 (2021)","journal-title":"Sci. Comput. Program."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.csi.2019.01.006","volume":"65","author":"F Hasic","year":"2019","unstructured":"Hasic, F., Vanthienen, J.: Complexity metrics for DMN decision models. Comput. Stand. Interfaces 65, 15\u201337 (2019)","journal-title":"Comput. Stand. Interfaces"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1\u20139:67 (2016)","DOI":"10.1145\/2827695"},{"key":"2_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-45364-9_13","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"J-M Jacquet","year":"2013","unstructured":"Jacquet, J.-M., Linden, I., Staicu, M.-O.: On the introduction of time in distributed blackboard rules. In: Canal, C., Villari, M. (eds.) ESOCC 2013. CCIS, vol. 393, pp. 144\u2013158. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45364-9_13"},{"key":"2_CR13","unstructured":"Jackson, D.: Software Abstractions - Logic, Language, and Analysis. Revised Edition, The MIT Press, Cambridge (2012)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-319-99906-7_21","volume-title":"Rules and Reasoning","author":"MR Karlsen","year":"2018","unstructured":"Karlsen, M.R., Moschoyiannis, S.: Learning condition\u2013action rules for personalised journey recommendations. In: Benzm\u00fcller, C., Ricca, F., Parent, X., Roman, D. (eds.) RuleML+RR 2018. LNCS, vol. 11092, pp. 293\u2013301. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99906-7_21"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Levy, F., NazarenkoF, A.: Formalization of natural language regulations through SBVR structured English - (tutorial). In: Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML, pp. 19\u201333 (2013)","DOI":"10.1007\/978-3-642-39617-5_5"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Manaf, N.A., Antoniades, A., Moschoyiannis, S.: SBVR2Alloy: an SBVR to alloy compiler. In: 10th IEEE Conference on Service-Oriented Computing and Applications, SOCA 2017, pp. 73\u201380. IEEE Computer Society (2017)","DOI":"10.1109\/SOCA.2017.18"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Manaf, N.A., Moschoyiannis, S., Krause, P.J.: Service choreography, sbvr, and time. In: Proceedings of the 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA. EPTCS, vol. 201, pp. 63\u201377 (2015)","DOI":"10.4204\/EPTCS.201.5"},{"key":"2_CR18","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-030-05481-6_25","volume-title":"Modelling and Implementation of Complex Systems","author":"KS Mansour","year":"2019","unstructured":"Mansour, K.S., Hammal, Y.: ATL based refinement of WS-CDL choreography into BPEL processes. In: Chikhi, S., Amine, A., Chaoui, A., Saidouni, D.E. (eds.) MISC 2018. LNNS, vol. 64, pp. 329\u2013343. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-05481-6_25"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Marinos, A., Moschoyiannis, S., Krause, P.: Towards a RESTful infrastructure for digital ecosystems. Int. J. Electron. Bus. 9 (2011)","DOI":"10.1504\/IJEB.2011.045288"},{"key":"2_CR20","unstructured":"Mezzina, C.A., Tuosto, E.: Choreographies for automatic recovery. CoRR abs\/1705.09525 (2017)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach, vol. 56. Springer Science & Business Media, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14538-4"},{"issue":"1","key":"2_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., Aalst, W.M.V.D., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Trans. Web (TWEB) 4(1), 1\u201362 (2010)","journal-title":"ACM Trans. Web (TWEB)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Moschoyiannis, S., Krause, P., Shields, M.W.: A true-concurrent interpretation of behavioural scenarios. ENTCS 203(7), 3\u201322 (2009). eTAPS - FESCA","DOI":"10.1016\/j.entcs.2009.03.023"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Moschoyiannis, S., Razavi, A., Krause, P.: Transaction scripts: making implicit scenarios explicit. ENTCS 238(6), 63\u201379 (2010). eTAPS - FESCA","DOI":"10.1016\/j.entcs.2010.06.005"},{"key":"2_CR25","first-page":"373","volume":"59","author":"S Moschoyiannis","year":"2004","unstructured":"Moschoyiannis, S., Shields, M.W.: A set-theoretic framework for component composition. Fund. Inform. 59, 373\u2013396 (2004)","journal-title":"Fund. Inform."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Muram, F.U., Javed, M.A., Tran, H., Zdun, U.: Towards a framework for detecting containment violations in service choreography. In: IEEE International Conference on Services Computing, SCC, pp. 172\u2013179. IEEE Computer Society (2017)","DOI":"10.1109\/SCC.2017.29"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Ng, N., Yoshida, N.: Static deadlock detection for concurrent go by global session graph synthesis. In: Zaks, A., Hermenegildo, M.V. (eds.) Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, 12\u201318 March 2016, pp. 174\u2013184. ACM (2016)","DOI":"10.1145\/2892208.2892232"},{"key":"2_CR28","unstructured":"OMG: Business Process Model and Notation (BPMN), vol. Version 2.0. OMG document formal\/2011-01-03. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"2_CR29","unstructured":"OMG: Decision Model and Notation (DMN), vol. Version 1.3. OMG document formal\/2021-01-01. https:\/\/www.omg.org\/spec\/DMN"},{"key":"2_CR30","unstructured":"OMG: Semantics of Business Vocabulary and Business Rules (SBVR), vol. Version 1.5. OMG document formal\/dtc\/2019-10-02. https:\/\/www.omg.org\/spec\/SBVR\/1.5\/PDF"},{"key":"2_CR31","unstructured":"OMG: Unified Modeling Language (UML), vol. Version 2.5.1. OMG document formal\/2017-12-05. https:\/\/www.omg.org\/spec\/UML\/"},{"key":"2_CR32","unstructured":"OMG: Date-Time Vocabulary (DTV), Version 1.3. OMG document formal\/dtc\/2016-02-20. http:\/\/www.omg.org\/spec\/DTV\/1.3\/Beta2 (2017)"},{"issue":"10","key":"2_CR33","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/944217.944233","volume":"46","author":"MP Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Introduction: service-oriented computing. Commun. ACM 46(10), 24\u201328 (2003)","journal-title":"Commun. ACM"},{"key":"2_CR34","unstructured":"Razavi, A., Moschoyiannis, S., Krause, P.: Concurrency control and recovery management for open e-business transactions. In: Communicating Process Architectures 2007, vol. 65, pp. 267\u2013285 (2007)"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Razavi, A.R., Moschoyiannis, S., Krause, P.: A scale-free business network for digital ecosystems. In: IEEE Int\u2019l Conference on Digital Ecosystems and Technologies, pp. 241\u2013246 (2008)","DOI":"10.1109\/DEST.2008.4635166"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlamp.2017.11.002","volume":"95","author":"E Tuosto","year":"2018","unstructured":"Tuosto, E., Guanciale, R.: Semantics of global view of choreographies. J. Log. Algebraic Methods Program. 95, 17\u201340 (2018)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"2_CR37","unstructured":"W3C: Web Services Choreography Description Language (WS-CDL). W3C Working Group (2006). http:\/\/www.w3.org\/TR\/ws-cdl-10-primer\/"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91167-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T14:27:52Z","timestamp":1638455272000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91167-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030911669","9783030911676"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91167-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"1 January 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leuven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/declarativeai2021.net\/ruleml-rr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.9","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5 reviews were done by sub-reviewers, who were invited by individual PC members.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}