The repository contains the implementation of a Domain-Specific Language (DSL) to configure human-robot interaction scenarios in service settings. The DSL constitutes a friendly interface to the model-driven development framework presented in:

• Lestingi, L., Sbrolli, C., Scarmozzino, P., Romeo, G., Bersani, M. M., & Rossi, M. (2022). Formal modeling and verification of multi-robot interactive scenarios in service settings. In FormaliSE 2022 (pp. 80-90). doi.org/10.1145/3524482.3527653
• Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2021). A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access. doi.org/10.1109/ACCESS.2021.3117852
• Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020, September). Formal verification of human-robot interaction in healthcare scenarios. In SEFM 2020 (pp. 303-324). Springer, Cham. doi.org/10.1007/978-3-030-58768-0_17
• Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020). A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. In SMC 2020 (pp. 1907-1914), IEEE. doi.org/10.1109/SMC42975.2020.9283204
• Lestingi, L., Askarpour, M., Bersani, M. M., & Rossi, M. (2020). Statistical Model Checking of Human-Robot Interaction Scenarios. AREA 2020 doi.org/10.4204/EPTCS.319.2.

Each scenario features the layout, the humans, the robots, and the robotic mission.

The DSL allows the application designer to specify the scenario parameters (e.g., how many humans, their features, the layout shape, etc.). Example DSL files can be found in the ./hridsl_sources/src folder.

Authors:

Install the Eclipse IDE for Java and DSL Developers available here.

Open the repository's root folder as an Eclipse workspace.

Open the the 'Open Projects from File System...' window and browse to the repository's root folder when selecting the project's source. Make sure that the 'Search for nested projects' and 'Detect and configure project natures' options are selected.

WARNING! Manual creation of empty 'src' and 'xtend-gen' folders might be necessary to solve build errors.

Make sure you have a local copy of the design-time analysis module's latest version.

Right click on the ./it.polimi.hri_designtime.ide child project and select 'Run As -> Run Configuration...'. Within the 'Environment' tab, add two environment variables called "DTANPATH" and "PYTHONPATH" and set both to your local path to the hri_designtime root folder.

Right click on the ./it.polimi.hri_designtime.ide child project and run as 'Eclipse Application'.

Within the newly opened DSL IDE window, select the 'Open Projects from File System...' window and select ./hridsl_sources as a new project's source.

Once your desired .json file is generated, select it and click on 'Commands -> Run Experiment' to verify your scenario.

Copyright © 2022 Davide Zerla, Livia Lestingi