AG Vernetzte Systeme Publications Year 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

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.

---

	Superordinated page: Year 1999

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

	Deutsch
	This page in german. Diese Seite auf deutsch.