A Tool Suite for Multi-Paradigm Specification
Lynne Blair, Trevor Jones, Gordon Blair
Computing Department, Lancaster University, Bailrigg, Lancaster, LA1 4YR
Internal Report No: MPG-99-16, April 1999
e-mail: lb@comp.lancs.ac.uk
Abstract
In this paper, we present a tool suite developed to facilitate the use of a multi-paradigm specification technique. By adopting such a technique, different aspects (or components) of a system can be specified using different formal languages. Using FC2 as our common file format, we can load in different (partial) specifications, compose them and then view the result in textual or graphical format, simulate the composed behaviour, and model check a given logic formula against our (composed) system.
Tool Demo (short paper) presented at 2nd International Conference on Fundamental Approaches to Software Engineering (FASE'99), (in Amsterdam, March 22-28, 1999), Jean-Pierre Finance (ed), LNCS 1577, pp234-238, Berlin: Springer-Verlag, 1999.