Semantic adaptation using CCSL clock constraints

Authors:
Frédéric Boulanger;Ayman Dogui;Cécile Hardebolle;Christophe Jacquet;Dominique Marcadet;Iuliana Prodan
Affiliations:
Computer Science Department, Supelec Systems Sciences (E3S), Gif-sur-Yvette, France;Computer Science Department, Supelec Systems Sciences (E3S), Gif-sur-Yvette, France;Computer Science Department, Supelec Systems Sciences (E3S), Gif-sur-Yvette, France;Computer Science Department, Supelec Systems Sciences (E3S), Gif-sur-Yvette, France;Computer Science Department, Supelec Systems Sciences (E3S), Gif-sur-Yvette, France;Computer Science Department, Supelec Systems Sciences (E3S), Gif-sur-Yvette, France
Venue:
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Year:
2011

Citing 4
Cited 0

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Clock-directed modular code generation for synchronous data-flow languages

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Exploring Multi-Paradigm Modeling Techniques

Simulation
Semantic Adaptation for Models of Computation

ACSD '11 Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design

Quantified Score

Hi-index	0.00

Visualization

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.