Towards Open Estelle

R. Gotzhein, F. Rößler, J. Thees

in: U. Herzog, H. Hermanns (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, Proceedings des 6. GI/ITG-Fachgesprächs, Erlangen, Germany, 1996, pp. 89-98

Abstract

In the development of reliable software systems, the use of Formal Description Techniques FDTs is indispensable. An FDT especially designed for the specification of communication systems is Estelle. A weakness of Estelle is the fact that it is not possible to formally specify non-closed systems, i.e. systems embedded into and interacting with some environment that eitherpreexists or shall be developed without the use of Estelle. In this paper, measures to overcome thisproblem are identified. To begin with, pragmatical approaches using the features of standard Estelle to describe and embed non-closed systems are investigated. The experiences of this studylead to a compatible language extension, a first step towards "Open Estelle". Finally, the semantical implications of this extension are addressed.

Full paper

ps.gz (672kb)

	Superordinated page: Year 1996

	Feedback
	Go to the contact details of the person in charge of this page

	Deutsch
	This page in german. Diese Seite auf deutsch.