Using UML Models for the Performance Analysis of Network Systems
A general framework for formalizing UML with formal languages