@InProceedings{Canelas:RospecADL:2025,
      AUTHOR = {Canelas, Paulo and Schmerl, Bradley and Fonesca, Alcides and Timperley, Christopher Steven},
      TITLE = {The Usability Argument for ROS-based Robot Architectural Description Languages},
      YEAR = {2025},
      MONTH = {17-18 February},
      BOOKTITLE = {Proc. the 15th annual workshop on the intersection of HCI and PL},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/2024_plateau_rospecusabilityCanelas_RospecADL_2025.pdf},
      ABSTRACT = {Component-based architectures in robotics, like the Robot Operating System (ROS), simplify system development by integrating reusable, off-the-shelf components. However, these components often lack sufficient documentation on their use and the architectures they form, leading to architectural misconfigurations. General-purpose Architectural Description Languages (ADLs) effectively provide properties to detect misconfigurations but are burdensome to use, as they require mapping new language-specific concepts to the ROS domain. This work introduces rospec, a novel ADL embedding ROS-specific knowledge to help developers specify and detect architectural misconfigurations. By mapping the language's syntax with ROS concepts, we argue that practitioners can more easily understand and reason about specifications written in the language. We provide an example and compare it with a general-purpose ADL.},
      KEYWORDS = {Software Architecture, Usability}
}