摘要
为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方法,提出了一种可信管理软件的模型驱动构造参考方法.通过分析国内外的研究现状,明确界定了管理软件可信性概念,给出可信性判定问题描述.结果表明该方法以ICEMDA各层次上的构造体为中心,逐层进行可信模型描述、可信指标度量、可信性判定与优化,借助ICEMDA的模型语义保持技术实现各层间可信性的保持与传递,并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制.
-
单位北京卫星制造厂; 哈尔滨工业大学