Programming multi-robot systems demands orchestrating concurrent agents while reliably exchanging mission data. This paper extends our previous BPMN-to-XKLAIM translation pipeline for multi-robot systems, making it data-aware and low-code, so that mission designers, ideally including non-programmer stakeholders, can specify coordination and data exchange at the BPMN level without writing or manually refining the generated code. We equip BPMN collaboration models with typed data objects and extend the translation rules so that data become XKLAIM tuples that are automatically propagated across tasks and communication events. The resulting XKLAIM code is directly executable on top of ROS without post-generation modifications, so the BPMN model remains the primary artifact edited as the mission evolves. We illustrate the approach in a space-inspired rover-drone scenario, where incremental terrain maps are exchanged online to support dynamic path replanning.

Low-Code Data-Aware Programming for Multi-robot Missions: From BPMN to X-Klaim and ROS / Bettini, L., Bourr, K., Cottiga, S., Pugliese, R., Seriani, S., Tiezzi, F.. - STAMPA. - (2026), pp. 378-397. [10.1007/978-3-032-40108-3_22]

Low-Code Data-Aware Programming for Multi-robot Missions: From BPMN to X-Klaim and ROS

Bettini, Lorenzo;Pugliese, Rosario;Tiezzi, Francesco
2026

Abstract

Programming multi-robot systems demands orchestrating concurrent agents while reliably exchanging mission data. This paper extends our previous BPMN-to-XKLAIM translation pipeline for multi-robot systems, making it data-aware and low-code, so that mission designers, ideally including non-programmer stakeholders, can specify coordination and data exchange at the BPMN level without writing or manually refining the generated code. We equip BPMN collaboration models with typed data objects and extend the translation rules so that data become XKLAIM tuples that are automatically propagated across tasks and communication events. The resulting XKLAIM code is directly executable on top of ROS without post-generation modifications, so the BPMN model remains the primary artifact edited as the mission evolves. We illustrate the approach in a space-inspired rover-drone scenario, where incremental terrain maps are exchanged online to support dynamic path replanning.
2026
9783032401076
9783032401083
Proc. of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. (ISoLA 2026)
378
397
Bettini, Lorenzo; Bourr, Khalid; Cottiga, Simone; Pugliese, Rosario; Seriani, Stefano; Tiezzi, Francesco
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1499033
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact