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. © 2012 Springer-Verlag Berlin Heidelberg.
Author supplied keywords
Cite
CITATION STYLE
Boulanger, F., Dogui, A., Hardebolle, C., Jacquet, C., Marcadet, D., & Prodan, I. (2012). Semantic adaptation using CCSL clock constraints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7167 LNCS, pp. 104–118). https://doi.org/10.1007/978-3-642-29645-1_12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
