面向对象软件体系结构的形式化模型

• 作者: 眭鸿飞 陈松乔
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 面向对象 软件体系结构 形式化模型
• 年，卷（期）: 2003,（10）
• 页码范围: 1739-1742
• 页数: 4页
• 分类号: TP311
• 字数: 4172字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2003.10.003

摘要

软件体系结构设计中的形式化方法,一直是软件工程领域中的研究热点.而在面向对象环境中如何对体系结构进行形式化,以精确描述其静态结构与动态交互行为,则一直未有好的解决办法.本文使用符号逻辑方法描述面向对象系统中的基本组成单元,并使用有限自动机建立面向对象体系结构的形式化模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈松乔		4	109	4.0	4.0
2	眭鸿飞		1	7	1.0	1.0