Typing rules OCL specification of QoS-capable ODP Computational Interfaces

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
Type de document :
Article dans une revue
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2009, 11, pp.17-36
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01286648
Contributeur : Coordination Episciences Iam <>
Soumis le : vendredi 11 mars 2016 - 11:06:55
Dernière modification le : vendredi 22 juin 2018 - 09:27:19
Document(s) archivé(s) le : lundi 13 juin 2016 - 09:40:14

Fichier

Arima2010CARI08SP.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01286648, version 1

Collections

Citation

Oussama Reda, Bouabid El Ouahidi, Daniel Bourget. Typing rules OCL specification of QoS-capable ODP Computational Interfaces. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2009, 11, pp.17-36. 〈hal-01286648〉

Partager

Métriques

Consultations de la notice

71

Téléchargements de fichiers

115