Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach.

Xudong He

Browse the full COMPSAC paper archive.