Spezifikation flexibel anpaßbarer Abläufe in ingenieurwissenschaftlichen Anwendungen

工程应用中灵活适应性流程的规范

• 批准号: 5106788
• 负责人: Professor Dr. Gunter Saake
• 金额: --
• 依托单位: Fakultät für Maschinenbau
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1998
• 资助国家: 德国
• 起止时间: 1997-12-31 至 2000-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5106788?language=en
• 关键词: Spezifikation; flexibel; anpa; barer; Abl

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.

ImerstenförderungsizeItraumwurde etablierte spezifikthode syntaktisch和semantisch zur zur zur abdeckung spezifikikationen spezifikationen eitert Ternen Fallstudie aus dem dem bereich logistik/youlialialfluß，derüüüü</s>态S> </s> </s> </s>ür自适应spezifikations。