期刊检索

  • 2024年第56卷
  • 2023年第55卷
  • 2022年第54卷
  • 2021年第53卷
  • 2020年第52卷
  • 2019年第51卷
  • 2018年第50卷
  • 2017年第49卷
  • 2016年第48卷
  • 2015年第47卷
  • 2014年第46卷
  • 2013年第45卷
  • 2012年第44卷
  • 2011年第43卷
  • 2010年第42卷
  • 第1期
  • 第2期

主管单位 中华人民共和国
工业和信息化部
主办单位 哈尔滨工业大学 主编 李隆球 国际刊号ISSN 0367-6234 国内刊号CN 23-1235/T

期刊网站二维码
微信公众号二维码
引用本文:战德臣,冯锦丹,聂兰顺,徐晓飞.基于分层递增验证的可信管理软件构造方法[J].哈尔滨工业大学学报,2012,44(5):75.DOI:10.11918/j.issn.0367-6234.2012.05.015
ZHAN De-chen,FENG Jin_dan,NIE Lan-shun,XU Xiao-fei.Construction approach of conridence management softwar based on layered verirication[J].Journal of Harbin Institute of Technology,2012,44(5):75.DOI:10.11918/j.issn.0367-6234.2012.05.015
【打印本页】   【HTML】   【下载PDF全文】   查看/发表评论  下载PDF阅读器  关闭
过刊浏览    高级检索
本文已被:浏览 2283次   下载 1408 本文二维码信息
码上扫一扫!
分享到: 微信 更多
基于分层递增验证的可信管理软件构造方法
战德臣1, 冯锦丹2, 聂兰顺1, 徐晓飞1
1.哈尔滨工业大学计算机科学与技术学院,150001哈尔滨;2.北京卫星制造厂,100094北京
摘要:
为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方 法,提出了一种可信管理软件的模型驱动构造参考方法.通过分析国内外的研究现状,明确界定了管理软件 可信性概念,给出可信性判定问题描述.结果表明该方法以ICEMDA各层次上的构造体为中心,逐层进行可 信模型描述、可信指标度量、可信性判定与优化,借助ICEMDA的模型语义保持技术实现各层间可信性的保 持与传递,并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制
关键词:  可信性  构造体  模型驱动  企业管理软件
DOI:10.11918/j.issn.0367-6234.2012.05.015
分类号:TP3
基金项目:国家自然科学基金资助项目(60773064)
Construction approach of conridence management softwar based on layered verirication
ZHAN De-chen1, FENG Jin_dan2, NIE Lan-shun1, XU Xiao-fei1
1.School of Computer Science and Technology, Harbin Institute of Technology, 150001 Harbin, China;2.Beijing Satellite Manufacturers Factory, 100094 Beijing, China
Abstract:
In this paper, a construction approach of confidence management software is presented to keep the confidence in the software lifecycle. The originality of the proposed approach is to combine software confidence theory and model driven development approaches to a consistent approach of Confidence Model Driven Archi- tecture and Methodology. The confidence verification problem of the management software is described clearly according to the existing research results. This approach focuses on the structure elements of the layers in ICEMDA, describes the confident model, measures confidence index, verifies and optimizes the confidence of the element. The maintenance and transformation of the confidence among the layers is based on the model se- mantic maintenance technology of ICEMDA. The confidence verification of the business component platform - specific model is taken as an example to introduce the implementation mechanism of this approach
Key words:  confidence  construction element  model driven  software for enterprise and applications

友情链接LINKS