UML/OCL or Object-Z?

Abstract

UML/OCL and Object-Z are two technologies complementing each other. They show a "converging" syntax for their basic features, and are distinguished by a "diverging" syntax for their more advanced features. The objective of this paper is twofold. First, we show that for the basic features the mapping between both languages is a comorphism between their corresponding institutions. Second, we identify the advanced features in order to characterize closely the type of a potential mapping between both languages. Our approach is demonstrated through a simple example related to human resources' management in companies.