Welcome to the InfoSci Platform
Reference Hub16
Formal Modeling and Specification of Design Patterns Using RTPA

Formal Modeling and Specification of Design Patterns Using RTPA

Yingxu Wang, Jian Huang
Copyright: © 2008 |Volume: 2 |Issue: 1 |Pages: 12
ISSN: 1557-3958|EISSN: 1557-3966|ISSN: 1557-3958|EISBN13: 9781615201952|EISSN: 1557-3966|DOI: 10.4018/jcini.2008010108
Cite Article Cite Article

MLA

Wang, Yingxu, and Jian Huang. "Formal Modeling and Specification of Design Patterns Using RTPA." IJCINI vol.2, no.1 2008: pp.100-111. http://doi.org/10.4018/jcini.2008010108

APA

Wang, Y. & Huang, J. (2008). Formal Modeling and Specification of Design Patterns Using RTPA. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 2(1), 100-111. http://doi.org/10.4018/jcini.2008010108

Chicago

Wang, Yingxu, and Jian Huang. "Formal Modeling and Specification of Design Patterns Using RTPA," International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 2, no.1: 100-111. http://doi.org/10.4018/jcini.2008010108

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not been generalized and matured. The traditional UML specifications and related formalization efforts cannot capture the essence of generic patterns precisely, understandably, and essentially. A generic mathematical model of patterns is presented in this article 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 for 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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.