VLib: Infinite Virtual Libraries for LOTOS
Charles Pecheur · 1993
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 Keywords: Programming Languages, Language Constructs and Features; Processors 1. INTRODUCTION The formal specification language LOTOS was standardized by ISO [ISO89] and has been applied to numerous developments, both in the applicative and theoretical domains. LOTOS combines two clearly distinguished concepts: process algebras for describing behaviours and algebraic specifications for de...