DocumentCode :
463378
Title :
Formal Specification and Representation of Design Patterns Using RTPA
Author :
Huang, Jian ; Wang, Yingxu
Author_Institution :
Dept. of Electr. & Comput. Eng., Calgary Univ., Alta.
Volume :
1
fYear :
2006
fDate :
17-19 July 2006
Firstpage :
370
Lastpage :
379
Abstract :
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and rigorous semantics have never been generalized and matured. The traditional UML specification and some formal specification attempts cannot capture the essence of generic patterns precisely, understandably, and essentially. A generic model of patterns is presented in this paper using real-time process algebra (RTPA). The formal model of patterns are more readable and highly generic, which can be used as the meta model to denote any design patterns deductively, and can be translated into code in programming languages by supporting tools. This work reveals that a pattern is a highly complicated and dynamic structure of software design encapsulation, because of its complex and flexible internal associations between multiple abstract classes and instantiations. The generic model of patterns is not only applicable to existing patterns´ description and comprehension, but also useful for future patterns´ identification and formalization
Keywords :
formal specification; object-oriented programming; process algebra; RTPA; design patterns; formal representation; formal specification; real-time process algebra; software patterns; Algebra; Cognitive informatics; Concrete; Design methodology; Documentation; Formal specifications; Object oriented modeling; Software design; Software engineering; Unified modeling language; Cognitive informatics; RTPA; design patterns; formal method; software engineering; unified model of patterns;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
1-4244-0475-4
Type :
conf
DOI :
10.1109/COGINF.2006.365519
Filename :
4216436
Link To Document :
بازگشت