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

Design of Trusted Software Based on MDA and Executable Formalization

作　　者：唐艳[1] 杜玉越[1,2] 刘伟[1] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266510 [2]中国科学院软件研究所计算机科学国家重点实验室,北京100080

出　　处：《计算机工程》2009年第19期138-140,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60773034);国家"973"计划基金资助项目(2004CB318001-03);中国科学院计算机科学国家重点实验室开放课题基金资助项目(SYSKF0804);山东省"泰山学者"建设工程专项基金资助项目

摘　　要：提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。This paper brings forward the software development process based on Model Driven Architeeture（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.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]