Skip to Main content Skip to Navigation
Journal articles

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

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.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02145920
Contributor : Eric Badouel <>
Submitted on : Monday, October 5, 2020 - 11:12:12 AM
Last modification on : Tuesday, October 20, 2020 - 8:22:27 AM

File

ARIMA-Vol31-59-74.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02145920, version 3

Citation

Eric Badouel, Rodrigue Aimé Djeumen Djatcha. A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2020, Special issue CARI 2018, Volume 31 - 2019 - CARI 2018, pp.16. ⟨hal-02145920v3⟩

Share

Metrics

Record views

39

Files downloads

63