基于分层递增验证的可信管理软件构造方法
战德臣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 theconfidence in the software lifecycle. The originality of the proposed approach is to combine software confidencetheory 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 clearlyaccording to the existing research results. This approach focuses on the structure elements of the layers inICEMDA, describes the confident model, measures confidence index, verifies and optimizes the confidence ofthe 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
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
基于分层递增验证的可信管理软件构造方法
本站小编 哈尔滨工业大学/2019-10-24
相关话题/北京 介绍 优化 指标 计算机科学与技术学院
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19316H堆焊UNS N10003合金参数优化、组织和硬度的研究
316H堆焊UNSN10003合金参数优化、组织和硬度的研究杨飞1,2,黎超文2,李志军2,蒋力2,叶祥熙2,刘芳1(1.上海理工大学材料科学与工程学院,上海200093;2.中国科学院上海应用物理研究所,上海201800)摘要:研究异种合金焊接可以降低熔盐堆结构材料的成本并确保其安全性,本文采用钨 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05响应面分析法优化不锈钢激光切割工艺参数
响应面分析法优化不锈钢激光切割工艺参数李永亮1,2,3,王敬1,3,梁强1,3(1.重庆工商大学机械工程学院,重庆400069;2.重庆工商大学工程训练中心,重庆400069;3.制造装备机构设计与控制重庆市重点实验室(重庆工商大学),重庆400069)摘要:为了获得良好的不锈钢激光切割质量,确定合 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05汽车六角球头冷锻工艺优化与数值仿真
汽车六角球头冷锻工艺优化与数值仿真陈凌翔,李月超(新乡职业技术学院汽车工程系,河南新乡453000)摘要:冷锻成形工艺是一种少无切削的净近成形工艺,以其精度高、生产效率高、低耗节能等优点,大量使用在汽车零配件的生产。六角球头销是汽车转向系统中的关键零件,其六角成形的质量直接影响到产品的使用性能。本文 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05磷虾群优化的改进粒子滤波算法
磷虾群优化的改进粒子滤波算法朱震曙,蒋长辉,薄煜明,吴盘龙(南京理工大学自动化学院,南京210094)摘要:标准的粒子滤波存在着权值退化问题,重采样可以解决权值退化问题,但也会带来样本贫化现象.为解决样本贫化问题,提出了一种利用磷虾群优化的改进粒子滤波算法.该算法结合粒子滤波的求解过程,以磷虾个体的 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05连续梁桥的矢量地震动强度指标选取
连续梁桥的矢量地震动强度指标选取张鹏辉,郭军军,冯睿为,袁万城䥺Symbol`@@(土木工程防灾国家重点实验室(同济大学),上海200092)摘要:为了在不显著增加计算量的前提下,简化地震动强度指标的选取流程,减小概率地震需求模型的变异性,提出针对特定场地条件和结构类型的矢量地震动强度指标选取方 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05城市快速路小间距路段出口预告标志优化设置
城市快速路小间距路段出口预告标志优化设置黄利华1,2,3,赵晓华1,2,李洋1,4,荣建1,2(1.北京工业大学城市交通学院,北京100124;2.北京市交通工程重点实验室(北京工业大学),北京100124;3.北京城市系统工程研究中心,北京100035;4.北京警察学院,北京102202)摘要:为 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05小世界效应加速生物地理学优化的社团识别算法
小世界效应加速生物地理学优化的社团识别算法杨波,程维政,朱超(武汉理工大学自动化学院,武汉430070)摘要:为提高基于优化方法的网络社团结构识别算法的有效性,设计一种利用小世界效应加速生物地理学优化过程的网络社团结构识别算法.首先基于矩阵随机编码建立网络社团识别生物地理学优化框架,在栖息地中全局进 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05双层优化的多无人机合作式冲突探测与解脱
双层优化的多无人机合作式冲突探测与解脱付其喜1,2,梁晓龙1,张佳强1,侯岳奇1(1.陕西省电子信息系统综合集成重点实验室(空军工程大学),西安710051;2.中国人民解放军94582部队,河南驻马店463200)摘要:为解决多无人机基于航向的合作式短期冲突探测与解脱问题,提出一种局部集中双层优化 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05无线携能通信时隙与功率联合优化算法研究
无线携能通信时隙与功率联合优化算法研究宋志群1,2,刘玉涛2,吕玉静2,张中兆1(1.哈尔滨工业大学电子与信息工程学院,哈尔滨150001;2.中国电子科技集团公司第五十四研究所,石家庄050000)摘要:传统通信系统由于不能够有效利用射频信号的能量会导致传输能耗较高,所以必须合理分配资源,在信息和 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05城市热点区域出租车停靠站双目标选址优化模型
城市热点区域出租车停靠站双目标选址优化模型王鑫,曲昭伟,宋现敏,张明业(吉林大学交通学院,长春130022)摘要:为确保城市出租车停靠站布局的合理性,改善站点利用率低的现状,提出一种基于GPS轨迹数据的出租车停靠站双目标选址决策方法.在数据背景下,对出租车出行需求量及候选点位置进行估计.考虑乘客出行 ...哈尔滨工业大学科研学术 本站小编 哈尔滨工业大学 2020-12-05
