摘要: 提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。
关键词:
可执行形式化,
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)
中图分类号:
唐 艳;杜玉越;刘 伟. 基于MDA和可执行形式化的可信软件设计[J]. 计算机工程, 2009, 35(19): 138-140.
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.