Formal Specification and Representation of Design Patterns using RTPA
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.
Cognitive informatics software engineering design patterns formal method unified model of patterns RTPA.
Jian Huang Yingxu Wang
Theoretical and Empirical Software Engineering Research Centre Dept of Electrical and Computer Engineering University of Calgary 2500 University Drive, NW, Calgary, Alberta, Canada, T2N 1N4
国际会议
Firth IEEE International Conference on Cognitive Informatics(第五届认知信息国际会议)
北京
英文
370-379
2006-07-17（万方平台首次上网日期，不代表论文的发表时间）