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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. of the IEEE 91(1), 64–83 (2003)
Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)
Biernacki, D., Colaco, J.L., Hamon, G., Pouzet, M.: Clock-directed Modular Code Generation of Synchronous Data-flow Languages. In: Proceedings of LCTES (2008)
Boulanger, F., Hardebolle, C., Jacquet, C., Marcadet, D.: Semantic Adaptation for Models of Computation. In: Proceedings of ACSD 2011, pp. 153–162 (2011)
Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains). Tech. Rep. UCB/EECS-2008-30, University of California, Berkeley (2008)
Cassandras, C.G., Clune, M.I., Mosterman, P.J.: Hybrid system simulation with SimEvents. In: Proceedings of ADHS, pp. 267–269 (2006)
Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity – the Ptolemy approach. Proc. of the IEEE 91(1), 127–144 (2003)
Hardebolle, C., Boulanger, F.: Exploring multi-paradigm modeling techniques. Simulation 85, 688–708 (2009)
Mallet, F., DeAntoni, J., André, C., de Simone, R.: The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering 6, 99–106 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boulanger, F., Dogui, A., Hardebolle, C., Jacquet, C., Marcadet, D., Prodan, I. (2012). Semantic Adaptation Using CCSL Clock Constraints. In: Kienzle, J. (eds) Models in Software Engineering. MODELS 2011. Lecture Notes in Computer Science, vol 7167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29645-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-29645-1_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29644-4
Online ISBN: 978-3-642-29645-1
eBook Packages: Computer ScienceComputer Science (R0)