The L.0 Language and Environment for Protocol Simulation and Prototyping

Abstract

L.0 is an executable specification language designed for describing communications protocols and similar reactive systems. L.0 is synchronous and rule-based. The rules are either cause-effect rules or constraints. Rules can be activated and deactivated dynamically. Several can be fired simultaneously. L.0 has modern notions of encapsulation and data sharing. Indirection, quantification, and recursive definition of modules increase its expressiveness. L.0 has been used in several development projects to design, simulate, and prototype protocols. It seems to provide a paradigm that is precise and yet can be used by designers and engineers who are not specialists in specification languages. This paper gives an overview of L.0 and its applications to protocols. © 1991 IEEE