Abstract
For the past 50 years, temporal constraints have been a key driver in the development of critical systems, as ensuring their safety requires their behaviour to meet stringent temporal requirements. A well established and promising approach to express and verify such temporal constraints is to rely on formal modelling languages. One such language is CCSL, first introduced as part of the MARTE UML profile, which allows the developer, through entities called clocks, to abstract any system into events on which constraints can be expressed, and then assessed using TimeSquare, a tool which implements its operational semantics. By nature, CCSL handles horizontal separation (component based design at one step in the system development) of concerns through the notion of clocks, but does not yet take into account the other major separation of concerns used in modern system development: vertical separation, also called refinement in the literature (relations between the various steps of the system development). This paper proposes an approach to extend CCSL with a notion of refinement in order to handle temporal models relying on both vertical and horizontal parts. Our proposal relies on the notion of multi-layered time to provide two new CCSL relations expressing two different yet complementary notions of refinement. Their integration with the other CCSL constructs is discussed and their use is illustrated while the relevance and future impacts of this extended version of CCSL is detailed.
Keywords
- CCSL
- Refinement
- Temporal constraints
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
André, C., Mallet, F.: Clock Constraints in UML/MARTE CCSL. Research Report RR-6540, INRIA (2008)
Buxton, J.N., Randell, B.: Software Engineering Techniques: Report of a Conference Sponsored by the NATO Science Committee, Rome, Italy, 27–31 October 1969, Brussels, Scientific Affairs Division, NATO (1970)
Deantoni, J., André, C., Gascon, R.: CCSL denotational semantics. Research Report RR-8628 (2014)
DeAntoni, J., Mallet, F.: TimeSquare: treat your models with logical time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 34–41. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30561-0_4
Dijkstra, E.W.: On the Role of Scientific Thought, pp. 60–66. Springer, New York (1982). https://doi.org/10.1007/978-1-4612-5695-3_12
Lee, E.A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), Orlando, Florida, USA, 5–7 May 2008, pp. 363–369. IEEE Computer Society (2008). https://doi.org/10.1109/ISORC.2008.25
Li, M., Vitányi, P.M.B.: An introduction to Kolmogorov Complexity and Its Applications. Texts and Monographs in Computer Science. Springer, New York (1993). https://doi.org/10.1007/978-1-4757-3860-5
Montin, M.: A formal framework for heterogeneous systems semantics. Ph.D. thesis (2020). http://montin.perso.enseeiht.fr/these.pdf
Montin, M., Pantel, M.: Mechanizing the denotational semantics of the clock constraint specification language. In: Abdelwahed, E.H., Bellatreche, L., Golfarelli, M., Méry, D., Ordonez, C. (eds.) MEDI 2018. LNCS, vol. 11163, pp. 385–400. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00856-7_26
Montin, M., Pantel, M.: Ordering strict partial orders to model behavioral refinement. In: Derrick, J., Dongol, B., Reeves, S. (eds.) Proceedings 18th Refinement Workshop, Refine@FM 2018. EPTCS, vol. 282, Oxford, UK, 18 July 2018, pp. 23–38 (2018). https://doi.org/10.4204/EPTCS.282.3
Norell, U.: Towards a practical programming language based on dependent type theory. Ph.D. thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden, September 2007
(OMG), O.M.G.: Unified modeling language, December 2017. https://www.omg.org/spec/UML/About-UML/
(OMG), O.M.G.: UML profile for MARTE, April 2019. https://www.omg.org/spec/MARTE/About-MARTE/
Petri, C.A.: Kommunikation mit Automaten. Dissertation, Schriften des IIM 2, Rheinisch-Westfälisches Institut für Instrumentelle Mathematik an der Universität Bonn, Bonn (1962)
Thurner, S., Hanel, R., Klimek, P.: Introduction to the Theory of Complex Systems. Oxford University Press, Oxford (2018)
Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987). https://doi.org/10.1007/3-540-17906-2_31
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 IFIP International Federation for Information Processing
About this paper
Cite this paper
Montin, M., Pantel, M. (2021). Towards Multi-layered Temporal Models:. In: Peters, K., Willemse, T.A.C. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2021. Lecture Notes in Computer Science(), vol 12719. Springer, Cham. https://doi.org/10.1007/978-3-030-78089-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-78089-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-78088-3
Online ISBN: 978-3-030-78089-0
eBook Packages: Computer ScienceComputer Science (R0)
-
Published in cooperation with
http://www.ifip.org/
