Home // PATTERNS 2011, The Third International Conferences on Pervasive Patterns and Applications // View article

A Rewriting Logic-based Meta-Model for Design Patterns Formalization

Authors:
Halima Douibil
Kamel Boukhelfa
Faiza Belala

Keywords: Design patterns; Meta-model; Rewriting logic; Maude.

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.

Pages: 84 to 89

Copyright: Copyright (c) IARIA, 2011

Publication date: September 25, 2011

Published in: conference

ISSN: 2308-3557

ISBN: 978-1-61208-158-8

Location: Rome, Italy

Dates: from September 25, 2011 to September 30, 2011