Semantic Adaptation using CCSL Clock Constraints - CentraleSupélec Access content directly
Book Sections Year : 2012

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.
No file

Dates and versions

hal-00740801 , version 1 (11-10-2012)

Identifiers

Cite

Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, et al.. Semantic Adaptation using CCSL Clock Constraints. Jörg Kienzle. Models in Software Engineering, Springer-Verlag, pp.104-118, 2012, LNCS - Lecture Notes in Computer Science, ⟨10.1007/978-3-642-29645-1_12⟩. ⟨hal-00740801⟩
40 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More