Justin Templemore-Finlayson

Learn More
This paper presents a graphical representation for the Formal Description Technique Estelle, which has up until now been restricted to a textual syntax based on the general programming language Pascal. The graphical syntax and semantics of the representation are fully descriptive of a general Estelle system and complies with the ISO Estelle standard ISO97].(More)
This dissertation concerns the speciication and description of complex communicating systems using Formal Description Techniques. Speciically, it proposes a standard graphical representation for the Formal Description Techhnique Estelle, a well-developed textual language. A graphical notation would combine the advantages of a visually descriptive language(More)
  • 1