Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/238
Title: | A Rewriting Logic-based Meta-Model for Design Patterns Formalization | Authors: | Douibil, Halima Boukhelfa, Kamel Belala, Faiza |
Affiliations: | Faculty of Information and Communication Technology (ICT) Faculty of Information and Communication Technology (ICT) Faculty of Information and Communication Technology (ICT) |
Issue Date: | Sep-2011 | Conference: | PATTERNS 2011 | Abstract: | Informal description of design patterns is adopted to facilitate their understanding by software developers. However, these descriptions lead to ambiguities limiting their correct usage in support tools. Hence, there is a need for formal specification of the design patterns to ensure their successful application. In this paper, we propose a new formalization of design pattern while using a meta-model, based on rewriting logic. The meta-model is encoded in Maude to provide an executable framework allowing experimentation of design patterns models and their formal analysis. Indeed, the relevant elements that constitute a design pattern solution are formally deduced from this formalization. |
Description: | The Third International Conferences on Pervasive Patterns and Applications |
URI: | http://hdl.handle.net/123456789/238 |
Appears in Collections: | Conference Paper |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
patterns_2011_4_30_70034.pdf | 346.2 kB | Adobe PDF | View/Open |
Page view(s)
37
Last Week
3
3
Last month
4
4
checked on Feb 25, 2023
Download(s)
5
checked on Feb 25, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Built with DSpace-CRIS -
Extension maintained and optimized by
