Introduction

The eXperimental Estelle Compiler (XEC) was developed as a platform for the testing, performance-evaluation, and optimization of implementation methods for Estelle. XEC is a fully operational and well tested Estelle compiler, which is "experimental" merely concerning its applicability as platform for experiments with implementation methods.
The implementation generator builds upon the Estelle compiler front-end PET and translates Estelle specifications into objectoriented C++ code. The strictly object oriented modeling of the structure of Estelle permits a very flexible execution model, supporting extensive static and dynamic optimizations. Most of the dynamic optimizations can be implemented inside the object oriented run-time library for the generated implementations.
Read the XEC-FAQ for further details. An introduction to XEC and our current optimization experiments can be found in [ThGo98a] and [The98].

Distribution

A first public distribution of XEC will become available soon. We will probably grant licenses free of charge under the GPL (GNU public licence) for non-comercial applications.
Please contact thees@informatik.uni-kl.de if you are interested in getting a pre-release.

Documentation

The XEC-FAQ (frequently asked questions)
The XEC User Manual 1.2.1 (in german, currently under translation to english)
The XEC Technical Manual 1.2.1 (under development)
[ThGo98a]: an introductional paper about XEC
[The98]: a paper about optimizations we are currently evaluating based on XEC
(....)

History

(....)

Literature

[Dah96] S. Dahl:
Performancevergleich von Protokollimplementierungen
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, 1996

[ThGo97a] J. Thees, R. Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme
Interner Bericht 290/97, Fachbereich Informatik, Universität Kaiserslautern, 1997

[ThGo97b] J. Thees, R. Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen
in: K. Irmscher, Ch. Mittasch, K. Richter (Hrsg.): Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Kurzbeiträge und Toolbeschreibungen zur 9. ITG/GI-Fachtagung MMB'97, Informatik in Freiberg, Band 4, TU Bergakademie Freiberg, September 1997

[ThGo97d] J. Thees, R. Gotzhein:
Generation of Efficient Protocol Implementations - an Experimental Code Generator for Estelle and its Application to XTP
6th Open Workshop on High Speed Networks, Stuttgart, October 8-9, 1997

[ThGo98a] J. Thees, R. Gotzhein:
The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications
in: M. Ardis (Edt.), Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 1998

[The98] J. Thees:
Protocol Implementation with Estelle - from Prototypes to Efficient Implementations
accepted for ESTELLE'98, Evry, France, 2 November 1998

[Wen98] M. Wenz:
Design und Implementierung einer portablen grafischen Oberfläche zur Visualisierung und Steuerung des Ablaufs von Estelle-Implementierungen
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Mai 1998

Comp. Networks Group

Research-Activities

Estelle

XEC

thees@informatik.uni-kl.de

25/11/98

	Übergeordnete Seite: Estelle

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.

[Dah96]	S. Dahl: Performancevergleich von Protokollimplementierungen Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, 1996
[ThGo97a]	J. Thees, R. Gotzhein: Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme Interner Bericht 290/97, Fachbereich Informatik, Universität Kaiserslautern, 1997
[ThGo97b]	J. Thees, R. Gotzhein: Leistungsbewertung automatisch generierter Protokollimplementierungen in: K. Irmscher, Ch. Mittasch, K. Richter (Hrsg.): Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Kurzbeiträge und Toolbeschreibungen zur 9. ITG/GI-Fachtagung MMB'97, Informatik in Freiberg, Band 4, TU Bergakademie Freiberg, September 1997
[ThGo97d]	J. Thees, R. Gotzhein: Generation of Efficient Protocol Implementations - an Experimental Code Generator for Estelle and its Application to XTP 6th Open Workshop on High Speed Networks, Stuttgart, October 8-9, 1997
[ThGo98a]	J. Thees, R. Gotzhein: The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications in: M. Ardis (Edt.), Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 1998
[The98]	J. Thees: Protocol Implementation with Estelle - from Prototypes to Efficient Implementations accepted for ESTELLE'98, Evry, France, 2 November 1998
[Wen98]	M. Wenz: Design und Implementierung einer portablen grafischen Oberfläche zur Visualisierung und Steuerung des Ablaufs von Estelle-Implementierungen Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Mai 1998