A Sound Observational Semantics for Modal Transition Systems

Abstract

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

Topics

  • Presentations referencing similar topics