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

Abstract

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.





 

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

 
This page in german. Diese Seite auf deutsch.