课题基金 / 基金详情

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

项目摘要

项目成果

Professor Dr. Hartmut Ehrig (†)的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken
Anwendung von Graphtransformation auf visuelle Modellierungssprachen
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie
海外基金