Projektstart: 01.01.1998

Projektende: 31.12.1998

Laufzeit: 01.01.1998 - 31.12.1998

Projektträger: Universität Augsburg

Projektverantwortung vor Ort: Prof. Dr. Bernhard Möller

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Manfred Broy (TU München), Prof. Dr. Walter Dosch (Universität zu Lübeck), Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid)

Zusammenfassung

Ein Projektziel war die Erarbeitung von Techniken zur schrittweisen Entwicklung von reaktiven Systemen. Konkret sollte untersucht werden, ob sich Statecharts für die dazu erforderlichen Verfeinerungs- und Transformationsschritte eignen oder ob die Sprache angepaßt werden muß, um solche Schritte zu ermöglichen. Weiter wurden im Projekt Techniken zur Partitionierung von Statecharts für deren verteilte Implementierung entwickelt.