ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics
复制标题
ArchiTRIO：一种用于架构描述及其形式语义的 UML 兼容语言
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
D. Mandrioli
中科院分区：
文献类型：
--
作者：
Matteo Pradella;M. Rossi;D. Mandrioli
Architrio [14]是一种正式语言，它以正式的，基于逻辑的符号来补充UML 2.0概念，该概念允许用户陈述静态和动态范围，包括实时约束。在本文中，我们介绍了Architrio语言的核心概念的语义。随着Architrio的核心元素与UML 2.0（操作，接口，端口，类）的核心元素相吻合，Archadrio的语义也为构建UML 2.0的基本概念提供了正式定义。
ArchiTRIO [14] is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, including real-time constraints. In this paper we present the semantics of the core concepts of the ArchiTRIO language. As the core elements of ArchiTRIO coincide with those of UML 2.0 (operation, interface, port, class), the semantics of ArchiTRIO provides also a formal definition for the basic concepts on which UML 2.0 is built.