Tools for LOTOS, a lotosphere overview
P.H.J. van Eijk · 1991
LOTOS is a specification language, but it is not very useful without a design methodology that describes the process from initial specification construction to implementation. In this paper we discuss the tools to support such a design process. The language, method and tools are beginning to be used in realistic applications, but the research on them continues. This paper concentrates on the current state of the art, with an emphasis on the Lotosphere project because that is where most of the work is currently being conducted. Between the lines one will find comments on a design and implementation strategy for tools. 1 Introduction In this paper we discuss tools for the formal description technique (FDT) LOTOS (LOTOS is standardised by ISO[ISO88, ISO89], and a tutorial can be found in[BB87]). This introduction gives an overview of the paper: what do we present, what not, and what is the background and history of this work. Section 2 sketches design methods that employ LOTOS. In Section...