Codes & Standards - Purchase
CAN/CSA-Z243.102-90 (R2001)
Information Processing Systems - Open Systems Interconnection - Estelle - A Formal Description Technique Based on an Extended State Transition Model (Adopted ISO 9074:1989)
SKU: 2412405
Published by CSA Group
Publication Year 1990
Reaffirmed in 2001
179 pages
Withdrawn
Product Details
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 processing systems. In particular Estelle can be used formally to describe the service definitions and protocol specifications of the layers of Open Systems Interconnection described in ISO 7498. This International Standard does not define methods for the verification of specifications written in Estelle.
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 processing systems. In particular Estelle can be used formally to describe the service definitions and protocol specifications of the layers of Open Systems Interconnection described in ISO 7498. This International Standard does not define methods for the verification of specifications written in Estelle.