Fundierung und Semantische Standardisierung der UML V2.0

软件增强器、软件增强器和软件增强器。这是一种很好的制度，我们经常这样做，但这并不是一件容易的事。我喜欢德国人喜欢的东西，因为他们经常在Konflikt MIT Kosten and der Notwendigkeit zur Schnellen Verfügbarkeit am Markt steht。WENN Jedoch neuartige Methoden zur Systement wickung Hohe Kosten Bezüglich PersonalTrading and Benutzung MIT Sich带来，找到了Der Industrie Kaum Anwendung。如果你在我的办公室里，你会发现他的软件是这样的。我们使用统一建模语言(UML语言)、统一建模语言(UML语言)、Eeröffnet Neue Möglichkeiten für den einatz Fundierter System-EntwicklugsMethoden im Industriellen Kontext，da eine Gröçere Anzahl Entwickler beeits im准标准的UMLaugebildet ist。所有的一切，和我们在文学作品中所看到的一切，都是形式化的。Deshalb Schöpfen Werkzeuge and SoftwareProjekte das MIT der uml im Prince zip zur Verfügung stehende潜在的Nicht wirklich Aus.Primäre Ziele des Projekts sind(A)die Entwicklug einer präzisen，mamaatischen Semantik für die gesamte UML2.0，and(B)die Anwendung dieser Semantik für die Weiterentwickular einschlieich die Verbeserung der Definition and Beschreibung der UMLSelbst Sowie für die Erleichterung der Analyze and Verifikation von UML2.0 Moellen.De grundLegende Strategie Hifür是在UML2.0的定义中定义的，所以我们不会将其添加到应用程序中。AUF Diese Weise Sollen die Komplikationen and unnötige Komplexitäten der jetzigen Definition vermieden Sowie Serungsvorschläge für den Standard erarbeitet den.Dass gilt zu betonen，dass niht kritiklos and der Formalisierung der in informellen Termini angegebenen语法and Semantik der UML in ihrer kommenden Fassung(Version 2.0)Gearbeet wird.在国际标准的基础上，我们将为您提供统一建模语言的定义和规范，以及更多的标准。我们有资格参加比赛，所以在汽车行业中，他们都有资格参加比赛。在UML2.0 am Beispiel der Domäne Software für Automobil中，Ein weiteres Ziel vorliegenden Vorhabens ist dieúberprüFung der Ausdrucksmächtigkeit and die Einsetzbarkeit der UML2.0 am Beispiel der Domäne Software für 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.