| 面向对象软件体系结构的形式化模型 |
| |
| 引用本文： | 眭鸿飞,陈松乔. 面向对象软件体系结构的形式化模型[J]. 小型微型计算机系统, 2003, 24(10): 1739-1742 |
| |
| 作者姓名： | 眭鸿飞 陈松乔 |
| |
| 作者单位： | 中南大学,信息科学与工程学院,计算机理论与软件研究所,湖南,长沙,410083 |
| |
| 基金项目： | 国家教育部重点课题 (〔2 0 0 0〕15 6号 )资助 |
| |
| 摘 要： | 软件体系结构设计中的形式化方法，一直是软件工程领域中的研究热点。而在面向对象环境中如何对体系结构进行形式化，以精确描述其静态结构与动态交互行为，则一直未有好的解决办法。本文使用符号逻辑方法描述面向对象系统中的基本组成单元，并使用有限自动机建立面向对象体系结构的形式化模型。
|
| 关 键 词： | 面向对象 软件体系结构 形式化模型 静态结构 动态交互行为 符号逻辑方法 |
| 文章编号： | 1000-1220(2003)10-1739-04 |
Formal Model of Object-oriented Architecture |
| |
| SUI Hong-fei,CHEN Song-qiao. Formal Model of Object-oriented Architecture[J]. Mini-micro Systems, 2003, 24(10): 1739-1742 |
| |
| Authors: | SUI Hong-fei CHEN Song-qiao |
| |
| Abstract: | Formal method of software architecture is a focus of research in Software Engineering field. There is no solution for formally describing both the static structure and the behavior interaction of object-oriented architecture. This article establishes a formal specification for elemental block of the system by adopting the symbol logic. And build a finite formal model of object-oriented architecture. |
| |
| Keywords: | object-oriented software architecture formal model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
