Spezifikation flexibel anpaßbarer Abläufe in ingenieurwissenschaftlichen Anwendungen

点击翻译按钮获取中文摘要

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.