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 con- cepts 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.
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics
PRADELLA, MATTEO;ROSSI, MATTEO GIOVANNI;MANDRIOLI, DINO
2006-01-01
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 real- time constraints. In this paper we present the semantics of the core con- cepts 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FORTE_05-Camera-Ready.pdf
Accesso riservato
:
Altro materiale allegato
Dimensione
168.33 kB
Formato
Adobe PDF
|
168.33 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
