Formal Framework for the Development of Concurrent Object-Based Systems -- A Formal