Rapport (Rapport De Recherche) Année : 2015

Object-Oriented Component-based Design using Behavioral Contracts: Application to Railway Systems

Résumé

In this report, we propose a formal approach for the design of object-oriented component- based systems using behavioral contracts. This formalism merges interface automata describing communication protocols of components with the semantics of their operations. On grounds of consistency with the object-oriented paradigms, we revisit the notions of incremental design and independent implementability of interface automata by novel definitions of components compatibility, composition, and refinement. Our work is illustrated by a design case study of CBTC railway systems.

Fichier principal
Vignette du fichier
rr-bconts-final.pdf (1.43 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01102947 , version 1 (13-01-2015)
hal-01102947 , version 2 (12-09-2015)

Licence

Identifiants

  • HAL Id : hal-01102947 , version 2

Citer

Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir. Object-Oriented Component-based Design using Behavioral Contracts: Application to Railway Systems. [Research Report] FEMTO-ST. 2015. ⟨hal-01102947v2⟩
1121 Consultations
280 Téléchargements

Partager

  • More