Semantic Adaptation using CCSL Clock Constraints - CentraleSupélec Access content directly
Conference Papers Year : 2011

Semantic Adaptation using CCSL Clock Constraints

Ayman Dogui
  • Function : Author
Christophe Jacquet
  • Function : Author
  • PersonId : 942953
Dominique Marcadet
Iuliana Prodan
  • Function : Author

Abstract

When different parts of a system depend on different technical domains, the best suitable paradigm for modeling each part may differ. In this paper, we focus on the semantic adaptation between parts of a model which use different modeling paradigms in the context of model composition. We show how CCSL, a language for defining constraints and relations on clocks, can be used to define this semantic adaptation in a formal and modular way.
No file

Dates and versions

hal-00641413 , version 1 (15-11-2011)

Identifiers

  • HAL Id : hal-00641413 , version 1

Cite

Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, et al.. Semantic Adaptation using CCSL Clock Constraints. The 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p. ⟨hal-00641413⟩
46 View
0 Download

Share

Gmail Facebook X LinkedIn More