Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services Adaptation

Mickael Kerboeuf 1 Jean-Pierre Talpin 2
1 Lab-STICC_UBO_CACS_MOCS
UBO - Université de Brest, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Because it encourages the incremental development of software and the reuse of code by abstracting away implementation details, object orientation is an intuitive and sensible way to conceive large software out of existing application components and libraries. In practice, however, object-orientation is most of the time applied and used with sequentiality in mind. This practice may sometimes be conceptually inadequate for, eg., control-dominated reactive system components. We address this issue by proposing a process calculus that melts the paradigm of synchronous programming to key object-oriented features: encapsulation and behavioral inheritance with overriding by means of specific algebraic concurrency combinators. This framework provides support for the reuse of components and, more specifically, for the adaptation of embedded systems with new services. Cast in the context of a strict interpretation of the synchronous hypothesis, the proposed model supports a static interpretation of inheritance: overriding is resolved at compile-time (or link-time) and inheritance combinators are translated into primitive synchronous ones. This compilation technique puts object-orientation to work in a syntax-oriented model of synchronous concurrency that naturally supports the incremental, refinement-based design of concurrent systems starting from encapsulated and reused application components. The benefits of our approach are illustrated by a concrete and practical example: the adaptation of services to a plain old telephone service specification.
Type de document :
Article dans une revue
The Journal of Logic and Algebraic Programming, 2005, 63 (2), pp.241-269. 〈10.1016/j.jlap.2004.05.005〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00546408
Contributeur : Thierry Gautier <>
Soumis le : mardi 14 décembre 2010 - 11:30:17
Dernière modification le : jeudi 29 novembre 2018 - 16:52:09
Document(s) archivé(s) le : mardi 15 mars 2011 - 03:17:36

Fichier

jlap04.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Mickael Kerboeuf, Jean-Pierre Talpin. Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services Adaptation. The Journal of Logic and Algebraic Programming, 2005, 63 (2), pp.241-269. 〈10.1016/j.jlap.2004.05.005〉. 〈hal-00546408〉

Partager

Métriques

Consultations de la notice

445

Téléchargements de fichiers

129