Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Using abstraction with interaction sequences for interactive system modelling

      Turner, Jessica Dawn; Bowen, Judy; Reeves, Steve
      Thumbnail
      Files
      FMIS18_JT.pdf
      Accepted version, 304.8Kb
      DOI
       10.1007/978-3-030-04771-9_20
      Find in your library  
      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
      © 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
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      111
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement