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 metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01789966
Contributor : Hal Ifip <>
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

File

339159_1_En_51_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

146

Files downloads

50