On formalization of the whole-part relationship in the Unified Modeling Language | IEEE Journals & Magazine | IEEE Xplore