Christophe Jacquet: Research and Teaching

Publications >

Conference paper:

Semantic Adaptation for Models of Computation

Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet

Proceedings of ACSD 2011 (Application of Concurrency to System Design), June 2011. pp. 153-162. IEEE Computer Society.

Jump to: Download | Abstract | Text Reference | BibTeX Reference

Download

Abstract

In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computation used for modeling the subsystems. Through the example of a power window system, this article presents an approach to the specification of the semantic adaptation of data, time and control between models of computation. The approach is supported by ModHel'X, a heterogeneous modeling and simulation environment. The example is simple enough to be completely described in the article, but rich enough to illustrate the matters of (a) defining models of computation, and (b) specifying the semantic adaptation between models of computation.

Text Reference

Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet. “Semantic Adaptation for Models of Computation”. Proceedings of ACSD 2011 (Application of Concurrency to System Design), June 2011. pp. 153-162. IEEE Computer Society.

BibTeX Reference

@InProceedings{ boulanger2011acsd,
    author = {Frédéric Boulanger and Cécile Hardebolle and Christophe Jacquet and Dominique Marcadet},
    publisher = {{IEEE Computer Society}},
    title = {{Semantic Adaptation for Models of Computation}},
    booktitle = {{Proceedings of ACSD 2011 (Application of Concurrency to System Design)}},
    corerank = {B},
    month = {June},
    pages = {153-162},
    year = {2011},
}