Skip to Main content Skip to Navigation
New interface
Conference papers

Towards a Formalization of Real-Time Patterns-Based Designs

Abstract : Informal description (UML and text) of design patterns is adopted to facilitate their understanding by software developers. However, these descriptions lead to ambiguities, mainly when we consider Real time Design Patterns that deal with critical problems encountered in the design of real-time systems. Hence, there is a need for formal specification of the DPs and RTDPs to insure their successful application. In this paper, we propose a formalization approach of the system design based on real-time patterns (RTDPs). The processes of instantiation and composition of design patterns, permit us to generate design models (structural and dynamic) of complex systems. The resulting designs are represented in UML-MARTE profile to express the temporal properties and constraints. The algebraic specifications (in Maude language) become more natural and more efficient.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, May 11, 2018 - 3:11:25 PM
Last modification on : Friday, May 11, 2018 - 3:13:29 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 4:36:39 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Kamel Boukhelfa, Faiza Belala. Towards a Formalization of Real-Time Patterns-Based Designs. 5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.624-635, ⟨10.1007/978-3-319-19578-0_51⟩. ⟨hal-01789966⟩



Record views


Files downloads