Skip to Main content Skip to Navigation
Journal articles

Typing rules OCL specification of QoS-capable ODP Computational Interfaces

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
Document type :
Journal articles
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01286648
Contributor : Coordination Episciences Iam <>
Submitted on : Friday, March 11, 2016 - 11:06:55 AM
Last modification on : Wednesday, June 24, 2020 - 4:18:23 PM
Long-term archiving on: : Monday, June 13, 2016 - 9:40:14 AM

File

Arima2010CARI08SP.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01286648, version 1

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⟩

Share

Metrics

Record views

185

Files downloads

638