Java Implementation of a Component Model with Explicit Symbolic Protocols

Component-Based Software Engineering (CBSE) has now emerged as a discipline for system development. An important issue is to fill the gap between high-level models (needed for analysis) and implementation. This paper describes a component model with explicit symbolic protocols based on Symbolic Transition Systems (STSs), and its implementation in Java. This implementation relies on controllers that encapsulate protocols and channels devoted to (possibly remote) communications between components.

Mots clés

CBSE Behavioural IDL Explicit Protocols Symbolic Transition Systems Java Controllers Channels

Domaines

Langage de programmation [cs.PL] Système multi-agents [cs.MA] Génie logiciel [cs.SE] Web

Fichier principal

PavelNoyePoizatRoyer-SC05.pdf (125.76 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Frédéric Davesne : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00342152

Soumis le : jeudi 11 mai 2023-12:16:35

Dernière modification le : mardi 19 novembre 2024-20:10:00

Archivage à long terme le : samedi 12 août 2023-18:39:58

Dates et versions

hal-00342152 , version 1 (11-05-2023)

Licence

Paternité

Identifiants

HAL Id : hal-00342152 , version 1
DOI : 10.1007/11550679_9

Citer

Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols. Software Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩. ⟨hal-00342152⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA UNIV-EVRY LINA IBISC LINA-ASCOLA INFO INRIA2 LS2N IMT-ATLANTIQUE NANTES-UNIVERSITE INSTITUT-MINES-TELECOM

324 Consultations

62 Téléchargements