Spezifikation flexibel anpaßbarer Abläufe in ingenieurwissenschaftlichen Anwendungen

• Applicant: Professor Dr. Gunter Saake
• Subject Area: Theoretical Computer Science
• Term: from 1998 to 2001
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5106788

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
• Subproject of: SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
• Participating Persons: Professor Dr. Stefan Conrad; Professor Dr. Dietrich Ziems