Spezifikation flexibel anpaßbarer Abläufe in ingenieurwissenschaftlichen Anwendungen

• Antragsteller: Professor Dr. Gunter Saake
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1998 bis 2001
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1064: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen
• Beteiligte Personen: Professor Dr. Stefan Conrad; Professor Dr. Dietrich Ziems