Modelling with Relational Calculus of Object, Component Systems- rCOS