Im ersten Förderungszeitraum wurde eine etablierte Spezifikationsmethode syntaktisch und semantisch zur Abdeckung adaptiver Spezifikationen erweitert. Dieser Folgeantrag baut auf den bereits erzielten Ergebnissen auf. Das vorliegende Projekt beschäftigt sich mit der Animation adaptiver Spezifikationen, der adaptiven Spezifikation einer umfangreichen projektinternen Fallstudie aus dem Bereich Logistik/Materialfluß, der Übertragung unseres Spezifikationsansatzes auf weitere bekannte Spezifikationssprachen sowie der Entwicklung grafischer Darstellungsmittel für adaptive Spezifikationen. Die Animation adaptiver Spezifikationen soll durch eine werkzeugunterstützte automatisierte Generierung von Steuerungssoftware für die beschriebenen Systeme erreicht werden.
DFG Programme
Priority Programmes
