Comments on "A formal semantics for object model diagrams" | IEEE Journals & Magazine | IEEE Xplore