Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama. An Axiomatic Formalization of UML Models. In Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada. Volume 7 of LNI, pages 13-28, GI, 2001.
Abstract is missing.