Methodik des inkrementellen Entwurfs reaktiver Systeme

In diesem project schließen wiir die ll7 .在Hinblick， schließen wiir die l5 .在Hinblick， schliesch和methodische funderung。Dazu betrachten wir ininen Entwurfsprozeß， der von ersten abstrakten beschreibgen der Systemfunktionalität ausgeht und erlauth, disese beschreibgen systematisch zu verfeinteren, um beispielsweise Fehlerbehandlung einzuf<e:1> hren, neue Funktionalitäten hinzuzuf<e:1> oder das System mit block auveine verilte Implementierung in Teilsysteme zu spalten。[3]系统结构图，系统结构图，系统结构图，系统结构图。研究基础是建立在验证基础上的，研究方法是建立在验证基础上的，研究方法是建立在验证基础上的。Zur unterst<e:1> zung der verfeinterungsschritte和Zur praktischen Erprobung werden die verfeinterungsschritte in bestehendes CASE-Tool集成。

In diesem Projekt schließen wir die Lücke zwischen diesen Ansätzen im Hinblick auf eine wissenschaftliche und methodische Fundierung. Dazu betrachten wir einen Entwurfsprozeß, der von ersten abstrakten Beschreibungen der Systemfunktionalität ausgeht und erlaubt, diese Beschreibungen systematisch zu verfeinern, um beispielsweise Fehlerbehandlung einzuführen, neue Funktionalitäten hinzuzufügen oder das System mit Blick auf eine verteilte Implementierung in Teilsysteme zu spalten. Zur Systembeschreibung dienen dabei mathematisch formalisierte Teilmengen etablierter Beschreibungstechniken wie Zustandsmaschinen, Sequenzdiagramme oder Systemstrukturdiagramme. Auf deren Basis werden Verfeinerungsschritte entwickelt und methodische Vorgaben für ihren Einsatz im inkrementellen Systementwurf erarbeitet. Zur Unterstützung der Verfeinerungsschritte und zur praktischen Erprobung werden die Verfeinerungsschritte in ein bestehendes CASE-Tool integriert.