Formalization of Object Behavior and Interactions from UML Models

John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu. Formalization of Object Behavior and Interactions from UML Models. International Journal of Software Engineering and Knowledge Engineering, 11(6):643-673, 2001.

@article{SaldhanaSH01,
  title = {Formalization of Object Behavior and Interactions from UML Models},
  author = {John Anil Saldhana and Sol M. Shatz and Zhaoxia Hu},
  year = {2001},
  tags = {meta-model, UML, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/SaldhanaSH01},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  volume = {11},
  number = {6},
  pages = {643-673},
}