Comparative analysis of the notions of equivalence for process specifications

El-Gendy, Hazem; El‐Sayed, Hala S.; Fayez, A.-W.

doi:10.1109/iscc.1998.702643

Cited by 4 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A normalized version of a Lotos specification is a version of the specification that is congruent equivalent and in it Lotos behavior expressions that are congruent are also syntactically identical [2,3,4,8].…”

Section: Normalization Of a Lotos Specificationmentioning

confidence: 99%

See 1 more Smart Citation

Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications

El-Gendy¹,

El-Kadhi

2005

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transformation of a Lotos specification to an Estelle specification is presented. The method is applicable to various Lotos specification styles and to various communications protocols of ISO OSI layers.Our method has applications in conformance testing of such systems and building common semantic model for the various FDTs. In this paper, we develop an algorithm for constructing a 'Data Oriented'-Restricted Behavior Tree T that represent both the control flow aspects and the data flow aspects of the system. Then, we develop an algorithm for constructing the Estelle specifications from T. A minimization rule is also developed to optimize the size of the Estelle specification by reducing both the number of states and the number of transitions.

show abstract

Section: Normalization Of a Lotos Specificationmentioning

confidence: 99%

“…Phase I derives, from the given specification, a normalized version that is congruent (CT Equivalent) [2,3,4] to the given specification. In the given Lotos specification, behavior expressions that are syntactically different may be congruent equivalent.…”

Section: Algorithm To Construct the 'Data Oriented'-restrictedmentioning

confidence: 99%