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

作者：唐艳; 杜玉越; 刘伟

来源：计算机工程, 2009, (19): 138-140.

• 可执行形式化
• Petri网
• 可信软件体系
• 模型驱动的体系结构 executable formalization
• Petri net
• trusted software architecture
• Model Driven Architecture(MDA)

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

• 单位
  山东科技大学; 中国科学院软件研究所; 计算机科学国家重点实验室