Advertisement

Category Methods for Modelling Logical Time Based on the Concept of Clocks

  • Grygoriy ZholtkevychEmail author
  • Lyudmyla Polyakova
  • Hassan Khalil El Zein
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 1007)

Abstract

This paper continues a series of articles presenting authors’ ideas and results relating to development of category-theoretic methods for specifying and analysing models of logical time in distributed systems including cyber-physical systems. Results of this paper generalise results of the previous articles by the way of generalising the concepts of a clock structure and a schedule. The paper shows that all the main results obtained earlier remain valid for the generalisation under consideration. In addition, the proposed generalisation gives a tool for identifying in category-theoretic terms the concepts of global clocks and synchronisation processes.

Keywords

Category Morphism Functor Equivalence of categories Logical time Logical clock Schedule Clock structure Clock morphism Schedule morphism Global clock Synchronising morphism 

References

  1. 1.
    UML profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Specification Formal/2011-06-03, OMG (2011)Google Scholar
  2. 2.
    André, C., Mallet, F.: Clock constraints in UML MARTE CCSL. Research Report RR-6540, INRIA (2008)Google Scholar
  3. 3.
    Lamport, L.: Time, clocks, and the ordering of events in a distributed system. CACM 21(7), 558–565 (1978)CrossRefGoogle Scholar
  4. 4.
    Mac Lane, S.: Categories for the Working Mathematicians, 2nd edn. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  5. 5.
    Mallet, F.: Clock constraint specification language: specifying clock constraints with UML/MARTE. Innov. Syst. Softw. Eng. 4(3), 309–314 (2008)CrossRefGoogle Scholar
  6. 6.
    Mallet, F.: MARTE/CCSL for modeling cyber-physical systems. In: Drechsler, R., Kühne, U. (eds.) Formal Modeling and Verification of Cyber-Physical Systems, pp. 26–49. Springer, Wiesbaden (2015).  https://doi.org/10.1007/978-3-658-09994-7_2CrossRefGoogle Scholar
  7. 7.
    Novikov, B.: Lecture Notes on Category Theory. Luhansk National Pedagogical University (2004)Google Scholar
  8. 8.
    Zholtkevych, G., El Zein, H.K.: Logical time models to study cyber-physical systems. In: Ermolayev, V., et al. (eds.) Information and Communication Technologies in Education, Research, and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Workshop Proceedings, vol. 1844. CEUR-WS, May 2017Google Scholar
  9. 9.
    Zholtkevych, G., El Zein, H.K.: Two approaches to modelling logical time in cyber-physical systems. In: Bassiliades, N., et al. (eds.) ICTERI 2017. CCIS, vol. 826, pp. 21–40. Springer, Cham (2018).  https://doi.org/10.1007/978-3-319-76168-8_2CrossRefGoogle Scholar
  10. 10.
    Zholtkevych, G., El Zein, H.K., Polyakova, L.: Category methods for analysis of two approaches to modelling logical time based on concept of clocks. In: Ermolayev, V., et al. (eds.) Information and Communication Technologies in Education, Research, and Industrial Applications, vol. 2104, no. 2, pp. 696–706. CEUR-WS (2018)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Mathematics and Computer Science SchoolV.N. Karazin Kharkiv National UniversityKharkivUkraine

Personalised recommendations