• 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