Object-Oriented Component-based Design using Behavioral Contracts: Application to Railway Systems - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

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

Sebti Mouelhi
  • Fonction : Auteur correspondant
  • PersonId : 963032

Connectez-vous pour contacter l'auteur
Hassan Mountassir
  • Fonction : Auteur
  • PersonId : 963034

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)
Loading...

Dates et versions

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

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⟩
1026 Consultations
155 Téléchargements

Partager

Gmail Facebook X LinkedIn More