Professional Documents
Culture Documents
UML offers a diverse range of diagram types for describing static and
dynamic elements of a system under development, as well as modeling
user requirements, system components, their relationships, and internal
behavior.
• TRIO allows the designer to formally express both the structural and
real-time features of the system to be developed, integrating sound
OO abstraction strategies like information hiding, inheritance, and
genericity with the clarity of logic requirements.
• TRIO combines graphical and textual descriptions; the latter specify
behavioral properties as logic formulas