Fundierung und Semantische Standardisierung der UML V2.0

德国技术创新标准委员会(bundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesbundesHeutige Systeme zeigen teilweise spektakuläre Fehlfunktionen, weil off die Anforderungen night angemessen erfast werden der night night night night night night night night night night night night night night night night night night。在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国。在德国，人才培养与人才培养是一种有效的方法，在德国，人才培养是一种有效的方法。霍氏三苯模型分析软件[j]。Die heute am weitesten verbreitete Modelliersprache， Die统一建模语言（UML）， eröffnet neue Möglichkeiten fenden Einsatz fundierter system - entwicklunsmethoden in industriellen上下文，da eine größere Anzahl Entwickler berits im准标准UML ausgebildet ist。在《文学》中，词序、词性、词性、词性、词性、词性、词性、词性、词性和词性。参见schöpfen工程与软件项目（Werkzeuge and softwareproject）。本文介绍了基于UML的软件开发原理（Prinzip zur verf<s:1>）。Primäre Ziele des project sind (a) die Entwicklung einer präzisen, mathematischen Semantik fre die gesamte UML 2.0, und (b) die Anwendung dieser Semantik fre die Weiterentwicklung einschließlich die Verbesserung der Definition and Beschreibung der UML selbst sovele fre die Erleichterung der uml2.0模型的分析与验证。在UML 2.0的定义中，在定义中，在定义中，在定义中，在定义中，在定义中，在定义中，在定义中，在定义中，在定义中，在定义中，在定义中。Auf diese wise sollen die Komplikationen und unnötige Komplexitäten der jetzigen定义vermieden sowie Verbesserungsvorschläge fr den标准vermiitet werden。在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面，在UML的语法和语义方面。engusammenarbeit mit schlsselpersonen des omg - konsortium, das u. a. UML definiert and normmiert, stellsher .在Laufe - dieses项目erarbeiteten Vorschläge Gehör和Eingang in die Verbesserung des Standards finden werden。在此基础上，提出了一种基于语义的分析方法，并提出了一种基于语义的分析方法。Ein weiteres Ziel vorliegenden Vorhabens ist die Überprüfung der Ausdrucksmächtigkeit and die Einsetzbarkeit der UML 2.0 am Beispiel der Domäne Software fr Automobil。

Die Beherrschung der Entwicklung hoch-qualitativer, softwareintensiver, kritischer (zum Beispiel sicherheitsrelevanter oder harter Echtzeit-) Systeme ist gerade am Innovationsstandort Deutschland nach wie vor eine Herausforderung. Heutige Systeme zeigen teilweise spektakuläre Fehlfunktionen, weil oft die Anforderungen nicht angemessen erfasst werden oder nicht erfüllt sind. Ein Teil der Schwierigkeit liegt darin, dass Korrektheit oft in Konflikt mit Kosten und der Notwendigkeit zur schnellen Verfügbarkeit am Markt steht. Wenn jedoch neuartige Methoden zur Systementwicklung hohe Kosten bezüglich Personaltraining und Benutzung mit sich bringen, finden sie in der Industrie kaum Anwendung. Hoffnungen ruhen in diesen Zusammenhang auf modellgetriebene Softwareentwicklung. Die heute am weitesten verbreitete Modelliersprache, die Unified Modeling Language (UML), eröffnet neue Möglichkeiten für den Einsatz fundierter System-Entwicklungsmethoden im industriellen Kontext, da eine größere Anzahl Entwickler bereits im Quasi-Standard UML ausgebildet ist. Allerdings, und wie mehrfach in der Literatur ausgeführt, ermangelt die UML einer formalen Semantik. Deshalb schöpfen Werkzeuge und Softwareprojekte das mit der UML im Prinzip zur Verfügung stehende Potential nicht wirklich aus. Primäre Ziele des Projekts sind (a) die Entwicklung einer präzisen, mathematischen Semantik für die gesamte UML 2.0, und (b) die Anwendung dieser Semantik für die Weiterentwicklung einschließlich die Verbesserung der Definition und Beschreibung der UML selbst sowie für die Erleichterung der Analyse und Verifikation von UML 2.0 Modellen. Die grundlegende Strategie hierfür besteht in der Definition einer Kernsemantik für UML 2.0, die die wesentliche Merkmale der Sprache trifft. Auf diese Weise sollen die Komplikationen und unnötige Komplexitäten der jetzigen Definition vermieden sowie Verbesserungsvorschläge für den Standard erarbeitet werden. Dabei gilt zu betonen, dass nicht kritiklos an der Formalisierung der in informellen Termini angegebenen Syntax und Semantik der UML in ihrer kommenden Fassung {Version 2.0) gearbeitet wird. Enge Zusammenarbeit mit Schlüsselpersonen des OMG-Konsortiums, das u. a. UML definiert und normiert, stellt sicher, dass die im Laufe dieses Projekts erarbeiteten Vorschläge Gehör und Eingang in die Verbesserung des Standards finden werden. Eine unzweideutige Semantik qualifiziert die so entstehende UML für eine Reihe anspruchvoller Anwendungsgebiete, etwa in der Automobilentwicklung. Ein weiteres Ziel vorliegenden Vorhabens ist die Überprüfung der Ausdrucksmächtigkeit und die Einsetzbarkeit der UML 2.0 am Beispiel der Domäne Software für Automobil.