The Understandability of models for behaviour

Mostra el registre complet Registre parcial de l'ítem

  • dc.contributor.author Estivill-Castro, V. (Vladimir)
  • dc.contributor.author Hexel, René
  • dc.date.accessioned 2021-07-06T08:16:03Z
  • dc.date.available 2021-07-06T08:16:03Z
  • dc.date.issued 2020
  • dc.description 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.
  • dc.description.abstract 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.en
  • dc.format.mimetype application/pdf
  • dc.identifier.citation Estivill-Castro V, Hexel R. The Understandability of models for behaviour. In: Hammoudi S, Ferreira Pires L, Selić B, editors. MODELSWARD 2019: International Conference on Model-Driven Engineering and Software Development; 2019 Feb 20-22; Prague, Czech Republic. Cham: Springer; 2019. p. 50-75. (CCIS; no. 1161). DOI: 10.1007/978-3-030-37873-8_3
  • dc.identifier.doi http://dx.doi.org/10.1007/978-3-030-37873-8_3
  • dc.identifier.issn 1865-0929
  • dc.identifier.uri http://hdl.handle.net/10230/48088
  • dc.language.iso eng
  • dc.publisher Springer
  • dc.relation.ispartof Hammoudi S, Ferreira Pires L, Selić B, editors. MODELSWARD 2019: International Conference on Model-Driven Engineering and Software Development; 2019 Feb 20-22; Prague, Czech Republic. Cham: Springer; 2019. p. 50-75. (CCIS; no. 1161)
  • dc.rights © Springer The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-37873-8_3
  • dc.rights.accessRights info:eu-repo/semantics/openAccess
  • dc.subject.keyword Model understandabilityen
  • dc.subject.keyword State diagramen
  • dc.subject.keyword Logic-labelled finite-state machinesen
  • dc.title The Understandability of models for behaviouren
  • dc.type info:eu-repo/semantics/conferenceObject
  • dc.type.version info:eu-repo/semantics/acceptedVersion

Col·leccions

Congressos (Departament de Tecnologies de la Informació i les Comunicacions)