A Formal Framework of UML and its Application
Zhou Ji · 2005
This paper describes a metrics-oriented algebraic representation for UML Class, Sequence, and State Tran- sition diagrams. The paper uses an example to illustrate how to transform between UML graphical and algebraic rep- resentations; the transformation serves as the basis of automated generation of algebraic UML during design. The al- gebraic representation of object-oriented design provides a foundation for design model checking.