Skip to Main content Skip to Navigation
Conference papers

Semantic Adaptation using CCSL Clock Constraints

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Evelyne Faivre Connect in order to contact the contributor
Submitted on : Tuesday, November 15, 2011 - 4:52:56 PM
Last modification on : Thursday, September 23, 2021 - 3:54:04 PM


  • HAL Id : hal-00641413, version 1



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⟩



Les métriques sont temporairement indisponibles