Show simple item record  

dc.contributor.authorTurner, Jessica Dawnen_NZ
dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorReeves, Steveen_NZ
dc.contributor.editorMazzara, Manuelen_NZ
dc.contributor.editorOber, Iulianen_NZ
dc.contributor.editorSalaün, Gwenen_NZ
dc.coverage.spatialToulouse, Franceen_NZ
dc.date.accessioned2019-10-16T22:22:18Z
dc.date.available2018en_NZ
dc.date.available2019-10-16T22:22:18Z
dc.date.issued2018en_NZ
dc.identifier.citationTurner, J., Bowen, J., & Reeves, S. (2018). Using abstraction with interaction sequences for interactive system modelling. In M. Mazzara, I. Ober, & G. Salaün (Eds.), Proceedings of STAF 2018 Collocated Workshops, Software Technologies: Applications and Foundations (FMIS 2018) (Vol. LNCS 11176, pp. 257–273). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-030-04771-9_20en
dc.identifier.isbn978-3-030-04770-2en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/12965
dc.description.abstractInteraction sequences can be used as an abstraction of an interactive system. We can use such models to consider or verify properties of a system for testing purposes. However, interaction sequences have the potential to become unfeasibly long, leading to models which are intractable. We propose a method of reducing the state space of such sequences using the self-containment property. This allows us to hide (and subsequently expand) some of the model describing parts of the system not currently under consideration. Interaction sequences and their models can therefore be used to control the state space size of the models we create as an abstraction of an interactive system.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherSpringeren_NZ
dc.rights© 2018 Springer Nature Switzerland AG.This is the author's accepted version. The final publication is available at Springer via dx.doi.org/10.1007/978-3-030-04771-9_20
dc.sourceFMIS 2018en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectinteractive system testingen_NZ
dc.subjectformal methodsen_NZ
dc.titleUsing abstraction with interaction sequences for interactive system modellingen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1007/978-3-030-04771-9_20en_NZ
dc.relation.isPartOfProceedings of STAF 2018 Collocated Workshops, Software Technologies: Applications and Foundations (FMIS 2018)en_NZ
pubs.begin-page257
pubs.elements-id225015
pubs.end-page273
pubs.finish-date2018-06-25en_NZ
pubs.place-of-publicationCham, Switzerland
pubs.start-date2018-06-25en_NZ
pubs.volumeLNCS 11176en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record