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

软件开发技术是软件生产技术的核心和核心，软件开发技术是一种安全、可靠和灵活的传递软件。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 noch allem die Integration der einzelnen UML-Modellierungstechniken，die eine consistente Gesamtmodellierung gewährleistet，sowie die Erweiterung um anwendungsspezienge he Spezifikationstechniken und deren Integration in die Modellierung. In beiden Fällen müssen Konsistenzbedingungen für die versatiedenen Sichten bzw.你的模特儿已经韦尔登了。在IOSIP项目中，我们将建立一个集成软件特性技术的参考模型，并对经过验证的Schwerpunktprograms的参考产品自动化进行建模。在项目的第二个阶段，将抽象出第一阶段的参考模型，并在第一阶段参考研究的基础上进行建模，使用UML技术进行建模，并进行基于规则的参考建模。

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.