Using abstraction with interaction sequences for interactive system modelling

Turner, Jessica Dawn; Bowen, Judy; Reeves, Steve

doi:10.1007/978-3-030-04771-9_20

Files

FMIS18_JT.pdf

Accepted version, 304.8Kb

DOI

10.1007/978-3-030-04771-9_20

Citation

Export citation

Turner, 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_20

Permanent Research Commons link: https://hdl.handle.net/10289/12965

Abstract

Interaction 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.

Date

2018

Type

Conference Contribution

Publisher

Springer

Rights

Collections

Computing and Mathematical Sciences Papers [1455]