A Sound Observational Semantics for Modal Transition Systems


Modal Transition Systems (MTS) are an extension of Labelled Transition Systems (LTS) that distinguish between required, proscribed and unknown behaviour and come equipped with a notion of refinement that supports incremental modelling where unknown behaviour is iteratively elaborated into required or proscribed behaviour. The original formulation of MTS… (More)
DOI: 10.1007/978-3-642-03466-4_14

4 Figures and Tables


  • Presentations referencing similar topics