Implementierungs- und Optimierungsmodelle des Expermental Estelle Compilers

J. Thees

in: K. Spies, B. Schätz (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme (FBTŽ99), Herbert Utz Verlag Wissenschaft, ISBN 3-89675-918-3, München, Juni 1999

Zusammenfassung

Die automatische Implementierung von formal beschriebenen Systemen ist ein wichtiger Faktor für die Attraktivität formaler Techniken bei der praktischen Softwareentwicklung. In diesem Papier werden verschiedene Implementierungsmodelle für Estelle Spezifikationen vorgestellt, die Gegenstand unserer Untersuchungen auf Basis des "eXperimental Estelle Compilers" (XEC) sind. Dabei präsentieren wir u.a. ein hybrides Implementierungsmodell, das die Vorteile des Activity-Thread- Modells mit der Flexibilität des Server-Modells verbindet.





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.