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.
FASE’99 - Fundamental Approaches to Software Engineering, Amsterdam, 22-26 March 1999
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W., Weise, C.: New Generation of UPPAAL. In: Proceedings of the International Workshop on Software Tools for Technology Transfer, Aalborg, Denmark, July 12-13 (1998)
Blair, L., Jones, T.: A note on some problems with the FC2 format, web document: http://www.comp.lancs.ac.uk/computing/users/lb/Composer/fc2notes.html (1998)
Blair, L., Blair, G.S.: Composition in Multi-paradigm Specification Techniques. To appear at the 3rd International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS 1999), February 15-18, Florence, Italy (1999)
Bouali, A., Ressouche, A., Roy, V., de Simone, R.: The FCTOOLS User Manual (Version 1.0) (April 1996), see http://www.inria.fr/meije/verification/doc.html
Garavel, H.: An Overview of the Eucalyptus Toolbox. In: Proceedings of the International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), pp. 76-88 (June 1996), see http://www.inrialpes.fr/vasy/Publications/Garavel-96.html
Lite: LOTOS Integrated Tool Environment, Tele-Informatics and Open Systems Group. University of Twente, The Netherlands, see http://wwwtios.cs.utwente.nl/lotos/lite/
Turner, K.J., (ed.): Formal Description Techniques. In: Proceedings of the 1st International Conference on Formal Description Techniques (FORTE 1988). Elsevier Science, North-Holland (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blair, L., Jones, T., Blair, G. (1999). A Tool Suite for Multi-Paradigm Specification. In: Finance, JP. (eds) Fundamental Approaches to Software Engineering. FASE 1999. Lecture Notes in Computer Science, vol 1577. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49020-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-49020-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65718-7
Online ISBN: 978-3-540-49020-3
eBook Packages: Springer Book Archive