Papers
Topics
Authors
Recent
Search
2000 character limit reached

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications

Published 8 Apr 2024 in cs.SE | (2404.05846v2)

Abstract: Tree-based model editors and hybrid graphical-textual model editors have advantages and limitations when editing domain models. Data is displayed hierarchically in tree-based model editors, whereas hybrid graphical-textual model editors capture high-level domain concepts graphically and low-level domain details textually. We conducted an empirical user study with 22 participants to evaluate the implicit assumption of system modellers that hybrid notations are superior, and to investigate the tradeoffs between the default EMF-based tree model editor and a Sirius/Xtext-based hybrid model editor. The results of the user study indicate that users largely prefer the hybrid editor and are more confident with hybrid notations for understanding the meaning of conditions. Furthermore, we found that the tree editor provided superior performance for analysing ordered lists of model elements, whereas activities requiring the comprehension or modelling of complex conditions were carried out faster through the hybrid editor.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (50)
  1. Towards Seamless Hybrid Graphical–Textual Modelling for UML and Profiles. In Modelling Foundations and Applications: ECMFA, Proceedings 13. Springer, 20–33.
  2. Altran. 2022. Xtext Sirius integration. [Online]. Available: https://altran-mde.github.io/xtext-sirius-integration.io, (Last Accessed: 2024-03-28).
  3. The BRICS component model: a model-based development paradigm for complex robotics software systems. In Proceedings of the 28th Annual ACM Symposium on Applied Computing. 1758–1764.
  4. Ed Burnette. 2005. Eclipse IDE Pocket Guide: Using the Full-Featured IDE. ”O’Reilly Media”.
  5. Model-driven engineering for mobile robotic systems: a systematic mapping study. Software and Systems Modeling 21, 1 (2022), 19–49.
  6. G Cattivera and GL Casalaro. 2015. Model-Driven Engineering for Mobile Robot Systems: A Systematic Mapping Study. Malardalen University (2015).
  7. A systematic approach to evaluating domain-specific modeling language environments for multi-agent systems. Software Quality Journal 24, 3 (01 Sep 2016), 755–795.
  8. Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems. IEEE Access 4 (2016), 6451–6466.
  9. Engineering the software of robotic systems. In IEEE/ACM 39th International Conference on Software Engineering Companion. 507–508.
  10. Blended Modelling - What, Why and How. In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 425–430.
  11. Justin Cooper. 2018. A Framework to Embed Textual Domain Specific Languages in Graphical Model Editors. Master’s thesis. University of York.
  12. Justin Cooper and Dimitris Kolovos. 2019. Engineering Hybrid Graphical-Textual Languages with Sirius and Xtext: Requirements and Challenges. In ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion. 322–325.
  13. RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications. In International Conference on Simulation, Modeling, and Programming for Autonomous Robots. Springer, 149–160.
  14. A Generated Property Specification Language for Resilient Multirobot Missions. In International Workshop on Software Engineering for Resilient Systems. Springer, 45–61.
  15. VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. In 31st International Conference on Computer Aided Verification (CAV).
  16. Eclipse Foundation. 2024a. Capella Textual Editor Extension. [Online]. Available: https://github.com/eclipse/capella-textual-editor, (Last Accessed: 2024-03-28).
  17. Eclipse Foundation. 2024b. Sirius Website. [Online]. Available: https://eclipse.dev/sirius, (Last Accessed: 2024-03-28).
  18. Eclipse Foundation. 2024c. Xtext Website. [Online]. Available: https://eclipse.dev/Xtext, (Last Accessed: 2024-03-28).
  19. Scenic: a language for scenario specification and scene generation. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 63–78.
  20. Model-driven engineering techniques for the development of multi-agent systems. Engineering Applications of Artificial Intelligence 25, 1 (2012), 159–173.
  21. Towards Systematic Engineering of Collaborative Heterogeneous Robotic Systems. In 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering. IEEE, 25–28.
  22. Patrice Godefroid. 2020. Fuzzing: Hack, art, and science. Commun. ACM 63, 2 (2020), 70–76.
  23. Model-Driven Simulation-Based Analysis for Multi-Robot Systems. In 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’ 21). IEEE, 331–341.
  24. Model-driven design space exploration for multi-robot systems in simulation. Software and Systems Modeling 22, 5 (2023), 1665–1688.
  25. James H Hill. 2011. Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples. In 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems. IEEE, 120–129.
  26. An empirical evaluation of a novel domain-specific language – modelling vehicle routing problems with Athos. Empirical Software Engineering 27, 7 (2022), 180.
  27. JetBrains. 2024. JetBrains MPS Website. [Online]. Available: https://www.jetbrains.com/mps, (Last Accessed: 2024-03-28).
  28. Gökhan Kahraman and Semih Bilgen. 2015. A framework for qualitative assessment of domain-specific languages. Softw. Syst. Model. 14, 4 (oct 2015), 1505–1526.
  29. Fuzz testing in practice: Obstacles and solutions. In IEEE 25th International Conference on Software Analysis, Evolution and Reengineering. 562–566.
  30. RoboChart: modelling and verification of the functional behaviour of robotic applications. Software & Systems Modeling 18, 5 (2019), 3097–3149.
  31. Obeo and TypeFox. 2017. Xtext Sirius integration - white paper. [Online]. Available: https://www.obeodesigner.com/resource/white-paper/WhitePaper_XtextSirius_EN.pdf, (Last Accessed: 2024-03-28).
  32. Making sense of business process descriptions: An experimental comparison of graphical and textual notations. Journal of Systems and Software 85, 3 (2012), 596–606. Novel approaches in the design and implementation of systems/software architecture.
  33. Fuzzfactory: domain-specific fuzzing with waypoints. Proceedings of the ACM on Programming Languages 3, OOPSLA (2019), 1–29.
  34. Model-driven behavior specification for robotic teams. In AAMAS. 171–178.
  35. Lynne E Parker. 2013. Reliability and Fault Tolerance in Collective Robot Systems. Jenny Stanford Publishing, Chapter 6, 167–205.
  36. SESAME Project Partners. 2022. D6.2: Simulation-Based Testing Methodology for EDDIs. Technical Report. The Open Group.
  37. SESAME Project Partners. 2023a. D6.5: Quality Assurance of EDDI-Enabled MRS Using Digital Twins. Technical Report. The Open Group.
  38. SESAME Project Partners. 2023b. D6.6: Multi-Stage Quality Assurance Methodology for EDDIs. Technical Report. The Open Group.
  39. Carlo Pinciroli and Giovanni Beltrame. 2016. Buzz: An extensible programming language for heterogeneous swarm robotics. In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, 3794–3800.
  40. Ionut Predoaia. 2023. Towards Systematic Engineering of Hybrid Graphical-Textual Domain-Specific Languages. In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 153–158.
  41. Ionut Predoaia. 2024. Reproduction Package for the User Study Tasks. https://doi.org/10.5281/zenodo.10892973
  42. Streamlining the Development of Hybrid Graphical-Textual Model Editors for Domain-Specific Languages. Journal of Object Technology 22, 2 (2023), 1–14.
  43. Markus Scheidgen. 2008. Textual Modelling Embedded into Graphical Modelling. In European Conference on Model Driven Architecture-Foundations and Applications. Springer, 153–168.
  44. Robotic software systems: From code-driven to model-driven designs. In 2009 International Conference on Advanced Robotics. IEEE, 1–8.
  45. Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering. In International Conference on Simulation, Modeling, and Programming for Autonomous Robots. Springer, 324–335.
  46. SESAME. 2024. Project Website. [Online]. Available: https://www.sesame-project.org, (Last Accessed: 2024-03-28).
  47. A modelling language for cooperative plans in highly dynamic domains. Mechatronics 21, 2 (2011), 423–433.
  48. Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early?. In 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). IEEE, 331–342.
  49. Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling 19 (2020), 1083–1106.
  50. Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. In Modelling Foundations and Applications: ECMFA, Proceedings 14. Springer, 12–27.

Summary

Paper to Video (Beta)

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.

Collections

Sign up for free to add this paper to one or more collections.

Tweets

Sign up for free to view the 1 tweet with 0 likes about this paper.