检索结果-维普期刊中文期刊服务平台

面向对象的可信构件网的组装研究: 1; 作者赵娜王剑 +3 位作者李彤郁涌李鹏谢仲文《计算机科学》 CSCD 北大核心 2017年第11期104-108,共5页; 以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而对构建的基于构件的可信软... 展开更多; 关键词可信构件构件网 PETRI网构件组装; 在线阅读下载PDF 职称材料

移动分布式环境下的可信构件模型被引量：1: 2; 作者姚振宇吴卿《计算机工程》 CAS CSCD 北大核心 2009年第20期78-80,共3页; 讨论当前构件模型在移动分布式环境中的缺陷,在此基础上,将反射技术与软件契约式设计思想相结合,提出一种在移动分布式环境下具有上下文感知功能的可信构件模型——MDETCM,并对其进行描述。给出该模型的具体实例,并对其进行性能测试,结... 展开更多; 关键词移动分布式环境可信构件模型反射; 在线阅读下载PDF 职称材料

软件构件的可信保证研究被引量：13: 3; 作者郭树行兰雨晴金茂忠《计算机科学》 CSCD 北大核心 2007年第5期243-246,共4页; 近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契... 展开更多; 关键词可信构件可信构件质量模型构件验证形式化开发; 在线阅读下载PDF 职称材料

业务构件可信性的度量研究被引量：2: 4; 作者石双元陈朝德《计算机工程与科学》 CSCD 北大核心 2009年第5期84-86,共3页; 业务构件的质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文给出了业务构件可信性的度量原则,在此基础上给出了可信业务构件的度量模型与量化方法,并重点阐述了逻辑可信性的度量思路。; 关键词可信业务构件可信属性可信度量逻辑可信性; 在线阅读下载PDF 职称材料

面向可信的构件本体建模研究被引量：2: 5; 作者郭树行高静 +1 位作者兰雨晴金茂忠《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期90-95,共6页; 构件可信度表示用户对软件构件信任的程度,其本质是构件的安全和时效问题.保证构件的可信必须有面向可信切实可行的构件建模方法和技术,目标是通过构件接口建模、协议建模、静态结构建模、动态行为建模等模型之间的一致性验证来保证构... 展开更多; 关键词构件本体构件本体建模构件本体建模元模型构件模型构件可信度; 在线阅读下载PDF 职称材料

可信业务构件的框架模型及其实现机制: 6; 作者石双元尹健良《计算机工程与科学》 CSCD 2008年第9期122-125,共4页; 目前,对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面,而业务构件的质量则较少得到关注。质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文提出了可信业务构件的框架模型和... 展开更多; 关键词可信业务构件可信业务逻辑逻辑可信结构冲突; 在线阅读下载PDF 职称材料

基于云模型的可信性评估模型被引量：11: 7; 作者周勇顾聪越程春田《计算机应用研究》 CSCD 北大核心 2012年第2期597-600,605,共5页; 软件应用领域极度扩展,促使软件可信问题被高度重视,但量化的软件可信性评估却是可信问题研究的难点。针对软件可信性量化问题,提出了基于云模型的可信性评估模型。以REST表述性状态转移超媒体分布式架构为背景,根据云模型理论定义了其... 展开更多; 关键词软件可信构件可信 REST架构云模型信任云; 在线阅读下载PDF 职称材料

