2026-04-13T13:18:57Zhttps://recercat.cat/oai/requestoai:recercat.cat:10230/480882025-12-26T11:29:22Zcom_2072_6col_2072_452952
RECERCAT
author
Estivill-Castro, V. (Vladimir)
author
Hexel, René
2021-07-06T08:16:03Z2021-07-06T08:16:03Z2020
Comunicació presentada a: SMODELSWARD 2019: International Conference on Model-Driven Engineering and Software Development, celebrat del 20 al 22 de febrer de 2019 a Praga, República Txeca.Models are used mainly to communicate among humans the most relevant aspects of the item being modelled. Moreover, for achieving impact in modern complex applications, modelling languages and tools must support some level of composition. Furthermore, executable models are the foundations of model-driven development; therefore, it is crucial that we study the understandability of executable behaviour models, especially from the perspective of modular composition. We examine the match between the delicate semantics of executable models for applications such as reactive- and real-time systems and developers’ usually simple conception. Performing a series of experiments with UML statecharts and logic-labelled finite-state machines (LLFSMs), we explore understandability of event-driven vs. logic-labelled state machines as well as the architectural options for modular composition. We find that expertise in model manipulation is essential, and that clarification of the semantics of LLFSMs is necessary for them to remain formally verifiable and suitable for robotic and embedded systems.
© Springer The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-030-37873-8_3 info:eu-repo/semantics/openAccess
Model understandability
State diagram
Logic-labelled finite-state machines
The Understandability of models for behaviour
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/acceptedVersion