Eric Badouel ; Rodrigue Aimé Djeumen Djatcha - A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach

arima:5540 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, October 5, 2020, Volume 31 - 2019 - CARI 2018 - https://doi.org/10.46298/arima.5540
A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar ApproachArticle

Authors: Eric Badouel 1,2; Rodrigue Aimé Djeumen Djatcha ORCID3,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]

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.


Volume: Volume 31 - 2019 - CARI 2018
Published on: October 5, 2020
Accepted on: September 7, 2020
Submitted on: June 3, 2019
Keywords: Service Oriented Programming,Component Based Design,Interface,Guarded Attribute Grammars,Collaborative System,Role,Grammaire attribuée gardée,Système collaboratif,rôle,Conception à base de composants,[INFO]Computer Science [cs],[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

1 Document citing this article

Consultation statistics

This page has been seen 371 times.
This article's PDF has been downloaded 296 times.