Skip to Main content Skip to Navigation
Book sections

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 :
Book sections
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00740801
Contributor : Evelyne Faivre <>
Submitted on : Thursday, October 11, 2012 - 9:56:01 AM
Last modification on : Wednesday, May 27, 2020 - 7:22:04 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

269