A LOTOS Specification of the PROWAY Highway Service

Carchiolo, Vincenza; Faro,; Mirabella,; Pappalardo,; Scollo, Giuseppe

doi:10.1109/tc.1986.1676697

Cited by 15 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first results are encouraging: the LOTOS specifications that have been produced so far (e.g. [1,3,12,17,40,41,43,44,45,47] and many others), indicate that such quite complex systems can be specified with an intuitively appealing structure, and be relatively concise (when compared with other formal description techniques). The conciseness and readability could be increased even further if good notational facilities are developed for the specification of data types, which now in many cases are a substantial part of a specification.…”

Section: Discussionmentioning

confidence: 94%

Introduction to the ISO specification language LOTOS

Bolognesi

Brinksma

1987

Computer Networks and ISDN Systems

945

422

View full text Add to dashboard Cite

LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.

show abstract

Section: Discussionmentioning

confidence: 94%

Introduction to the ISO specification language LOTOS

Bolognesi

Brinksma

1987

Computer Networks and ISDN Systems

945

422

View full text Add to dashboard Cite

show abstract

“…When necessary, however, an Abstract Data Type (ADT) definition language may be adopted (as in [7,231). Indeed, process definitions and type definitions are "orthogonal," in that they do not place constraints on each other; the presentation in Section 2.1 simply presupposes data types and value expressions, but makes no assumption on how the former are defined or the latter evaluated.…”

Section: Data Typesmentioning

confidence: 99%

ECCS and LIPS: two languages for OSI systems specification and verification

Carchiolo

Stefano

Faro

et al. 1989

ACM Trans. Program. Lang. Syst.

View full text Add to dashboard Cite

An issue of current interest in the Open Systems Interconnection(OSI) field is the choice of a language well suited to specification and verification. For this purpose, two languages based on Milner's communication calculi are proposed, respectively intended for the specification of asynchronous and synchronous OS1 systems. A formal verification method, relying upon the algebraic foundations of the two languages, is introduced and illustrated by means of examples based on nontrivial protocols and services.

show abstract

An equivalence in lotos and its decision method

Kaminaga

Takahashi

Shiratori

et al. 1991

Systems & Computers in Japan

View full text Add to dashboard Cite

Norio S h i r a t o r i , and Shoichi Noguchi, Members Research I n s t i t u t e of E l e c t r i c a l Communication, Tohoku U n i v e r s i t y , Sendai, Japan 980 SUMMARY This paper c o n s i d e r s t h e s p e c i f i c a t i o n described i n LOTOS, which i s t h e formal d e s c r i p t i o n language f o r t h e communication system. A d e c i s i o n method is proposed f o r t h e equivalence between two a r b i t r a r y syst e m s (between d e f i n i t i o n of s e r v i c e and t h e protocol s p e c i f i c a t i o n s , f o r example). I n t h i s paper, based on t h e d e f i n i t i o n of t h e weak b i s i m u l a t i o n equivalence, which i s t h e d e f i n i t i o n of equivalence i n LOTOS, t h e concepts of t h e k-weak b i s i m u l a t i o n equival e n c e and t h e canonical 1-weak b i s i m u l a t i o n are introduced.

show abstract

A LOTOS Specification of the PROWAY Highway Service

Cited by 15 publications

References 16 publications

Introduction to the ISO specification language LOTOS

Introduction to the ISO specification language LOTOS

ECCS and LIPS: two languages for OSI systems specification and verification

An equivalence in lotos and its decision method

Contact Info

Product

Resources

About