Title :
Reasoning about design patterns with an Aspect-Oriented approach
Author :
Berkane, M.L. ; Boufaida, M. ; Seinturier, L.
Author_Institution :
LIRE Lab., Mentouri Univ. of Constantine, Constantine, Algeria
Abstract :
The formal specification of design pattern clarifies the concepts underlying patterns, eliminates ambiguity, and complements the informal text-based descriptions. Based on previous works on formal specification of design patterns, this paper focuses on enriching the formal specification of design patterns using the Aspect-Oriented approach. This paper presents some properties of patterns in order to prove how predicate logic can be used to reason in the Aspect-Oriented approach.
Keywords :
aspect-oriented programming; formal specification; inference mechanisms; aspect-oriented approach; design patterns; formal specification; informal text-based descriptions; predicate logic; reasoning; Abstracts; Cognition; Computational modeling; Formal specifications; Observers; Syntactics; Unified modeling language; Aspect Oriented Programming; Design Pattern; Formal specification; Predicate logic;
Conference_Titel :
Information Technology and e-Services (ICITeS), 2012 International Conference on
Conference_Location :
Sousse
Print_ISBN :
978-1-4673-1167-0
DOI :
10.1109/ICITeS.2012.6216602
