Title :
The L.0 language and environment for protocol simulation and prototyping
Author :
Cameron, E. Jane ; Cohen, David M. ; Guinther, Timothy M. ; Keese, William M. ; Ness, Linda A. ; Norman, Cynthia ; Srinidhi, Hassan N.
Author_Institution :
Bellcore, Morristown, NJ, USA
fDate :
4/1/1991 12:00:00 AM
Abstract :
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
Keywords :
programming environments; protocols; software prototyping; specification languages; L.0 language; data sharing; programming environment; protocol simulation; prototyping; quantification; reactive systems; recursive definition; rule-based language; Analytical models; Design engineering; Encapsulation; Knowledge based systems; Logic; Protocols; Prototypes; Specification languages; State-space methods; Virtual prototyping;
Journal_Title :
Computers, IEEE Transactions on
