| 基于MDA和可执行形式化的可信软件设计 |
| |
| 引用本文： | 唐艳,杜玉越,刘伟.基于MDA和可执行形式化的可信软件设计[J].计算机工程,2009,35(19):138-140. |
| |
| 作者姓名： | 唐艳 杜玉越 刘伟 |
| |
| 作者单位： | 1. 山东科技大学信息科学与工程学院,青岛,266510
2. 山东科技大学信息科学与工程学院,青岛,266510;中国科学院软件研究所计算机科学国家重点实验室,北京100080 |
| |
| 基金项目： | 国家自然科学基金资助项目，国家"973"计划基金资助项目，中国科学院计算机科学国家重点实验室开放课题基金资助项目，山东省"泰山学者"建设工程专项基金 |
| |
| 摘 要： | 提出基于模型驱动架构的软件开发过程，利用可执行形式化规范，有效提高软件开发效率和可测试性，并通过基于可执行规范的运行时监控技术保证系统行为的可信性，降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。
|
| 关 键 词： | 可执行形式化 Petri网 可信软件体系 模型驱动的体系结构 |
| 修稿时间： | |
Design of Trusted Software Based on MDA and Executable Formalization |
| |
| TANG Yan,DU Yu-yue,LIU Wei.Design of Trusted Software Based on MDA and Executable Formalization[J].Computer Engineering,2009,35(19):138-140. |
| |
| Authors: | TANG Yan DU Yu-yue LIU Wei |
| |
| Affiliation: | (1. College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510; 2. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080) |
| |
| Abstract: | This paper brings forward the software development process based on Model Driven Architecture(MDA) and improves efficiency & testability of software with executable formalization specification. By way of run-time monitoring technology, the credibility of system is guaranteed and the errors created by test stage and the risk of system unlawful invasion are reduced and eliminated. |
| |
| Keywords: | executable formalization Petri net trusted software architecture Model Driven Architecture(MDA) |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
