Formal Modeling and Specification of Design Patterns Using RTPA
Formal Modeling and Specification of Design Patterns Using RTPA
复制标题
DOI：
10.4018/jcini.2008010108
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Yingxu Wang;Jian Huang
中科院分区：
文献类型：
--
作者：
Yingxu Wang;Jian Huang
软件模式被认为是软件设计和开发中专家知识的理想文档。然而，它的形式化模型和语义还没有得到推广和成熟。传统的UML规范和相关的形式化工作不能准确地、可理解地和本质地捕捉通用模式的本质。本文提出了一种基于实时进程代数（RTPA）的模式通用数学模型。模式的形式化模型可读性强、通用性强，可以作为Meta模型演绎地表示任何设计模式，并可以通过支持工具翻译成程序设计语言的代码。这项工作表明，模式是一个高度复杂和动态的软件设计封装的结构，因为它的复杂和灵活的多个抽象类和实例之间的内部关联。模式的泛型模型不仅适用于现有模式的描述和理解，而且对未来模式的识别和形式化也很有用。
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.