MoTraS: A Tool for Modal Transition Systems and Their Extensions

We present a tool for modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also non-deterministic systems. We provide the operations required from specification theories as well as some additional support such as deterministic hull, LTL model checking etc. The tool comes with both graphical and command line interface.

[1]  Jean-Baptiste Raclet.  Quotient de spécifications pour la réutilisation de composants , 2007 .

[2]  Roberto Passerone,et al.  Why Are Modalities Good for Interface Theories? , 2009, 2009 Ninth International Conference on Application of Concurrency to System Design.

[3]  Jan Kretínský,et al.  On Refinements of Boolean and Parametric Modal Transition Systems , 2013, ICTAC.

[4]  Axel Legay,et al.  A Modal Interface Theory for Component-based Design , 2011, Fundam. Informaticae.

[5]  Axel Legay,et al.  MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces , 2011, ATVA.

[6]  Kim G. Larsen,et al.  Moving from Specifications to Contracts in Component-Based Design , 2012, FASE.

[7]  Ivana Cerná,et al.  Modal Transition Systems: Composition and LTL Model Checking , 2011, ATVA.

[8]  Kim G. Larsen,et al.  A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[9]  Harald Fecher,et al.  Comparing disjunctive modal transition systems with an one-selecting variant , 2008, J. Log. Algebraic Methods Program..

[10]  Kim G. Larsen,et al.  ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems , 2010, ATVA.

[11]  Kim G. Larsen,et al.  Modal I/O Automata for Interface and Product Line Theories , 2007, ESOP.

[12]  Kim G. Larsen,et al.  Equation solving using modal transition systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[13]  Glenn Bruns,et al.  An Industrial Application of Modal Process Logic , 1997, Sci. Comput. Program..

[14]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[15]  Ulrik Mathias,et al.  Modal Transition Systems as the Basis for Interface Theories and Product Lines , 2015 .

[16]  Marsha Chechik,et al.  Merging partial behavioural models , 2004, SIGSOFT '04/FSE-12.

[17]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[18]  Mohamed Nassim Seghir,et al.  A Lightweight Approach for Loop Summarization , 2011, ATVA.

[19]  Kim G. Larsen,et al.  Parametric Modal Transition Systems , 2011, ATVA.

[20]  Sebastián Uchitel,et al.  MTSA: Eclipse support for modal transition systems construction, analysis and elaboration , 2007, eclipse '07.