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 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. © IFIP International Federation for Information Processing 2005.
Author supplied keywords
Cite
CITATION STYLE
Pradella, M., Rossi, M., & Mandrioli, D. (2005). ArcfaiTRIO: A UML-compatible language for architectural description and its formal semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3731 LNCS, pp. 381–395). https://doi.org/10.1007/11562436_28
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
