Specification of OCL constraints on ODP computational interfaces

International audienceOpen Distributed Processing systems are constructed in terms of five viewpoints. The computational viewpoint which supports three sorts of interaction models imposes constraints on their corresponding computational interfaces. Computational interfaces are strongly typed so as to sustain meaningful object interaction. We address in this work the need to re-verbalize both interaction signature concepts, and, typing rules for computa-tional interfaces in order to steadily formalise them; while, preserving semantics of their initial definitions. This need comes from the fact that those initial definitions are ambiguous, because, they are described in natural lan-guage. Based on their new definitions, we shall present a consistent UML model for interaction signatures, as well as, OCL specification of typing rules concerning computational interfaces supporting those interactions