Modellierung und Simulation verteilter Systeme mit INCOME

Qualitativ hochwertige verteilte Systeme können nur dann effizient entwikkelt werden, wenn die dynamischen Systemaspekte bereits bei der Anforderungsanalyse möglichst vollständig und korrekt erfaßt werden. Dieser Artikel beschreibt Konzepte des Methoden- und Tool-Pakets INCOME, das eine umfassende Modellierung dynamischer Systemaspekte erlaubt. Darüber hinaus unterstützt INCOME die Analyse und Simulation der erstellten Modelle. Um dem Entwickler eine möglichst umfassende Unterstützung anbieten zu können, sind die INCOME-Tools in die CASE* Umgebung von ORACLE integriert. Ein typisches Einsatzgebiet für eine derartige Unterstützung ist die Produktionsautomatisierung, in der für die Systementwicklung sowohl dynamische Aspekte als auch Datenbankaspekte von Bedeutung sind.