Towards a Formalization of Real-Time Patterns-Based Designs - Computer Science and Its Applications Access content directly
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
339159_1_En_51_Chapter.pdf (664.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01789966 , version 1 (11-05-2018)

Licence

Attribution

Identifiers

Cite

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⟩
131 View
122 Download

Altmetric

Share

Gmail Facebook X LinkedIn More