Show simple item record

dc.contributor.authorEstivill-Castro, Vladimir
dc.contributor.authorHexel, René
dc.contributor.editorHammoudi, Slimane
dc.contributor.editorPires, Luís Ferreira
dc.contributor.editorSelic, Bran
dc.date.accessioned2020-03-26T21:12:37Z
dc.date.available2020-03-26T21:12:37Z
dc.date.issued2020
dc.identifier.isbn9783030378721
dc.identifier.issn1865-0929
dc.identifier.doi10.1007/978-3-030-37873-8_3
dc.identifier.urihttp://hdl.handle.net/10072/392625
dc.description.abstractModels 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.
dc.description.peerreviewedYes
dc.publisherSpringer
dc.relation.ispartofconferencename7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019)
dc.relation.ispartofconferencetitleCommunications in Computer and Information Science
dc.relation.ispartofdatefrom2019-02-20
dc.relation.ispartofdateto2019-02-22
dc.relation.ispartoflocationPrague, Czech Republic
dc.relation.ispartofpagefrom50
dc.relation.ispartofpageto75
dc.relation.ispartofseriesCommunications in Computer and Information Science
dc.relation.ispartofvolume1161
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchComputation Theory and Mathematics
dc.subject.fieldofresearchInformation Systems
dc.subject.fieldofresearchcode0801
dc.subject.fieldofresearchcode0802
dc.subject.fieldofresearchcode0806
dc.titleThe Understandability of Models for Behaviour
dc.typeConference output
dc.type.descriptionE1 - Conferences
dcterms.bibliographicCitationEstivill-Castro, V; Hexel, R, The Understandability of Models for Behaviour, Model-Driven Engineering and Software Development, 2020, 1161, pp. 50-75
dc.date.updated2020-03-25T21:36:54Z
dc.description.versionPost-print
gro.rights.copyright© Springer Nature Switzerland AG 2020. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com
gro.hasfulltextFull Text
gro.griffith.authorHexel, Rene
gro.griffith.authorEstivill-Castro, Vladimir


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record