Advertisement

Semantic Adaptation Using CCSL Clock Constraints

  • Frédéric Boulanger
  • Ayman Dogui
  • Cécile Hardebolle
  • Christophe Jacquet
  • Dominique Marcadet
  • Iuliana Prodan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7167)

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.

Keywords

Multi-Paradigm Modeling Clock Calculus 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)zbMATHCrossRefGoogle Scholar
  3. 3.
    Biernacki, D., Colaco, J.L., Hamon, G., Pouzet, M.: Clock-directed Modular Code Generation of Synchronous Data-flow Languages. In: Proceedings of LCTES (2008)Google Scholar
  4. 4.
    Boulanger, F., Hardebolle, C., Jacquet, C., Marcadet, D.: Semantic Adaptation for Models of Computation. In: Proceedings of ACSD 2011, pp. 153–162 (2011)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Cassandras, C.G., Clune, M.I., Mosterman, P.J.: Hybrid system simulation with SimEvents. In: Proceedings of ADHS, pp. 267–269 (2006)Google Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Hardebolle, C., Boulanger, F.: Exploring multi-paradigm modeling techniques. Simulation 85, 688–708 (2009)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Frédéric Boulanger
    • 1
  • Ayman Dogui
    • 1
  • Cécile Hardebolle
    • 1
  • Christophe Jacquet
    • 1
  • Dominique Marcadet
    • 1
  • Iuliana Prodan
    • 1
  1. 1.Computer Science DepartmentSupelec Systems Sciences (E3S)Gif-sur-YvetteFrance

Personalised recommendations