A UML-Compatible formal language for system architecture description

Authors:
Matteo Pradella;Matteo Rossi;Dino Mandrioli
Affiliations:
Consiglio Nazionale delle Ricerche – Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni (CNR-IEIIT-MT), Milano, Italy;Dipartimento di Elettronica ed Informazione, Politecnico di Milano, Milano, Italy;Dipartimento di Elettronica ed Informazione, Politecnico di Milano, Milano, Italy
Venue:
SDL'05 Proceedings of the 12th international conference on Model Driven
Year:
2005

Citing 10
Cited 2

A general framework for formalizing UML with formal languages

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Automated deductive requirements analysis of critical systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Combining UML and formal notations for modelling real-time systems

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling software architectures in the Unified Modeling Language

ACM Transactions on Software Engineering and Methodology (TOSEM)
Systems Engineering with SDL: Developing Performance-Critical Communication

Systems Engineering with SDL: Developing Performance-Critical Communication
An Invitation to Formal Methods

Computer
Towards the compositional verification of real-time UML designs

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A formal approach for designing CORBA-based applications

ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Semantics of UML Sequence Diagram

ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
A formal approach for modeling and verification of RTCORBA-based applications

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis

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

Proceedings of the 2006 ACM symposium on Applied computing
ArchiTRIO: a UML-Compatible language for architectural description and its formal semantics

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents ArchiTRIO (Architectural TRIO), a new temporal logic language which combines a subset of the UML notation with a precise formal semantics inspired from the authors' experiences. ArchiTRIO allows developers to use standard UML 2.0 notation to describe non-critical aspects of systems, but it also offers a complementary formal notation, fully integrated with the UML one, to represent those system aspects that require precise modeling.