AG Vernetzte Systeme Publikationen Jahr 1999 Th99

 

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.

---

	Übergeordnete Seite: Jahr 1999

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.