An Axiomatic Formalization of UML Models

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.

@inproceedings{AokiTK01,
  title = {An Axiomatic Formalization of UML Models},
  author = {Toshiaki Aoki and Takaaki Tateishi and Takuya Katayama},
  year = {2001},
  tags = {meta-model, UML, Meta-Environment},
  researchr = {https://researchr.org/publication/AokiTK01},
  cites = {0},
  citedby = {0},
  pages = {13-28},
  booktitle = {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},
  editor = {Andy Evans and Robert B. France and Ana M. D. Moreira and Bernhard Rumpe},
  volume = {7},
  series = {LNI},
  publisher = {GI},
  isbn = {3-88579-335-0},
}