计算机工程 ›› 2009, Vol. 35 ›› Issue (19): 138-140.doi: 10.3969/j.issn.1000-3428.2009.19.046

• 安全技术 • 上一篇    下一篇

基于MDA和可执行形式化的可信软件设计

唐 艳1,杜玉越1,2,刘 伟1   

  1. (1. 山东科技大学信息科学与工程学院,青岛 266510;2. 中国科学院软件研究所计算机科学国家重点实验室,北京100080)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-10-05 发布日期:2009-10-05

Design of Trusted Software Based on MDA and Executable Formalization

TANG Yan1, DU Yu-yue1,2, LIU Wei1   

  1. (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)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-10-05 Published:2009-10-05

摘要: 提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。

关键词: 可执行形式化, Petri网, 可信软件体系, 模型驱动的体系结构

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.

Key words: executable formalization, Petri net, trusted software architecture, Model Driven Architecture(MDA)

中图分类号: