DocumentCode
2317138
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
fYear
2012
fDate
24-26 March 2012
Firstpage
1
Lastpage
7
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology and e-Services (ICITeS), 2012 International Conference on
Conference_Location
Sousse
Print_ISBN
978-1-4673-1167-0
Type
conf
DOI
10.1109/ICITeS.2012.6216602
Filename
6216602
Link To Document