MTSA: The Modal Transition System Analyser

Nicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel

DOI 10.1109/ase.2008.78 dblp

Abstract

Modal transition systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whether the system should exhibit. MTS, in contrast with traditional behaviour models, support reasoning about the intended system behaviour in the presence of incomplete knowledge. In this paper, we present MTSA a tool that supports the construction, analysis and elaboration of Modal Transition Systems (MTS).

BibTeX

@inproceedings{DIppolito-al:ASE08,
  author    = {Nicol{\'{a}}s D'Ippolito and
               Dario Fischbein and
               Marsha Chechik and
               Sebasti{\'{a}}n Uchitel},
  title     = {{MTSA:} The Modal Transition System Analyser},
  booktitle = {ASE},
  pages     = {475--476},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
}

MTSA: The Modal Transition System Analyser

Abstract

Related papers