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
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;
Conference_Titel :
Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International
Print_ISBN :
0-7695-2020-0
DOI :
10.1109/CMPSAC.2003.1245377