DocumentCode
398208
Title
Precise specification to compound patterns with ExLePUS
Author
Mak, Jeffrey K H ; Choy, Clifford S T ; Lun, Daniel P.K.
Author_Institution
Dept. of Electron. & Inf. Eng., Hong Kong Polytech. Univ., Kowloon, China
fYear
2003
fDate
3-6 Nov. 2003
Firstpage
440
Lastpage
445
Abstract
Prior research suggested modeling languages for precise specification of design pattern structures and behaviors. However, seldom has put effort on their integrations as well as their specifications. To provide a first class CASE support to the recognition, verification and application of design patterns as well as their compounds, a precise specification to their leitmotifs is critical. In this paper, we present the essentials of pattern integration and propose an extended version, we name it exLePUS, to a pattern specification language (LePUS) in order to support the specification of these essentials and thus compound patterns. A case study has illustrated how it is used a well-known compound pattern.
Keywords
computer aided software engineering; formal specification; object-oriented programming; specification languages; systems analysis; CASE; ExLePUS; LePUS; compound patterns; design application; design pattern; design patterns; exLePUS; formal specification; formal verification; leitmotifs; modeling languages; pattern integration; precise specification; specification language; Application software; Collaboration; Computer aided software engineering; Design engineering; Formal specifications; Pattern recognition; Programming; Software maintenance; Software tools; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-2020-0
Type
conf
DOI
10.1109/CMPSAC.2003.1245377
Filename
1245377
Link To Document