Skip to main contentSkip to search
Episciences
Open Access Journals
|Sign in(new window)
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées
|Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSpecial issuesAuthors
About
The journalIndexingNewsStatistics
Boards
Publish
For authorsEthical charterFor reviewersProposing special issues
Submit
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Contact
|
Credits
eISSN 1638-5713
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  2. Articles >
  3. A Calculus of Interf ...
Article

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

Eric Badouel (1) (2), Rodrigue Aimé Djeumen Djatcha ORCID (3) (2)
(1) SUpervision of large MOdular and distributed systems
(2) Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
(3) Faculté des Sciences [Douala]
Download article
Open on HAL
Submitted on
June 3, 2019
Accepted on
September 7, 2020
Published on
October 5, 2020
Last modified on
March 31, 2025
Special issue 31
Volume 31 - 2019 - CARI 2018
DOI
10.46298/arima.5540
License
https://www.etalab.gouv.fr/wp-content/uploads/2017/04/ETALAB-Licence-Ouverte-v2.0.pdf
Indicators
780
Views
612
Downloads

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

Eric Badouel (1) (2), Rodrigue Aimé Djeumen Djatcha ORCID (3) (2)
(1) SUpervision of large MOdular and distributed systems
(2) Laboratoire International de Recherche en Informatique et Mathématiques Appliquées
(3) Faculté des Sciences [Douala]
Abstract
English
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.
French
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.
Keywords
English
  • [INFO]Computer Science [cs]
  • [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
  • Service Oriented Programming
  • Component Based Design
  • Interface
  • Guarded Attribute Grammars
  • Collaborative System
  • Role
French
  • Grammaire attribuée gardée
  • Système collaboratif
  • rôle
  • Conception à base de composants
Cited by

Source: OpenCitations

  • A Service Composition Engine for Incremental Computation

    Communications in computer and information science

    Authors : Joskel Ngoufo Tagueu ORCID, Adrián Puerto Aubel ORCID, Maurice Tchoupe Tchendji ORCID

    Journal reference : Volume , 2025, pp. 156-171

    DOI : 10.1007/978-3-031-88226-5_11
  • Guarded attribute grammars and publish/subscribe for implementing distributed collaborative business processes with high data availability

    Service Oriented Computing and Applications

    Authors : Maurice Tchoupe Tchendji ORCID, Joskel Ngoufo Tagueu ORCID

    Journal reference : Volume 15, 2021, pp. 245-256

    DOI : 10.1007/s11761-021-00319-z
Preview
Loading PDF preview...