Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie

以汽车行业为例，集成面向对象的软件规范技术及其针对工业生产系统的特定应用扩展

• 批准号: 5134720
• 负责人: Professor Dr. Hartmut Ehrig (†)
• 金额: --
• 依托单位: Fachgebiet Theoretische Informatik/ Formale Spezifikation
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1998
• 资助国家: 德国
• 起止时间: 1997-12-31 至 2006-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5134720?language=en
• 关键词: Integration; objektorientierter; Softwarespezifikationstechniken; und; deren

Der steigende Softwareanteil und die zunehmende Dezentralisierung in der Produktionstechnik erfordern Software-Entwicklungstechniken, die die Erstellung von sicherer, korrekter und flexibel anpassbarer Software gewährleisten. Derzeitige Entwicklungsstandards, wie sie durch die objektorientierte Modellierungssprache UML und die zugehörigen Entwicklungsmethoden gegeben sind, erfüllen diese Anforderungen zum Teil. Ergänzungsbedürftig sind aber vor allem noch die Integration der einzelnen UML-Modellierungstechniken, die eine konsistente Gesamtmodellierung gewährleistet, sowie die Erweiterung um anwendungsspezifische Spezifikationstechniken und deren Integration in die Modellierung. In beiden Fällen müssen Konsistenzbedingungen für die verschiedenen Sichten bzw. Teilmodelle angegeben werden. Für diese Zwecke wird im Projekt IOSIP ein Referenzmodell zur Integration von Software-Spezifikationstechniken entwickelt und anhand der Modellierung der Referenzfallstudie Produktionsautomatisierung des Schwerpunktprogramms validiert. In der beantragten zweiten Projektphase wird das abstrakte Referenzmodell der ersten Phase konkretisiert und, aufbauend auf die Modellierung der Grundstufe der Referenzfallstudie in der ersten Phase, die Ausbaustufe mit den Techniken der UML und anwendungsspezifischen Erweiterungen, wie der Spezifikation von regelbasiertem Verhalten autonomer Agenten, modelliert.

在软件产品--企业软件中使用软件和软件，以及软件的灵活性和灵活性。这是一种新的环境标准，我们不能将其作为一种新的标准来实现，也不能以此为基础。模型的集成，以及模型的规范和规范的集成。在贝登Fällen Müssen Konsistentingungen für die verschiedenen sichhten BZW.TeilModel le angegeben.Für diese Zwecke将在Projekt Iosip ein Referenzmodell zur Integration von Software-Spezifikationstechniken entwickelt and and Hand Modellierung der ReferenzFall Studdie ProducktionsAutomatisierung des Schwerpenkt Programms valideert.在更多的阶段中，所有的技术都将被引用，这是一种新的技术，更多的自主代理和模型。