 |
 |
Oussama Reda ; Bouabid EL OUAHIDI ; Daniel BOURGET - Typing rules OCL specification of QoS-capable ODP Computational Interfaces
arima:1922 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 24 septembre 2009, Volume 11, 2009 - numéro spécial CARI 2008 - https://doi.org/10.46298/arima.1922- 1 Département d’informatique
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