Mathematical Formalization of Object Orientation

In the following number of posts I will give a brief overview of a mathematical formalization of object orientation. Rather than boring you with the mathematical details I will give an intuitive understanding of the formalization by providing illustrative examples. If you are keen on diving into the mathematical details, you are welcome to consult Scenario Testing Using OWL.