文章基本信息

标题：Semantic Adaptation using CCSL Clock Constraints
本地全文：下载
作者：Frédéric Boulanger ; Ayman Dogui ; Cécile Hardebolle 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2012
卷号：50
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.