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

  title={ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics},
  author={Matteo Pradella and Matteo Rossi and Dino Mandrioli},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications citing this paper.
Showing 1-9 of 9 extracted citations

Software Technologies: Applications and Foundations

Lecture Notes in Computer Science • 2016
View 11 Excerpts
Highly Influenced

Towards a formal model of autonomic services based on SelfLets

2009 ICSE Workshop on Principles of Engineering Service Oriented Systems • 2009
View 4 Excerpts

Modeling the Environment in Software-Intensive Systems

International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007) • 2007
View 3 Excerpts


Publications referenced by this paper.
Showing 1-10 of 15 references

On Object Systems and Behavioral Inheritance

IEEE Trans. Software Eng. • 2002
View 4 Excerpts
Highly Influenced

A formal semantics of UML sequence diagram

2004 Australian Software Engineering Conference. Proceedings. • 2004
View 1 Excerpt

Higher-order TRIO

C. A. Furia, D. Mandrioli, +3 authors P. San Pietro
Technical report, • 2004
View 1 Excerpt

Quaroni , and M . Venturelli . UML and formal notations for modelling real - time systems

G. Lavazza

Similar Papers

Loading similar papers…