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⟩
109 Consultations
112 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More