|
XEC - the eXperimental Estelle Compiler |
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. |