题名面向对象的可信构件网的组装研究: 1; 作者赵娜王剑李彤郁涌李鹏谢仲文; 机构云南大学软件学院云南省软件工程重点实验室昆明理工大学信息工程与自动化学院云南大学; 出处《计算机科学》 CSCD 北大核心 2017年第11期104-108,共5页; 基金国家自然科学基金(61662085 61379032 +6 种基金 61364024 61462091 61462095 61462092) 云南大学中青年骨干教师培养计划资助; 文摘以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而对构建的基于构件的可信软件模型中的可执行的构件集进行描述。在描述的可信构件网模型框架中,将讨论两个构件基于连接件的并行组装、选择组装、顺序组装、循环组装。通过连接件的连接作用,根据一定的组织关系协调构件之间的关系,最终将组合的构件形成一个有机的整体。; 关键词可信构件构件网 PETRI网构件组装; Keywords Trusted component ,Component net , Petri r时,Component assembly; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名移动分布式环境下的可信构件模型被引量：1: 2; 作者姚振宇吴卿; 机构杭州电子科技大学计算机应用研究所; 出处《计算机工程》 CAS CSCD 北大核心 2009年第20期78-80,共3页; 基金杭州电子科技大学科研启动基金资助项目; 文摘讨论当前构件模型在移动分布式环境中的缺陷,在此基础上,将反射技术与软件契约式设计思想相结合,提出一种在移动分布式环境下具有上下文感知功能的可信构件模型——MDETCM,并对其进行描述。给出该模型的具体实例,并对其进行性能测试,结果表明,构件执行任务的成功率得到提高。; 关键词移动分布式环境可信构件模型反射; Keywords mobile distributed environment trusted component model reflection; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名软件构件的可信保证研究被引量：13: 3; 作者郭树行兰雨晴金茂忠; 机构北京航空航天大学软件工程研究所; 出处《计算机科学》 CSCD 北大核心 2007年第5期243-246,共4页; 文摘近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因。作为总结,给出了可信构件领域研究需要解决的若干问题。; 关键词可信构件可信构件质量模型构件验证形式化开发; Keywords Trusted component, Quality model of trusted component, Components certification, Formal development; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名业务构件可信性的度量研究被引量：2: 4; 作者石双元陈朝德; 机构华中科技大学管理学院; 出处《计算机工程与科学》 CSCD 北大核心 2009年第5期84-86,共3页; 文摘业务构件的质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文给出了业务构件可信性的度量原则,在此基础上给出了可信业务构件的度量模型与量化方法,并重点阐述了逻辑可信性的度量思路。; 关键词可信业务构件可信属性可信度量逻辑可信性; Keywords trusted business component trusted property trusted evaluation logical trustworthiness; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向可信的构件本体建模研究被引量：2: 5; 作者郭树行高静兰雨晴金茂忠; 机构北京航空航天大学软件工程研究所; 出处《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期90-95,共6页; 文摘构件可信度表示用户对软件构件信任的程度,其本质是构件的安全和时效问题.保证构件的可信必须有面向可信切实可行的构件建模方法和技术,目标是通过构件接口建模、协议建模、静态结构建模、动态行为建模等模型之间的一致性验证来保证构件的可信度.目前构件建模方法关于对象之间关系的概念存在着模糊性,为构件接口设计和构件复用带来隐患,直接影响了软件构件的可信度.因此将本体论引入构件建模,对构件对象的关系进行本体分析,目的在于为构件对象建立清晰、完整的本体模型,提供系统模型的一致性约束和正确性验证.; 关键词构件本体构件本体建模构件本体建模元模型构件模型构件可信度; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名可信业务构件的框架模型及其实现机制: 6; 作者石双元尹健良; 机构华中科技大学管理学院; 出处《计算机工程与科学》 CSCD 2008年第9期122-125,共4页; 文摘目前,对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面,而业务构件的质量则较少得到关注。质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文提出了可信业务构件的框架模型和四大可信要素,同时给出了可信要素的实现机制,重点阐述了逻辑可信的实现机制。; 关键词可信业务构件可信业务逻辑逻辑可信结构冲突; Keywords trusted business component trusted business logic logical trustworthiness structural conflict; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于云模型的可信性评估模型被引量：11: 7; 作者周勇顾聪越程春田; 机构大连理工大学软件学院大连理工大学水利工程学院; 出处《计算机应用研究》 CSCD 北大核心 2012年第2期597-600,605,共5页; 基金国家自然科学基金资助项目(50979010) 中央高校基本科研业务费专项资金资助项目(DUT10JR15); 文摘软件应用领域极度扩展,促使软件可信问题被高度重视,但量化的软件可信性评估却是可信问题研究的难点。针对软件可信性量化问题,提出了基于云模型的可信性评估模型。以REST表述性状态转移超媒体分布式架构为背景,根据云模型理论定义了其组成构件的信任云以及系统综合信任云,用于评估构件的可信性和系统的可信性。从四个层面,探讨软件可信问题,以可信基础参数获取作为最底层输入,进而生成云模型,合并云模型,最终进入可信评估应用层面。实验结果表明,基于云模型的可信性评估模型是有效实用的,在可信度的不确定性方面增加了评估的灵活性。; 关键词软件可信构件可信 REST架构云模型信任云; Keywords software dependability component dependability REST architecture cloud model theory trust cloud; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向对象的可信构件网的组装研究	赵娜王剑李彤郁涌李鹏谢仲文	《计算机科学》 CSCD 北大核心	2017	0	在线阅读下载PDF 职称材料
2	移动分布式环境下的可信构件模型	姚振宇吴卿	《计算机工程》 CAS CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
3	软件构件的可信保证研究	郭树行兰雨晴金茂忠	《计算机科学》 CSCD 北大核心	2007	13	在线阅读下载PDF 职称材料
4	业务构件可信性的度量研究	石双元陈朝德	《计算机工程与科学》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
5	面向可信的构件本体建模研究	郭树行高静兰雨晴金茂忠	《南京大学学报（自然科学版）》 CAS CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
6	可信业务构件的框架模型及其实现机制	石双元尹健良	《计算机工程与科学》 CSCD	2008	0	在线阅读下载PDF 职称材料
7	基于云模型的可信性评估模型	周勇顾聪越程春田	《计算机应用研究》 CSCD 北大核心	2012	11	在线阅读下载PDF 职称材料