MTSA: Eclipse support for modal transition systems construction, analysis and elaboration

In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports construction of MTS using FSP process algebra and synthetising from scenarios and FLTL safety properties. These models could be animated and model checked. The MTSA-Eclipse plug-in is publicly available at: http://lafhis.dc.uba.ar/ suchitel/MTSA.html. Categories and Subject Descriptors 2.1 [Software Engineering]: Requirements/Specifications General Terms DESIGN Keywords Eclipse, MTS, Synthesis, FLTL, Scenarios

• Type: Conference
• Year: 2007
• Where: ECLIPSE
• Authors: Nicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel
• Keywords: ECLIPSE 2007, Eclipse Plug-in, FSP Process Algebra, Plug-in Supports Construction, Software Engineering