Fundierung und Semantische Standardisierung der UML V2.0

UML V2.0的基础和语义标准化

• 批准号: 25718906
• 负责人: Professor Dr. Manfred Broy
• 金额: --
• 依托单位: Informatik 3 - Software Engineering
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/25718906?language=en
• 关键词: Fundierung; und; Semantische; Standardisierung; der

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.

高质量、软件密集型、批判性的发展模式（如相关性更强或更具竞争力）使德国的创新水平达到了一个新的水平。Heutige System zeigen teilweise spektakuläre Fehlfunktionen，weil often die Anforderungen nicht angemessen erfasten韦尔登or nicht erfüllt sind.一个瑞士人的特点是，Korrektheit经常在Konflikt与Kosten和Notwendigkeit zur schnellen Verfügbarkeit am Markt steht。如果我们采用新的系统设计方法，我们可以在工业中找到合适的个人培训和职业发展。在这个领域，我们的目标是建立一个更好的软件模型。统一建模语言（UML）是目前最成熟的建模语言，它是一种新的面向工业背景的系统开发方法，一种基于准标准UML的高级Anzahl Entwickler。所有这些，以及在文学中的一些类似的东西，使得UML成为一种形式化的语义。Deshalb schöpfen Werkzeuge und Softwareprojekte das mit der UML im Prinzip zur Verfügung stehende Potential nichtklich aus.项目的主要目的是（a）为UML 2.0建模提供一个实用的、数学化的语义，（B）为UML 2.0模型的分析和验证提供一个语义工具。在UML 2.0的核心语义定义中，基本的语义层次最好，这是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韦尔登。首先，在他们的命令行（2.0版）中，UML的描述和语义信息的形式化并不重要。这是我们与OMG集团的合作伙伴共同努力的结果。a. UML的定义和规范，首先要明确，在韦尔登的定义和规范中，这些项目都是预先确定的。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.