VLib: Infinite Virtual Libraries for LOTOS

This paper introduces VLib, an extension to LOTOS that eases the specification of data types. It allows the definition and use of virtual libraries containing conceptually an infinite number of data types. The extraction of a working finite subset for a particular application is also considered. After a general introduction to LOTOS data specification issues, the extension is explained and formally defined. A prototype tool implementing the extraction operation is described, and a specification discipline is proposed that benefits from the provided gain of functionality. Keyword codes:D.3.3; D.3.4

[1]  Guy Leduc,et al.  A LOTOS Data Facility Compiler (DAFY) , 1991, FORTE.

[2]  Hubert Garavel,et al.  Compilation of LOTOS Abstract Data Types , 1989, FORTE.

[3]  F. Brady,et al.  One2One - A Tool for Translating ASN.1 to ACT ONE , 1990, FORTE.

[4]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[5]  Tomás de Miguel,et al.  From LOTOS to C , 1988, FORTE.

[6]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2 , 1990, EATCS Monographs on Theoretical Computer Science.

[7]  P.H.J. van Eijk,et al.  Tools for LOTOS, a lotosphere overview , 1991 .

[8]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[9]  Henk Eertink,et al.  Symbolic execution of LOTOS specifications , 1992, Formal Techniques for (Networked and) Distributed Systems.

[10]  Gregor von Bochmann,et al.  Combining ASN1 Support with the LOTOS Language , 1989, PSTV.

[11]  Muffy Thomas.  A translator for ASN.1 into LOTOS , 1992 .