[论文解读] Towards a System Model for UML. The Structural Data Model

Manfred Broy, Marı́a Victoria Cengarle+1 more|arXiv (Cornell University)|Sep 22, 2014

Model-Driven Software Engineering Techniques参考文献 12被引用 9

一句话总结

本文提出了一套形式化系统模型，作为UML 2.0的语义基础，重点在于其结构化数据模型。该模型通过形式化语义和类型理论，定义了一个分层的、抽象的面向对象、分布式系统框架，旨在为UML的规范和工具开发提供严谨的基础，其主要贡献在于通过基于数学的形式化模型，统一了UML的结构语义，该模型建立在形式化方法和类型理论的基础之上。

ABSTRACT

In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics definition. For that purpose the basic system is targeted towards UML. This document is structured as follows: In the rest of Section 1 we will discuss the general approach and highlight the main decisions. This section is important to understand the rest of this document. Section 2 contains the actual definition of the structural part of the system model. It is built in layers as described in Section 1. For brevity of the approach, we defer deeper discussions into the Appendix in Section 4. This document is part of a project on the formalization of the UML 2.0 in cooperation between the Queens University Kingston and the Technische Universitäten Braunschweig and München. This version 1.0 is the result of a longer effort to define the structure, behavior and interaction of object-oriented, possibly distributed systems abstract enough to be of general value, but also in sufficient detail for a semantic foundation of the UML. We also wish to thank external reviewers, and especially Gregor von Bochmann, Gregor Engels and Sébastien Gérard for their help.

研究动机与目标

• 建立一个形式化、数学严谨的系统模型，作为UML 2.0语义的核心基础。
• 定义一个结构化数据模型，抽象出UML类图和组件模型的核心元素。
• 通过提供精确、可扩展且可重用的语义框架，支持UML的正式规范。
• 通过明确定义的语义基础，实现UML模型的一致性工具支持与验证。
• 通过在足够抽象与细节之间取得平衡，推动UML整体形式化的进程，重点解决结构方面的问题。

提出的方法

• 定义系统模型的分层架构，从基本类型开始，逐步构建复杂结构构造。
• 使用形式类型理论和集合论基础，对类、属性、关联和约束进行建模。
• 引入分层结构，每一层均建立在前一层之上，确保模块化与清晰性。
• 将形式化语义应用于UML组件和类图，捕捉结构关系与约束。
• 通过集合、函数和关系等数学构造，定义结构元素的语义。
• 基于慕尼黑工业大学（TU Munich）和金斯顿皇后大学（Queens University Kingston）的前期工作，确保与UML标准和形式化方法原则的一致性。

实验结果

研究问题

• RQ1 如何构建一个形式化系统模型，作为UML 2.0的语义基础？
• RQ2 需要哪些形式化机制，才能精确捕捉UML类图与组件图的结构元素？
• RQ3 该模型如何在保证通用适用性的抽象性与支持UML工具开发与验证的细节之间取得平衡？
• RQ4 何种分层策略能确保UML结构语义定义的模块化与可扩展性？
• RQ5 所提出的模型如何实现基于UML的系统设计与分析中的一致性与正确性？

主要发现

• 本文成功定义了一个分层系统模型，利用数学构造形式化地表达了UML 2.0的结构方面。
• 该模型为UML类图与组件图提供了精确的语义基础，支持对系统结构的正式推理。
• 该方法在抽象性与细节之间取得良好平衡，适用于理论分析与实际工具集成。
• 该模型建立在形式化方法与类型理论基础之上，确保了结构建模的一致性与正确性。
• 该工作推动了UML整体形式化的进程，其结构模型为行为语义与交互语义的形式化奠定了前提基础。
• 该模型以技术报告（TUM-I0612）形式发布，并作为学术机构间合作项目的一部分，体现出其学术与工业相关性。