Turner, Jessica DawnBowen, JudyReeves, SteveMazzara, ManuelOber, IulianSalaün, Gwen2019-10-1620182019-10-162018Turner, 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_20978-3-030-04770-2https://hdl.handle.net/10289/12965Interaction 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.application/pdfen© 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_20computer scienceinteractive system testingformal methodsConference Contribution10.1007/978-3-030-04771-9_20