Specification of OCL constraints on ODP computational interfaces

  • Authors:
  • Oussama Reda;Bouabid El Ouahidi;Daniel Bourget

  • Affiliations:
  • Mohammed-V University, Faculty of Sciences, Dept of Computer Sciences, Ibn Battouta, Rabat, Morocco;Mohammed-V University, Faculty of Sciences, Dept of Computer Sciences, Ibn Battouta, Rabat, Morocco;ENST Bretagne, Dept of Computer Sciences, Technopôle Iroise, Brest, France

  • Venue:
  • AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.