UML复合材料结构的良构性和分类规则
Well-formedness and typing rules for UML Composite Structures
摘要：
从2.0版开始，UML引入了层次复合结构，这是一种定义复杂软件架构的表达方式，但在标准中定义的语义非常松散。在本文中，我们提出了一套一致性规则，消除歧义的UML复合结构的意义。我们的主要目标是为OMEGA UML概要文件提供一个复合结构的操作模型，OMEGA UML概要文件是一个可执行的概要文件，专门用于实时系统的正式规范和验证，在我们过去参与的一个项目中开发。然而，这里陈述的规则和原则适用于基于相同概念的其他分层组件模型，例如SysML。本报告中描述的OCL形式化支持所提出的规则。这种形式化应用于不同的复杂模型的评估和验证所提出的原则。
英文摘要：
Starting from version 2.0, UML introduced hierarchical composite structures, which are an expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that disambiguate the meaning of UML composite structures. Our primary goal was to have an operational model of composite structures for the OMEGA UML profile, an executable profile dedicated to the formal specification and validation of real-time systems, developed in a past project to which we contributed. However, the rules and principles stated here are applicable to other hierarchical component models based on the same concepts, such as SysML. The presented ruleset is supported by an OCL formalization which is described in this report. This formalization was applied on different complex models for the evaluation and validation of the proposed principles.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
