CSA - CAN/CSA-Z243.102-90

Information Processing Systems - Open Systems Interconnection - Estelle: A Formal Description Technique Based on an Extended State Transition Model

inactive, Most Current
Organization: CSA
Publication Date: 1 June 1990
Status: inactive
Page Count: 192
scope:

Scope and field of application

This International Standard defines the semantics and syntax of the Formal Description Technique Estelle. Estelle is in general used for the formal description of distributed, concurrent information pro¬cessing systems. In particular Estelle can be used formally to describe the service definitions and proto¬col specifications of the layers of Open Systems Interconnection described in ISO 7498. This Interna¬tional Standard docs not define methods for the verification of specifications written in Estelle.

Document History

CAN/CSA-Z243.102-90
June 1, 1990
Information Processing Systems - Open Systems Interconnection - Estelle: A Formal Description Technique Based on an Extended State Transition Model
Scope and field of application This International Standard defines the semantics and syntax of the Formal Description Technique Estelle. Estelle is in general used for the formal description of...

References

Advertisement