A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Année : 2020

A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach

Un calcul d'interfaces pour les grammaires attribuées gardées

Résumé

We address the problem of component reuse in the context of service-oriented programming and more specifically for the design of user-centric distributed collaborative systems modelled by Guarded Attribute Grammars. Following the contract-based specification of components we devel-opp an approach to an interface theory for the components of a collaborative system in three stages: we define a composition of interfaces that specifies how the component behaves with respect to its environement, we introduce an implementation order on interfaces and finally a residual operation on interfaces characterizing the systems that, when composed with a given component, can complement it in order to realize a global specification.
Nous abordons le problème de la réutilisation des composants dans le contexte de la programmation orientée services et plus spécifiquement pour la conception de systèmes collaboratifs distribués centrés sur l'utilisateur modélisés par des grammaires attribuées gardées. En suivant la démarche de la spécification contractuelle des composants, nous développons une approche de la théorie des interfaces pour les composants d'un système collaboratif en trois étapes: on définit une composition d'interfaces qui spécifie comment le composant se comporte par rapport à son environnement, on introduit un ordre d'implémentation sur les interfaces et enfin une opération de résidus sur les interfaces qui caractérise les systèmes qui, lorsqu'ils sont composés avec un composant donné, peuvent le compléter afin de réaliser une spécification du système global.
Fichier principal
Vignette du fichier
ARIMA-Vol31-59-74.pdf (933.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02145920 , version 1 (03-06-2019)
hal-02145920 , version 2 (24-07-2020)
hal-02145920 , version 3 (05-10-2020)

Licence

Licence Ouverte - etalab

Identifiants

Citer

Eric Badouel, Rodrigue Aimé Djeumen Djatcha. A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2020, Special issue CARI 2018, Volume 31 - 2019 - CARI 2018, pp.1-16. ⟨10.46298/arima.5540⟩. ⟨hal-02145920v3⟩
270 Consultations
978 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More