期刊文献+
共找到84篇文章
< 1 2 5 >
每页显示 20 50 100
股票分布软件的设计与实现
1
作者 全雄文 涂宇清 张健 《计算机工程》 CAS CSCD 北大核心 2006年第21期267-269,共3页
介绍了股票的分布模型,给出了股票的2种分布计算方法,在此基础上设计和实现了股票分布软件,为计算股票的分布模型提供了一个良好的工具,为以后进一步研究股票分布模型奠定了基础。
关键词 股票 分布软件 分布模型
在线阅读 下载PDF
云环境下基于统计监测的分布式软件系统故障检测技术研究 被引量:32
2
作者 王焘 张文博 +2 位作者 徐继伟 魏峻 钟华 《计算机学报》 EI CSCD 北大核心 2017年第2期397-413,共17页
越来越多的分布式软件系统部署在公有云计算平台,通过互联网向外提供服务.云计算环境的复杂性、动态性和开放性使得分布式软件系统更易于出现故障,造成服务失效,从而影响大量用户正常使用,甚至造成巨大经济损失.故障检测技术旨在自动及... 越来越多的分布式软件系统部署在公有云计算平台,通过互联网向外提供服务.云计算环境的复杂性、动态性和开放性使得分布式软件系统更易于出现故障,造成服务失效,从而影响大量用户正常使用,甚至造成巨大经济损失.故障检测技术旨在自动及时的检测系统故障的发生,以避免或减少服务失效所带来的损失,是保障分布式软件系统性能与可靠性的关键技术之一.云计算环境对该技术带来了新的挑战,该文首先分析了这些挑战.基于统计监测的故障检测技术在线搜集监测数据构建统计模型,并基于该模型对系统运行状态进行分析与预测,具有实时监测分析、自动化检测、无需领域知识等优势,能够满足云环境的需要,因此引起了学术界和工业界的广泛关注.该文提出了面向云计算环境的基于统计监测的分布式软件系统故障管理参考框架,包括分布式监测、监测数据处理、故障检测、故障诊断以及故障处理等模块;将已有工作分成基于规则、度量分析、日志分析和行为分析等四大类,逐类介绍其实现原理,并对比分析各类的优缺点;针对当前云计算环境的特点,从在线自动检测、运行环境感知和组件交互分析等3个方面展望了未来的研究方向. 展开更多
关键词 云计算 软件监测 分布软件系统 软件故障检测 性能异常检测 统计监测
在线阅读 下载PDF
监控使能的分布式软件系统构造方法 被引量:11
3
作者 刘东红 郭长国 +1 位作者 王怀民 王涛 《软件学报》 EI CSCD 北大核心 2011年第11期2610-2624,共15页
针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提... 针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提出了监控使能的分布式软件开发方法和工具,降低了监控实施代价,增强了代码的可维护性;基于运行时体系结构,提出了监控系统的动态可定制部署方法.监控使能的分布式软件构造方法能够在开发时控制功能代码和非功能代码的纠结,尽可能地降低软件编程人员的代码维护难度;能够在部署时保证监控系统和被监控对象的松耦合;能够在运行时实现监控信息的按需汇聚和按需处理.从而在对系统核心业务的影响尽可能小的前提下.获得对系统运行行为尽可能全面的理解. 展开更多
关键词 监控 分布软件系统 软件构造 可信软件
在线阅读 下载PDF
分布式软件系统交互行为建模、验证与测试 被引量:9
4
作者 张琛 段振华 +1 位作者 田聪 鱼滨 《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1604-1619,共16页
为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于... 为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性. 展开更多
关键词 分布软件系统 建模 模型检测 验证 测试用例
在线阅读 下载PDF
一种具有时间约束的分布式软件可靠性评估方法 被引量:6
5
作者 韩宗芬 李运发 +1 位作者 谢夏 金海 《计算机研究与发展》 EI CSCD 北大核心 2004年第2期311-316,共6页
在对分布式软件的可靠性进行评估时 ,通常采用以分布式程序为基础建立的相应模型 ,然而这些模型侧重于分布式软件的可靠性 ,很少反映具有时间约束特征的可靠性特性 以分布式软件的可靠性模型为基础 ,将精简和广度优先两种方法有机结合 ... 在对分布式软件的可靠性进行评估时 ,通常采用以分布式程序为基础建立的相应模型 ,然而这些模型侧重于分布式软件的可靠性 ,很少反映具有时间约束特征的可靠性特性 以分布式软件的可靠性模型为基础 ,将精简和广度优先两种方法有机结合 ,对文件生成树中的数据文件传输时间进行评测 ,确定文件生成树的状态 。 展开更多
关键词 实时特征 可靠性评估 分布软件 文件生成树 响应时间
在线阅读 下载PDF
一种基于构件的分布式软件构架描述语言 被引量:4
6
作者 何坚 房鼎益 +1 位作者 王志敏 覃征 《西安交通大学学报》 EI CAS CSCD 北大核心 2002年第6期612-615,共4页
针对分布式软件系统规模和复杂性不断增大的特点 ,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言 (DSADL) ,详细描述了DSADL的设计目标、组成元素以及形式化描述基础 ,并实现了分布式软件构架集成开发环境 (ED... 针对分布式软件系统规模和复杂性不断增大的特点 ,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言 (DSADL) ,详细描述了DSADL的设计目标、组成元素以及形式化描述基础 ,并实现了分布式软件构架集成开发环境 (EDAD) .由于DSADL结合了SADL与构件技术 ,因此它既有严格的语义基础 ,同时又具有构件的可复用性、易移植性的特点 .实践证明 ,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计 。 展开更多
关键词 构件 软件体系结构 描述语言 分布软件 属性文法
在线阅读 下载PDF
可重用的分布式软件构件模型分析 被引量:15
7
作者 郑红 李师贤 《计算机工程与应用》 CSCD 北大核心 2002年第15期68-71,共4页
软件重用一直是软件生产的目标。分布式构件是可重用的软件模块,该文介绍了当前比较流行的三大分布式构件模型,并对它们进行了分析比较。
关键词 分布软件构件模型 CORBA 软件重用 程序设计语言 软件工程
在线阅读 下载PDF
一个基于构件的分布式软件构架开发环境 被引量:3
8
作者 何坚 覃征 +1 位作者 房鼎益 贾晓林 《小型微型计算机系统》 CSCD 北大核心 2003年第9期1637-1640,共4页
针对分布式软件和软件构架日益复杂的特点 ,本文首先提出并建立了一个基于构件的分布式软件构架描述语言 DSADL,然后介绍了基于 DSADL 的分布式软件构架开发集成环境 EDAD.实践证明 ,EDAD能够有效辅助分布式软件设计人员在构架层次上对... 针对分布式软件和软件构架日益复杂的特点 ,本文首先提出并建立了一个基于构件的分布式软件构架描述语言 DSADL,然后介绍了基于 DSADL 的分布式软件构架开发集成环境 EDAD.实践证明 ,EDAD能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计 。 展开更多
关键词 构件 软件体系结构 描述语言 分布软件 属性文法
在线阅读 下载PDF
分布式软件的交互行为监测机制的研究 被引量:3
9
作者 万烂军 李长云 贺宗梅 《计算机工程与应用》 CSCD 北大核心 2011年第5期60-64,72,共6页
在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,为有效监测其交互行为,分析了交互行为监测对象,明确了对交互行为中哪些可信相关数据进行监测;给出了交互行为监测机制的设计原则,遵循此原则设计了3层... 在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,为有效监测其交互行为,分析了交互行为监测对象,明确了对交互行为中哪些可信相关数据进行监测;给出了交互行为监测机制的设计原则,遵循此原则设计了3层结构的监测框架;并在此基础上实现了交互行为监测机制。该监测机制已应用于分布式电子商务应用系统中,结果表明该监测机制是有效的。 展开更多
关键词 交互行为监测 分布软件 可信 构件交互
在线阅读 下载PDF
一个基于属性文法的分布式软件构架描述语言 被引量:3
10
作者 贾晓琳 覃征 +1 位作者 何坚 虞凡 《计算机研究与发展》 EI CSCD 北大核心 2006年第1期54-60,共7页
综合考虑当前各种软件构架描述方式的特点,结合分布式软件的特征,首先,提出并建立了一个以属性文法AG(attributed grammar)为基础的、基于构件的分布式软件构架描述语言DSADL(distributedsoftware architecture descriptionlanguage)及... 综合考虑当前各种软件构架描述方式的特点,结合分布式软件的特征,首先,提出并建立了一个以属性文法AG(attributed grammar)为基础的、基于构件的分布式软件构架描述语言DSADL(distributedsoftware architecture descriptionlanguage)及其自动生成模型,通过对属性文法的扩充,实现了用其描述构件的并行、同步、时序等特性;其次,借助于AG分析器和属性计算器,开发了基于DSADL的分布式软件构架开发集成环境原型,支持对分布式软件体系结构的图形化建模和ADL的自动生成,可方便地进行系统验证和分析·初步使用表明,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计,从而提高系统的开发效率· 展开更多
关键词 软件构架 属性文法 分布软件 体系结构描述语言
在线阅读 下载PDF
基于检查点的分布式软件监控与可信性评价 被引量:2
11
作者 李珍 田俊峰 +1 位作者 常卓 马晓雪 《通信学报》 EI CSCD 北大核心 2016年第3期7-19,共13页
基于检查点的传统软件可信性评价方法以及目前针对分布式软件的交互关联规则,对于具有复杂交互行为的分布式软件均不适用。采用伴随式分布式软件监控机制,在节点内织入3类检查点,引入适应复杂交互场景的交互关联规则。通过将节点分解为... 基于检查点的传统软件可信性评价方法以及目前针对分布式软件的交互关联规则,对于具有复杂交互行为的分布式软件均不适用。采用伴随式分布式软件监控机制,在节点内织入3类检查点,引入适应复杂交互场景的交互关联规则。通过将节点分解为多层模块结构,进行基于检查点结构树的节点实例可信性以及基于节点的分布式软件可信性评价。实验表明能以较小的监控开销,更准确地评价分布式软件实例的可信性,能够处理无限路径,且不存在大状态空间问题。 展开更多
关键词 分布软件 可信性 检查点 交互 行为监控
在线阅读 下载PDF
基于组件的分布式软件的动态配置和容错 被引量:2
12
作者 曹旻 吴耿锋 +1 位作者 徐白昱 宋毅 《计算机工程与应用》 CSCD 北大核心 2004年第6期100-104,共5页
论文提出一种结构化新方法,它能通过动态配置支持基于组件的分布式软件的容错。采用面向图形的编程模型,基于组件的分布式软件的软件体系结构可用一个逻辑图来表示,该逻辑图可以精化为一个明确的对象并分布到网络中,软件的动态配置通过... 论文提出一种结构化新方法,它能通过动态配置支持基于组件的分布式软件的容错。采用面向图形的编程模型,基于组件的分布式软件的软件体系结构可用一个逻辑图来表示,该逻辑图可以精化为一个明确的对象并分布到网络中,软件的动态配置通过执行定义在图上的一系列操作来实现,发生错误时通过动态重配置软件来支持容错。论文描述了该方法的基本模型、系统结构及其在CORBA上的实现原型。 展开更多
关键词 基于组件的分布软件 动态配置 容错 GOP CORBA
在线阅读 下载PDF
面向模式的分布式软件构架可视化建模 被引量:6
13
作者 刘炜 房鼎益 陈晓江 《计算机工程》 EI CAS CSCD 北大核心 2005年第3期102-104,共3页
主要阐述了面向模式的分布式软件构架的概念、原理和常用构架模式的特点。重点研究了提出的面向模式的软件构架建模语言、可视化建模工具的设计原理、功能及特点等,并以一个具体应用实例展示了该建模工具的实用性。
关键词 分布软件 软件构架 可视化建模工具 建模语言 功能 设计原理 实例 模式 具体应用 特点
在线阅读 下载PDF
CORBA构件技术在信息系统分布式软件体系结构中的应用 被引量:5
14
作者 王锐 胡金柱 +1 位作者 李源 陈娟娟 《计算机工程与应用》 CSCD 北大核心 2003年第9期133-134,155,共3页
随着企业(事业)分布式信息处理的日趋复杂,传统的C/S体系结构已不能适应复杂信息系统的需要,开发者必须寻找新的软件体系结构,才能成功地开发出可用性较好的信息系统。该文探讨了一种适用于企业(事业)信息系统的分布式软件体系结构,结... 随着企业(事业)分布式信息处理的日趋复杂,传统的C/S体系结构已不能适应复杂信息系统的需要,开发者必须寻找新的软件体系结构,才能成功地开发出可用性较好的信息系统。该文探讨了一种适用于企业(事业)信息系统的分布式软件体系结构,结合开发实例讨论了基于CORBA的构件技术及其在分布式信息系统开发中的一些具体方法。 展开更多
关键词 分布软件体系结构 软件构件 CORBA 信息系统
在线阅读 下载PDF
CMM实践中的分布式软件工程管理框架 被引量:2
15
作者 汤克明 殷新春 陈崚 《计算机工程与应用》 CSCD 北大核心 2002年第3期77-79,116,共4页
分布式计算机体系结构的进展,使得客户/服务器软件工程被分布式软件工程所代替。CMM(CapabilityMaturityModel)已被软件组织所认识和重视,CMM实践中的软件工程的管理机制是软件质量保障的关键因素。该文介绍一种符合CMM思想、支持CSCW... 分布式计算机体系结构的进展,使得客户/服务器软件工程被分布式软件工程所代替。CMM(CapabilityMaturityModel)已被软件组织所认识和重视,CMM实践中的软件工程的管理机制是软件质量保障的关键因素。该文介绍一种符合CMM思想、支持CSCW、适合分布式系统结构的管理框架,通过CMM角色定义、过程定义、过程流与文档流的管理以及对CMM角色行为的协同控制,帮助软件企业有效地控制软件过程、增强开发效率、改进软件产品质量。 展开更多
关键词 CMM 分布软件工程 软件方法学 软件质量管理 计算机
在线阅读 下载PDF
基于UML的分布式软件体系结构中部件交互模式的复用 被引量:4
16
作者 贾楠 刘建宾 李小英 《计算机应用》 CSCD 北大核心 2002年第5期14-17,共4页
以客户 /服务器系统为例 ,说明基于UML的分布式软件体系结构中部件交互模式的复用技术。用UML中的类图描述了模式中的部件 ,用合作图描述了部件间的交互 ,同时也对同步方式、异步方式和代理通讯方式进行了建模。最后对前面所建模型进行... 以客户 /服务器系统为例 ,说明基于UML的分布式软件体系结构中部件交互模式的复用技术。用UML中的类图描述了模式中的部件 ,用合作图描述了部件间的交互 ,同时也对同步方式、异步方式和代理通讯方式进行了建模。最后对前面所建模型进行了实例化 。 展开更多
关键词 UML 分布软件体系结构 部件交互模式 软件复用 软件开发
在线阅读 下载PDF
基于VMware vSphere的分布式协同软件测试平台构建 被引量:10
17
作者 赵爽 董宗然 《沈阳工业大学学报》 EI CAS 北大核心 2019年第6期648-653,共6页
为了解决复杂分布式软件测试中经常需要多机器间协同配合以完成测试工作的问题,提出一种基于VMware vSphere的协同软件测试平台的设计方法.探讨了测试平台的技术选型及架构设计,并对平台设计中的关键技术进行了分析和说明.结果表明,该... 为了解决复杂分布式软件测试中经常需要多机器间协同配合以完成测试工作的问题,提出一种基于VMware vSphere的协同软件测试平台的设计方法.探讨了测试平台的技术选型及架构设计,并对平台设计中的关键技术进行了分析和说明.结果表明,该平台对测试中可预见的虚拟机操作提供了充分的自动化支持,使诸多需要多机器协同配合的复杂测试用例实现了自动化,对缩短软件开发周期,降低软件研发成本,提高软件质量具有一定借鉴价值. 展开更多
关键词 vSphere虚拟机 虚拟化 自动化测试 分布软件 软件部署 协同测试 脚本程序 测试平台
在线阅读 下载PDF
一种基于分布式对象软件构架的网络管理模型 被引量:2
18
作者 陶军 王光兴 顾冠群 《小型微型计算机系统》 CSCD 北大核心 2002年第9期1033-1036,共4页
随着网络管理技术的快速发展以及分布式技术、面向对象技术和构件软件的广泛应用 ,对网络管理系统管理能力的要求日益增长 .本文通过对传统网管系统不足的分析 ,提出了一种基于分布式对象软件构架的网络管理模型 ,分析了基于该模型网管... 随着网络管理技术的快速发展以及分布式技术、面向对象技术和构件软件的广泛应用 ,对网络管理系统管理能力的要求日益增长 .本文通过对传统网管系统不足的分析 ,提出了一种基于分布式对象软件构架的网络管理模型 ,分析了基于该模型网管系统的性能表现 . 展开更多
关键词 分布式对象软件构架 网络管理模型 面向对象 CORBA 计算机网络 通信网
在线阅读 下载PDF
分布式软件系统运行时监测框架研究 被引量:1
19
作者 刘东红 邹鹏 《计算机工程与科学》 CSCD 北大核心 2013年第6期24-29,共6页
软件监测是评价大规模分布式系统行为是否符合预期的重要手段,也是进一步实施在线调整和演化活动的前提和基础。给出了一个名为Mega的分布式软件系统运行时监测框架,可以支持具备监测能力的分布式软件系统的开发和运行。一方面,该框架... 软件监测是评价大规模分布式系统行为是否符合预期的重要手段,也是进一步实施在线调整和演化活动的前提和基础。给出了一个名为Mega的分布式软件系统运行时监测框架,可以支持具备监测能力的分布式软件系统的开发和运行。一方面,该框架通过引入一种专门的监测需求描述语言,在分布式系统中实现了监测逻辑和功能逻辑的分离,使得监测逻辑可以高效开发和独立维护。另一方面,该框架通过引入为监测数据处理而设计的事件模型,使得大规模系统的监测具备可伸缩和可扩展性。在阐述Mega框架特点的基础上,进一步给出了基于这一框架的若干监测设计模式,可以有效支持具备监测能力的大规模系统开发。 展开更多
关键词 运行时监测 框架 分布软件
在线阅读 下载PDF
基于Petri的分布式实时嵌入式软件合理性分析 被引量:1
20
作者 陈丽琼 邵志清 +1 位作者 王秀英 范贵生 《计算机科学》 CSCD 北大核心 2008年第8期277-280,299,共5页
合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITP... 合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。 展开更多
关键词 分布式实时嵌入式软件 PETRI网 建模 合理性 验证
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部