A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach - Archive ouverte HAL Access content directly
Journal Articles Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Year : 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

(1, 2) , (3, 2)
1
2
3

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Open licence - etalab

Identifiers

Cite

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⟩
242 View
746 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More