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.
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
References
UML profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Specification Formal/2011-06-03, OMG (2011)
André, C., Mallet, F.: Clock constraints in UML MARTE CCSL. Research Report RR-6540, INRIA (2008)
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. CACM 21(7), 558–565 (1978)
Mac Lane, S.: Categories for the Working Mathematicians, 2nd edn. Springer, Heidelberg (1998)
Mallet, F.: Clock constraint specification language: specifying clock constraints with UML/MARTE. Innov. Syst. Softw. Eng. 4(3), 309–314 (2008)
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_2
Novikov, B.: Lecture Notes on Category Theory. Luhansk National Pedagogical University (2004)
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 2017
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_2
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Zholtkevych, G., Polyakova, L., El Zein, H.K. (2019). Category Methods for Modelling Logical Time Based on the Concept of Clocks. In: Ermolayev, V., Suárez-Figueroa, M., Yakovyna, V., Mayr, H., Nikitchenko, M., Spivakovsky, A. (eds) Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2018. Communications in Computer and Information Science, vol 1007. Springer, Cham. https://doi.org/10.1007/978-3-030-13929-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-13929-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-13928-5
Online ISBN: 978-3-030-13929-2
eBook Packages: Computer ScienceComputer Science (R0)