arima

Volume 11 -Numéro spécial CARI 2008 - Marc Kokou Assogba

Fiche article :

bouclier
spacer

 

Typing rules OCL specification of QoS-capable ODP Computational Interfaces


Oussama Reda 1, Bouabid El Ouahidi2, Daniel Bourget 2


1 Département d’informatique
Faculté des Sciences Rabat
B.P. 10 14 Rabat
Maroc
2 Département d’informatique
Telecom Bretagne Technopole de l’Iroise

RÉSUMÉ.

Dans ce travail, nous analysons le concept ODP de signatures d’interfaces de traitement et leurs règles de typages, le but étant de redéfinir les signatures de manière concise et compacte. Pour cela, nous modélisons les signatures par des concepts UML équivalents. Ensuite, nous spécifieons des contraintes imposées sur ces signatures d’interfaces de traitement ODP liées aux règles de typages et sous-typages. Nous allons montrer également comment nous pouvons littéralement redéfinir ces règles afin de mieux les formaliser en utilisant OCL 2.0. Par la suite nous introduisons trois nouveaux concepts qui sont: functional computational interfaces, QoS-definable interactions and QoS-capable interfaces. Finalement, nous définissons les règles typologiques relatives aux QoS-capable interfaces et les spécifions en OCL 2.0

ABSTRACT.

In this work we model the interaction signature concepts in a consistent and compact manner as well as their related type checking rules. First, we begin by literally analyzing those concepts in order to bring unambiguous definitions out of them. Following this analysis we shall formalize those concepts by mapping them into UML language constructs. Secondly, we specify constraints imposed on computational interfaces interaction signatures related to the computational language typing and subtyping rules. We shall show how we can we literally redefine those rules in order to steadily formalize them. After rewriting those rules in a compact way, we make use of OCL 2.0 which provides the means to exploit those new definitions. Then we introduce the concept of Functional computational interface and a set of related concepts which unify signal and operation interfaces notions. Based on the new additional concepts introduced, we introduce two new important concepts, namely; QoS-definable interactions and QoS-capable interfaces. We then provide a UML metamodel of interfaces and interaction signatures. The final metamodel being a first step towards a QoS-capable computational metamodel. Finally, as an application of our modeling choices we define ODP QoScapable computational interfaces type checking rules and then specify them using OCL 2.0

 

MOTS-CLÉS : ODP, point de vue traitement, UML, OCL, Meta-modélisation, signature d’interface, QoS, règles de typages

KEYWORDS : ODP, Computational Viewpoint, UML, OCL, Meta Modeling, Interaction Interface signature, QoS, Type Checking Rules

spacer
spacer
 présentation
    description

 accès aux articles
    online access

 nouvelles parutions
    recent articles

 comité de rédaction
    editorial board

 abonnements
    subscriptions

 soumission
    submission

 instructions auteurs
    author information

 contact

spacer

A R I M A  arima-office@inria.fr

  haut de page