{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T05:10:23Z","timestamp":1748668223266,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031751066"},{"type":"electronic","value":"9783031751073"}],"license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"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-3-031-75107-3_14","type":"book-chapter","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:01:50Z","timestamp":1729926110000},"page":"224-242","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model-Driven Development of\u00a0Multi-Robot Systems: From BPMN Models to\u00a0X-Klaim Code"],"prefix":"10.1007","author":[{"given":"Khalid","family":"Bourr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Bettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s11721-022-00215-y","volume":"17","author":"G Aguzzi","year":"2023","unstructured":"Aguzzi, G., Audrito, G., Casadei, R., Damiani, F., Torta, G., Viroli, M.: A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17(1), 27\u201362 (2023)","journal-title":"Swarm Intell."},{"doi-asserted-by":"crossref","unstructured":"Bai, L., Wei, J.: A service-oriented business process modeling methodology and implementation. In: International Conference on Interoperability for Enterprise Software and Applications, pp. 201\u2013205. IEEE (2009)","key":"14_CR2","DOI":"10.1109\/I-ESA.2009.14"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-030-61470-6_22","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles","author":"L Bettini","year":"2020","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Writing robotics applications with X-Klaim. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 361\u2013379. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61470-6_22"},{"doi-asserted-by":"publisher","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.. Programming multi-robot systems with X-KLAIM. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning. ISoLA 2022. Lecture Notes in Computer Science, vol 13703. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19759-8_18","key":"14_CR4","DOI":"10.1007\/978-3-031-19759-8_18"},{"doi-asserted-by":"crossref","unstructured":"Bettini, L., Bourr, K., Pugliese, R., Tiezzi, F.: Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transf. 25, 1\u201318 (2023)","key":"14_CR5","DOI":"10.1007\/s10009-023-00727-w"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-030-21485-2_8","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"L Bettini","year":"2019","unstructured":"Bettini, L., Merelli, E., Tiezzi, F.: X-Klaim is back. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 115\u2013135. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_8"},{"unstructured":"Bourr, K., Corradini, F., Pettinari, S., Re, B., Rossi, L., Tiezzi, F.: Disciplined use of BPMN for mission modeling of multi-robot systems. In: PoEM-Forum, volume 3045 of CEUR Workshop Proceedings, pp. 1\u201310. CEUR-WS.org (2021)","key":"14_CR7"},{"key":"14_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100630","volume":"119","author":"F Corradini","year":"2021","unstructured":"Corradini, F., Morichetta, A., Muzi, C., Re, B., Tiezzi, F.: Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations. J. Logical Algebraic Methods Program. 119, 100630 (2021)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"14_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2022.104322","volume":"160","author":"F Corradini","year":"2023","unstructured":"Corradini, F., Pettinari, S., Re, B., Rossi, L., Tiezzi, F.: A BPMN-driven framework for multi-robot system development. Robotics Auton. Syst. 160, 104322 (2023)","journal-title":"Robotics Auton. Syst."},{"unstructured":"de\u00a0la Croix, J.-P., Lim, G.: Event-driven modeling and execution of robotic activities and contingencies in the Europa lander mission concept using BPMN. In: International Symposium on Artificial Intelligence, Robotics and Automation in Space (2020)","key":"14_CR10"},{"issue":"5","key":"14_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: a Kernel language for agents interaction and mobility. IEEE Trans. Software Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-34327-8_16","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"S Dhouib","year":"2012","unstructured":"Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: RobotML, a domain-specific language to design, simulate and deploy robotic applications. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS (LNAI), vol. 7628, pp. 149\u2013160. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34327-8_16"},{"doi-asserted-by":"crossref","unstructured":"Dubani, Z., Soh, B., Seeling, C.: A novel design framework for business process modelling in automotive industry. In: International Symposium on Electronic Design, Test & Applications, pp. 250\u2013255. IEEE (2010)","key":"14_CR13","DOI":"10.1109\/DELTA.2010.48"},{"doi-asserted-by":"crossref","unstructured":"Ebert, S., Mey, J., Sch\u00f6ne, R., G\u00f6tz, S., A\u00dfmann, U.: DiNeROS: a model-driven framework for verifiable ros applications with Petri Nets. In: MODELS, pp. 791\u2013800. IEEE (2023)","key":"14_CR14","DOI":"10.1109\/MODELS-C59198.2023.00127"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"71617","DOI":"10.1109\/ACCESS.2020.2987099","volume":"8","author":"M Figat","year":"2020","unstructured":"Figat, M., Zieli\u0144ski, C.: Robotic system specification methodology based on hierarchical petri nets. IEEE Access 8, 71617\u201371627 (2020)","journal-title":"IEEE Access"},{"unstructured":"Frigerio, M., Buchli, J., Caldwell, D.G.: A domain specific language for kinematic models and fast implementations of robot dynamics algorithms. In: DSLRob, volume abs\/1301.7190 (2013)","key":"14_CR16"},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Huai, W., Liu, X., Sun, H.: Towards trustworthy composite service through business process model verification. In: International Conference on Ubiquitous Intelligence & Computing and International Conference on Autonomic & Trusted Computing, pp. 422\u2013427. IEEE (2010)","key":"14_CR18","DOI":"10.1109\/UIC-ATC.2010.114"},{"doi-asserted-by":"crossref","unstructured":"Ji, Y., Sun, H., Liu, X., Zeng, J., Bai, S.: A decentralized framework for executing composite services based on BPMN. In: Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, pp. 332\u2013338. IEEE (2009)","key":"14_CR19","DOI":"10.1109\/ComputationWorld.2009.48"},{"unstructured":"Bourr, K.: B2XKLAIM repository. https:\/\/github.com\/khalidbourr\/B2xklaim-e-agriculture","key":"14_CR20"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-23063-4_4","volume-title":"Business Process Management","author":"A Kheldoun","year":"2015","unstructured":"Kheldoun, A., Barkaoui, K., Ioualalen, M.: Specification and verification of complex business processes - a high-level petri net-based approach. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 55\u201371. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23063-4_4"},{"issue":"2","key":"14_CR22","doi-asserted-by":"publisher","first-page":"449","DOI":"10.3390\/s20020449","volume":"20","author":"J L\u00f3pez","year":"2020","unstructured":"L\u00f3pez, J., S\u00e1nchez-Vilari\u00f1o, P., Sanz, R., Paz, E.: Implementing autonomous driving behaviors using a message driven Petri Net framework. Sensors 20(2), 449 (2020)","journal-title":"Sensors"},{"key":"14_CR23","first-page":"75","volume":"7","author":"A Nordmann","year":"2016","unstructured":"Nordmann, A., Hochgeschwender, N., Wigand, D., Wrede, S.: A survey on domain-specific modeling and languages in robotics. Softw. Eng. Rob. 7, 75\u201399 (2016)","journal-title":"Softw. Eng. Rob."},{"unstructured":"Omg, O., Parida, R., Mahapatra, S.: Business process model and notation (BPMN) version 2.0. Object Management Group 1(4), 18 (2011)","key":"14_CR24"},{"unstructured":"Open Robotics: Robot Operating System (ROS) website. https:\/\/www.ros.org\/","key":"14_CR25"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-68265-3_16","volume-title":"Coordination Models and Languages","author":"D Prandi","year":"2008","unstructured":"Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of BPMN via a translation into COWS. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 249\u2013263. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68265-3_16"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-540-76848-7_3","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"F Puhlmann","year":"2007","unstructured":"Puhlmann, F.: Soundness verification of business processes specified in the Pi-calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2007. LNCS, vol. 4803, pp. 6\u201323. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76848-7_3"},{"key":"14_CR28","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11841760_11","volume":"4102","author":"F Puhlmann","year":"2006","unstructured":"Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. Bus. Process Manage. 4102, 145\u2013160 (2006)","journal-title":"Bus. Process Manage."},{"key":"14_CR29","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-28108-2_29","volume-title":"Business Process Management Workshops","author":"J Roa","year":"2012","unstructured":"Roa, J., Chiotti, O., Villarreal, P.: A verification method for collaborative business processes. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM 2011. LNBIP, vol. 99, pp. 293\u2013305. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28108-2_29"},{"unstructured":"Vlissides, J.: Pattern Hatching: Design Patterns Applied. Addison-Wesley (1998)","key":"14_CR30"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"PYH Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355\u2013374. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88194-0_22"},{"issue":"8","key":"14_CR32","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1016\/j.scico.2009.09.010","volume":"76","author":"PY Wong","year":"2011","unstructured":"Wong, P.Y., Gibbons, J.: Formalisations and applications of BPMN. Sci. Comput. Program. 76(8), 633\u2013650 (2011)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"14_CR33","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H., van der Aalst, W.M., ter Hofstede, A.H., Edmond, D.: Business process verification-finally a reality! Bus. Process. Manag. J. 15(1), 74\u201392 (2009)","journal-title":"Bus. Process. Manag. J."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75107-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T07:13:21Z","timestamp":1729926801000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75107-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"ISBN":["9783031751066","9783031751073"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75107-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"27 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}