Skip to Main content Skip to Navigation
New interface
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 metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02145920
Contributor : Eric Badouel Connect in order to contact the contributor
Submitted on : Monday, October 5, 2020 - 11:12:12 AM
Last modification on : Tuesday, October 25, 2022 - 4:23:19 PM

File

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

Identifiers

Citation

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⟩

Share

Metrics

Record views

242

Files downloads

746