Reifying the Semantic Domains of Component Contracts - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Reifying the Semantic Domains of Component Contracts

Résumé

In domains such as automotive or avionics, software cannot any longer be produced as a single chunk, and engineers are contemplating the possibility of componentizing it. A component only exhibits its provided or required interfaces, which must be enriched to take into account extra-functional aspects. This defines multi-level {\em contracts} between components allowing one to properly wire them. Instead of defining an integrated language only making available a limited set of concepts for modeling extra-functional aspects, we propose to handle open-ended modeling of extra-functional aspects of real-time and embedded systems, based on meta-modeling techniques and Model Driven Engineering (MDE) for reifying their semantics. Then the designer can use off-the-shelf tools to perform various kinds of design time analysis.
Fichier principal
Vignette du fichier
Jezequel06c.pdf (96.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00512546 , version 1 (30-08-2010)

Identifiants

  • HAL Id : inria-00512546 , version 1

Citer

Jean-Marc Jézéquel. Reifying the Semantic Domains of Component Contracts. 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, 2006, Braga, Portugal, Portugal. ⟨inria-00512546⟩
102 Consultations
111 Téléchargements

Partager

Gmail Facebook X LinkedIn More