Consistent Semantics for ODP Information and Computational Models

We tackle two important ODP viewpoints, namely the information and the computational. We first provide formal semantics for object diagrams of some popular application development methodologies (such as OMT and Fusion) and show how these notations support ODP information modeling. We also formalize an essential part of the ODP computational viewpoint including the concepts of distributed objects and concurrent serializable activities. We then complement the two semantics by providing rules for consistent mappings between the two models.