Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
批准号:
5134720
负责人:
Professor Dr. Hartmut Ehrig (†)
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
1998
资助国家:
德国
项目状态:
已结题
起止时间:
1997-12-31 至 2006-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Behavioural simulation and equivalences of systems modelled by graph transformation
-
批准号:63444747
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr. Hartmut Ehrig (†)
-
依托单位:
Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken
-
批准号:31476443
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Professor Dr. Hartmut Ehrig (†)
-
依托单位:
Anwendung von Graphtransformation auf visuelle Modellierungssprachen
-
批准号:5081982
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr. Hartmut Ehrig (†)
-
依托单位:
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie
-
批准号:5172708
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr. Hartmut Ehrig (†)
-
依托单位:
海外基金