Metamodels and Verification Rules for Verifying the Correctness of UML Diagrams

[1]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[2]  Padmanabhan Krishnan.  Consistency checks for UML , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.