Specification Of OCL Constraints On ODP Computational Interfaces
Oussama Mohamed Reda, Bouabid El Ouahidi, Daniel Bourget · 2007
Abstract:- Open 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 computational 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 language. 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.