基于可执行模型的体系结构验证评估方法 |
| |
引用本文: | 罗爱民.基于可执行模型的体系结构验证评估方法[J].计算机科学,2010,37(8):294-297. |
| |
作者姓名: | 罗爱民 |
| |
作者单位: | 国防科技大学C4ISR技术国防科技重点实验室,长沙,410073 |
| |
基金项目: | "十一五"预研项目资助 |
| |
摘 要: | 信息系统体系结构设计是系统开发过程中的一个关键环节,正确评估体系结构能够提高系统开发效率.基于可执行模型的体系结构验证评估方法是一种有效的验证体系结构评估方法.分析基于可执行模型的体系结构验证评估的特点,提出该方法的评估过程和评估内容.提出基于对象Petri网的可执行模型构建方法,并通过实例说明该方法的可行性.
|
关 键 词: | 体系结构 可执行模型 评估 Petri网 |
收稿时间: | 2009/9/21 0:00:00 |
修稿时间: | 2009/12/8 0:00:00 |
本文献已被 万方数据 等数据库收录! |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|