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

Volume

40

Issue

4

fYear

1991

fDate

4/1/1991 12:00:00 AM

Firstpage

562

Lastpage

571

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;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/12.88474

Filename

88474