Open distributed processing. Specifying OCL2.0 constraints on interfaces of the ODP applications

International audience; In this work, we model the ODP interaction signatures concepts in a consistent and compact manner as well as their related type checking rules. We begin by literally analyzing those concepts in order to bring unambiguous definitions out of them, and we shall formalize those concepts by mapping them into UML language constructs. Then we specify constraints imposed on interfaces interaction signatures related to the computational language typing and subtyping rules. We shall show how we can literally redefine those rules in order to steadily formalize them. After rewriting those rules in a compact, we make use of OCL 2.0 which provides the means to exploit those new definitions.