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.
Chapter PDF
Similar content being viewed by others
References
Balsters, H., Fokkinga, M.M.: Subtyping can have a simple semantics. Theoretical Computer Science 87(1), 81–96 (1991)
Ciapessoni, E., Coen-Porisini, A., Crivelli, E., Mandrioli, D., Mirandola, P., Morzenti, A.: From formal models to formally-based methods: an industrial experience. ACM TOSEM 8(1), 79–113 (1999)
Eclipse Foundation, http://www.eclipse.org
Furia, C.A., Mandrioli, D., Morzenti, A., Pradella, M., Rossi, M., San Pietro, P.: Higher-order TRIO. Technical report, DEI, Politecnico di Milano (2004)
Gargantini, A., Morzenti, A.: Automated deductive requirements analysis of critical systems. ACM TOSEM 3(3), 225–307 (2001)
Giese, H., Tichy, M., Burmester, S., Flake, S.: Towards the compositional verification of real-time uml designs. In: Proc. of ESEC/FSE 2003, pp. 38–47 (2003)
Object Management Group. UML 2.0 OCL specification, Technical report, OMG, ptc/03-10-14 (2003)
Object Management Group. UML 2.0 superstructure specification, Technical report, OMG, ptc/03-08-02 (2003)
Harel, D., Kupferman, O.: On object systems and behavioral inheritance. IEEE Transactions on Software Engineering 28(9), 889–903 (2002)
Lam, V.S.W., Padget, J.: Formalization of uml statechart diagrams in the π-calculus. In: Proc. of the 2001 Australian Soft. Eng. Conf., pp. 213–223 (2001)
Lavazza, L., Quaroni, G., Venturelli, M.: UML and formal notations for modelling real-time systems. In: Proc. of ESEC/FSE 2001, pp. 196–206 (2001)
Li, X., Liu, Z., Jifeng, H.: A formal semantics of UML sequence diagram. In: Proc. of the 2004 Australian Soft. Eng. Conf., pp. 168–177 (2004)
McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: Proceedings of the 23rd ICSE, pp. 433–442 (2001)
Pradella, M., Rossi, M., Mandrioli, D.: A UML-compatible formal language for system architecture description. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 234–246. Springer, Heidelberg (2005)
Flake, S., Mueller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Software and Systems Modeling 2(3), 164–186 (2003)
Saiedian, H., Bowen, J.P., Butler, R.W., Dill, D.L., Glass, R.L., Gries, D., Hall, A., Hinchey, M.G., Holloway, C.M., Jackson, D., Jones, C.B., Luts, M.J., Parnas, D.L., Rushby, J., Wing, J., Zave, P.: An invitation to formal methods. IEEE Computer 29(4), 16–30 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Pradella, M., Rossi, M., Mandrioli, D. (2005). ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_28
Download citation
DOI: https://doi.org/10.1007/11562436_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)