Sciweavers

Share
SAC
2006
ACM

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

9 years 1 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO 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. This paper summarizes the ArchiTRIO approach, and presents the core elements of a tool supporting it, called ArchiTRIDENT, which is currently under development. This tool is a plugin of the TRIO-based editing and verification TRIDENT tool suite. Categories and Subject Descriptors D.2.1 [Software Engineering]: Requirements/Specifications— Tools; D.2.2 [Software Engineering]: Design Tools and Techniques—Object-oriented design methods; D.2.4 [Software Engineering]: Software/Program Verification—Formal methods; D.2.11 [Software Engineering]: Software Architectures—Languages Keywords Formal methods, system architectures, real-time systems
Pietro Colombo, Matteo Pradella, Matteo Rossi
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where SAC
Authors Pietro Colombo, Matteo Pradella, Matteo Rossi
Comments (0)
books