搜索到136 篇“ INTERNETWARE “的相关文章
网构软件研究:回顾与展望 被引量:4 2022年 软件作为计算系统的“灵魂”,是信息技术产业的核心组成部分,也正在成为数字经济时代支撑社会运行的重要“基础设施”.进入21世纪以来,互联网及其延伸网络形成了开放、动态、难控的复杂计算环境,对传统的软件范型与技术提出了巨大挑战,也蕴含了技术体系重大变革的新机遇.来自北京大学、南京大学和中国科学院的学者于2000年提出“网构软件”这一面向互联网的新型软件范型,经过20余年的努力,在其基本模型、开发方法、运行支撑和质量评估与保障等方面,均取得一系列重要的研究进展,形成了系统化的创新成果,产生了广泛的学术和产业影响.本文从软件范型入手,以互联网及其延伸网络形成的复杂计算环境为线索,回顾网构软件的研究进展,并展望未来的研究工作. 梅宏 梅宏 刘譞哲 黄罡关键词:互联网 网构软件 软件体系结构 面向动态演化的复杂网构软件系统可靠性分析方法 被引量:1 2019年 网构软件是Internet上各种软件实体以各种协同方式实现跨网络的互连、互通和协作的软件系统,动态演化是其基本特征,演化过程中会导致软件系统失效,面向动态演化的网构软件可靠性分析成为新的技术难题。首先分析构件接口交互之间的协议关系和网构软件动态演化错误传播可达性,提出通过错误传播可达图来界定构件动态演化错误的影响范围,并建立错误传播可达图生成过程模型;其次,为有效解决Markov状态空间"爆炸"的问题,利用错误传播可达图来生成Markov状态转移图,提出基于Markov的网构软件动态演化可靠性分析方法;最后通过案例分析来验证该方法的有效性。 宋敏 鞠阳 韦正现关键词:网构软件 系统可靠性 网构软件系统中构件之间信任关系分析与度量 被引量:1 2018年 为了保证网构软件系统运行中的安全,文章提出一种对构件之间的信任关系进行分析与度量的方法。在网构软件中,构件之间信任关系包括直接信任关系和间接信任关系,间接信任又分为一级间接推荐信任和多级间接推荐信任。直接信任关系建立在构件交互基础上,可通过对交互过程中的行为进行统计分析获得,从而建立直接信任关系网。通过关系网中构件的前驱和后继确定信任推荐构件集,进而确定构件之间的间接推荐信任关系的级数,并对一级、二级间接推荐信任关系给出了对应的信任度量方法。同时,对信任关系在传递过程中可能会有的损失情况进行分析。 郁湧 刘永刚 顾捷关键词:网构软件 信任传递 信任度量 面向网构软件的操作系统:发展及现状 被引量:6 2016年 计算机软件是计算机系统的"灵魂",而操作系统是软件运行支撑技术的核心。在互联网时代,软件的运行环境和开发方法发生了重要变化,迫切需要一种新型的面向互联网计算的软件范型,中国学者将这种新范型命名为网构软件。网构软件对包括操作系统在内的软件技术体系带来一系列新挑战。本文关注"面向网构软件的操作系统"(简称"网构操作系统"),简要回顾了操作系统的发展历史,介绍了网构操作系统的概念、基本特征和关键支撑技术。在总结当前网构操作系统的发展现状的基础上,对操作系统的未来发展进行了展望。 梅宏 郭耀关键词:操作系统 网构软件 基于复杂网络的网构软件信任模型研究 被引量:1 2016年 信任问题是网构软件实体交互与协作需要解决的首要问题。传统信任模型在解决大规模复杂网络环境的信任问题方面存在网络开销大,信任收敛慢等问题。为解决该问题,提出了基于复杂网络的网构软件信任模型,将复杂网络的小世界特征和无标度特性引入到网构软件的信任模型当中,并给出了模型的定义、构造、信任计算及模型的动力学演化证明。Peer Sim仿真实验表明,复杂网络思想的引入,减小了信任链长度,降低了网络消息量,加快了信任收敛速率,为解决大规模分布式环境下构件节点的信任问题提供了有价值的新思路。 谢新强 周进刚 张德阳 谢秋菊关键词:网构软件 信任模型 复杂网络 动力学演化 基于层次着色Petri网的网构软件性能建模与仿真分析方法 被引量:2 2016年 网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含一个顶层CPN和若干个子层CPN.顶层CPN建模网构软件的业务处理流程;子层CPN详细建模从请求服务到服务执行完成的过程.服务请求来自网构软件和其它软件系统.然后采用CPN Tools工具通过模型的仿真进行性能分析.最后通过仿真实验研究外部负载对服务进而对网构软件性能的影响. 徐倩 应时 贾向阳 耿江屹 李琳关键词:网构软件 层次着色PETRI网 Reliability Prediction for Internetware Applications:A Research Framework and Its Practical Use 被引量:1 2015年 The open and dynamic environment of Internet computing demands new software reliability technologies.How to efficiently and effectively build highly reliable Internet applications becomes a critical research problem.This paper proposes a research framework for predicting reliability of individual software entities as well as the whole Internet application.Characteristics of the Internet environment are comprehensively analyzed and several reliability prediction approaches are proposed.A prototype is implemented and practical use of the proposed framework is also demonstrated. ZHENG Zibin MENG Jingke TAO Guanhong Michael R.Lyu网构软件可靠性演化计算研究 被引量:2 2014年 为了计算和评估网构软件系统Internet网络环境下的可靠性变化,考虑到可靠性变化影响的积累效应,在网构软件系统结构的基础上构建网构软件系统可靠性转移矩阵,建立了网构软件可靠性演化计算以及演化趋势模型;利用DTMC理论和卷积原理,提出了可靠性演化计算模型,并设计了相应算法,从可靠性及其变化、可靠性变化积累计算3方面精细地进行可靠性演化趋势分析,算法计算复杂度降低到O(Nlog2N).采用MATLAB模拟实验表明,提出的模型和算法能够有效地进行网构软件可靠性演化分析. 张靖 雷航关键词:网构软件 可靠性 主动服务驱动的网构软件体系结构的研究 在当前Internet的快速发展以及普遍使用的大环境下,Internet平台相对于普通硬件平台的特点变得越来越明显。传统软件工程的软件开发方法已经越来越不能满足Internet平台下的软件开发的需求了。网构软件作为一种新... 蔡明关键词:网构软件 文献传递 基于场景自动机的网构软件演化 2014年 网构软件是网络开放、动态和多变环境下软件系统基本形态的一种抽象,其演化性要求软件能根据应用需求和运行环境变化而动态演化。引入了软件需求工程中场景的概念,但不同的是不把场景作为一种静态的记录来使用,而是把场景作为一种动态记录来描述软件的动态演化特征。给出了场景的形式化定义及其互补、等价、子集等关系描述,提出了基于场景自动机的网构软件演化方法。软件的性质和行为可以由一系列应用场景来展现,系统的演化通过场景自动机来体现,这为系统自适应演化提供了一种新的解决方法,并支持系统更大粒度的复用。 王茂光 曹怀虎关键词:网构软件