ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics

Abstract

Abstract. 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 realtime 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.

Modeling the Environment in Software-Intensive Systems

“…While we will explain the features of ArchiTRIO when appropriate, a presentation of its syntax and semantics is beyond the scope of the present article, and is omitted; the interested reader can refer to [6] for further details about the notation. Of course, other notations with similar features could be used to pursue the same approach.…”

“…ArchiTRIO [6] is a UML-compatible formal language which, at its core, has a very expressive and general metric temporal logic that permits to describe the dynamics and temporal constraints of the phenomena of interest (be they in the environment or in the machine domain). It is endowed with the modular constructs and encapsulation mechanisms of UML such as class and interface, which retain the same meaning and graphical representation they have in UML.…”

“…The goal of the traffic system is to ensure "orderly safe traffic". Let us formally define it through the ArchiTRIO formal language [6].…”

A UML 2-compatible language and tool for formal modeling real-time system architectures

“…[13] presents the principles behind the language and suggests guidelines for its application, while [12] deals with its formal semantics. Both articles compare the ArchiTRIO approach with existing ones, especially with the Object Constraint Language (OCL, [9]), and highlight the differences and the novelties of the former.…”

“…To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. ArchiTRIO [13,12] is a language designed to instill formality in a subset of the UML 2.0 notation [10]. The key idea at the core of the development of ArchiTRIO is to complement the UML notation of class and composite structure diagrams [10] with a temporal logic-based notation.…”