Issue No. 04 - April (1991 vol. 40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.88474
<p>A description is given of L.0, 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, and 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.</p>
programming environment; rule-based language; L.0 language; protocol simulation; prototyping; reactive systems; data sharing; quantification; recursive definition; programming environments; protocols; software prototyping; specification languages.
E. Cameron et al., "The L.0 Language and Environment for Protocol Simulation and Prototyping," in IEEE Transactions on Computers, vol. 40, no. , pp. 562-571, 1991.