Skip to main content
SpringerLink
Log in

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language

  • Conference paper
Information and Communication Technologies in Education, Research, and Industrial Applications (ICTERI 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 412))

Abstract

The Clock Constraint Specification Language (CCSL) has been defined as a formal companion language of the UML Profile for MARTE to allow defining causal and temporal constraints. This chapter attempts to refine the mathematical foundations of the time model of CCSL. It proposes two semantic models both considering ordered binary relations on CCSL clocks and establishes the equivalence of the two models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. André, C.: Syntax and Semantics of the Clock Constraint Specification Language (CCSL). Technical report, RR-6925, INRIA (2009), http://hal.inria.fr/inria-00384077/en/

  2. André, C., Mallet, F., de Simone, R.: The Time Model of Logical Clocks available in the OMG MARTE profile. In: Shukla, S.K., Talpin, J.-P. (eds.) Synthesis of Embedded Software: Frameworks and Methodologies Correctness by Construction, pp. 201–227. Springer Science+Business Media, LLC, New York (2010)

    Chapter  Google Scholar 

  3. Baer, J.-L.: Multiprocessing Systems. IEEE Trans. on Computers C-25(12), 1271–1277 (1976)

    Google Scholar 

  4. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE. 91(1), 64–83 (2003)

    Article  Google Scholar 

  5. Bonomi, F., Milito, R., Zhu, J., Addepalli, S.: Fog computing and its role in the internet of things. In: Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing, pp. 13–16. ACM, New York (2012)

    Chapter  Google Scholar 

  6. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    Book  Google Scholar 

  7. Le Guernic, P., Talpin, J.-P., Le Lann, J.-C.: Polychrony for system design. Journal of Circuits, Systems, and Computers 12(3), 261–304 (2003)

    Article  Google Scholar 

  8. Harzheim, E.: Ordered Sets. Springer Science+Business Media, Inc., New York (2005)

    Google Scholar 

  9. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International (1985)

    Google Scholar 

  10. Mallet, F.: Logical Time @ Work for the Modeling and Analysis of Embedded Systems, Habilitation thesis. LAMBERT Academic Publishing (2011)

    Google Scholar 

  11. Milner, R.: Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  12. Information technology – Object Management Group – Object Constraint Language (OCL). ISO/IEC 19507:2012(E)

    Google Scholar 

  13. Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. Theor. Comp. Sc. 13(1), 85–108 (1981)

    MathSciNet  MATH  Google Scholar 

  14. Alexander, M., Gardner, W.: Process Algebra for Parallel and Distributed Processing. CRC Press (2009)

    Google Scholar 

  15. Romenska, Y., Mallet, F.: Lazy Parallel Synchronous Composition of Infinite Transition Systems. In: Ermolayev, V., et al. (eds.) ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Proc. 9th Int. Conf. ICTERI 2013, vol. 1000, pp. 130–145. CEUR-WS (2013)

    Google Scholar 

  16. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. OMG (2011), http://www.omg.org/spec/MARTE/1.1/pdf/

  17. OMG Unified Modeling LanguageTM(OMG UML), Infrastructure. OMG (2011), http://www.omg.org/spec/UML/2.4.1/Infrastructure

  18. OMG Unified Modeling LanguageTM(OMG UML), Superstructure. OMG (2011), http://www.omg.org/spec/UML/2.4.1/Superstructure

Download references

Author information

Authors and Affiliations

  1. Department of Theoretical and Applied Computer Science, V.N. Karazin Kharkiv National University, 4, Svobody Sqr., 61022, Kharkiv, Ukraine

    Grygoriy Zholtkevych, Iryna Zaretska & Galyna Zholtkevych

  2. CNRS, I3S, UMR 7271, INRIA, Aoste, Univ. Nice Sophia Antipolis, 06900, Sophia Antipolis, France

    Frédéric Mallet

Authors
  1. Grygoriy Zholtkevych
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frédéric Mallet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Iryna Zaretska
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Galyna Zholtkevych
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technologies, Zaporozhye National University, Zhukovskogo st. 66, 69063, Zaporozhye, Ukraine

    Vadim Ermolayev

  2. Mayr Application Engineering, Alpen-Adria University Klagenfurt, Universitätsstrasse 65, 9020, Klagenfurt, Austria

    Heinrich C. Mayr

  3. Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, 64, Volodymyrska Street, 01601, Kyiv, Ukraine

    Mykola Nikitchenko

  4. Kherson State University, Ukraine

    Aleksander Spivakovsky

  5. School of Mathematics and Mechanics, V.N. Karazin Kharkiv National University, 4, Svobody Sqr., 61022, Kharkiv, Ukraine

    Grygoriy Zholtkevych

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer International Publishing

About this paper

Cite this paper

Zholtkevych, G., Mallet, F., Zaretska, I., Zholtkevych, G. (2013). Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds) Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2013. Communications in Computer and Information Science, vol 412. Springer, Cham. https://doi.org/10.1007/978-3-319-03998-5_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-03998-5_10

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-03997-8

  • Online ISBN: 978-3-319-03998-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation