首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 875 毫秒

1.  浅论软件技术发展  被引次数:89
   杨芙清  梅宏  吕建  金芝《电子学报》,2002年第30卷第Z1期
    本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和主要研究方向.    

2.  基于构件的网构软件组装技术分析  
   邹茁《网友世界》,2013年第4期
   随着网路技术的发展,软件Agent、Web Service、CCM、云计算等技术非常流行。用户在不断追求在Internet环境下的新体验,相对传统的软件运行平台逐渐由静态封闭走向开放、动态和多变。本文针对网构软件这一概念的提出,对相应的新的软件开发方法进行具体详细分析,全面分析了软件发展的全新模式。基于构件的可复用操作组装技术的开发应用,较好的适应这种模式的转变。面向构件的网构软件组装技术是目前软件研究的热点,通过对于这种技术的深刻分析,将对网构软件的开发具有重要意义。    

3.  基于Agent的网构软件构件模型及其实现  被引次数:1
   常志明  毛新军  齐治昌《软件学报》,2008年第19卷第5期
   网构软件代表了Internet环境下的一种新型的软件形态,但仍然面临着外部环境显式化、软件实体主体化、运行机制自适应等问题.从构件的角度出发,提出了EBDI(electronic business document exchange)结构以表示能够根据环境变化实施自主行为的构件,利用动态绑定关系解释了构件的自适应演化特征.根据形式化的Role模型,描述了构件的运行状态、自主运行及自适应演化运行机制.开发了DAgent-Internetware原型作为网构软件的支撑平台,支持以DAgent为构件的网构软件从设计到实现、部署、运行、演化等一系列流程.    

4.  网构软件的实现和测试方法的研究  
   李大志  张崇明  任磊《计算机工程与设计》,2008年第29卷第8期
   对网构软件的形成和测试进行了理论的分析,并提出了具体的实现方法.综述了基于Internet平台上的新形态的软件,即网构软件的概念、特征及其生命力,网构软件形态和传统软件形态的区别,传统软件的测试前提、技术和步骤以及传统的测试方法.提出了网构软件在Internet平台上实现的雏形,及网构软件实现过程中的测试方法.    

5.  网构软件模型中的抽象状态机设计  
   张引  何浩  赵丽娜  张三元《浙江大学学报(工学版)》,2010年第44卷第5期
   为了更好地支持和实现网构软件的自动化,提出在网构软件模型中使用抽象状态机(ASM).在Internet的计算环境下,采用peer to peer(P2P)拓扑结构作为网构软件模型的支撑网络环境,使用ASM的方法从较高的抽象层次(概念层)描述整个系统的行为与状态变迁,使系统特征易于把握.分析网构软件模型中ASM的架构,详细阐述ASM的运行规则,说明了系统状态特征的变迁情况.根据ASM方法所涉及到的各种状态、事件、方法、数据、规则等进行相应的设计和实现,已经初步形成一个网构软件设计和运行的支撑平台,证明了ASM在网构软件模型中的可行性以及ASM能够实现网构软件的自动化特性.    

6.  基于服务更新的网构软件可靠性模型研究(英文)  
   杜育根  LI Yonggang《计算机科学与探索》,2008年第2卷第4期
   网构软件是在开放、动态和多变的Internet环境下软件系统基本形态的一种抽象。这种新的软件系统,它的构建依赖于开放环境中各异构、自治的软件服务实体之间的有效协同。其可靠性不单取决于拥有自主性的软件服务实体本身,还取决于外部环境的动态变化,主要表现为开放环境下服务实体元素的更新,所以传统的软件可靠性的度量模型已不能适应这种新的软件形态。能否在网构软件形态下建立一个好的可靠性度量模型成为其中一个较为核心的问题。文章以服务更新过程中失效数(failurecounts)为基础,将服务更新强度引入Musa-Okumoto(M-O)模型中,作为M-O模型在新的软件形态下的一个推广。最后讨论了网构软件退化的情形和退化条件,为开放环境下网构软件可靠性研究提供一种思路。    

7.  支持Internetware的中间件技术演化模型(英文)  
   周明辉  WANG Qianxiang  焦文品  MEI Hong《计算机科学与探索》,2008年第2卷第4期
   随着网络的发展,中间件在应用的开发、部署和管理中扮演着越来越重要的角色。因为中间件的类型复杂,关于中间件的认知众说纷纭,而新一代计算环境和技术又对中间件提出了新的要求。针对中间件技术的演化提出了一种观点,并阐述了支持Internetware的下一代中间件系统的演化模型。    

8.  一种情境驱动的网构软件体系架构与支撑环境  
   黄晙  吴刚  马天笑《计算机工程与科学》,2010年第32卷第7期
   本文从网构软件Internet环境下涉及的各类事物和事件情境及情境的整个生命周期出发,以情境驱动为核心,对网构软件的体系结构与支撑环境展开研究,以支持服务实体的自适应、自演化行为。本文研究了Internet环境下服务实体交互与协同关系中的各种情境构成,给出了一个适合网构软件的情境本体定义。在此基础上,给出了一种基于情境感知的网构软件体系架构,并描述了在这一架构下网构软件按需聚合和动态演化的模型与机制。围绕该应用场景,结合服务实体实际运行时的特点及要素,给出了该体系架构下网构软件的支撑环境软件设计。最后,本文给出了一种基于OSGi服务平台的支撑环境参考实现。    

9.  基于模型的网构软件可达性检测方法研究  
   赵会群  孙晶  魏莹  王文文  郭峰《计算机学报》,2011年第34卷第6期
   针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上来;通过建立网构空间到线性空间映射,把网构线性相关判定问题转化成齐次线性方程组非零解的判定上来.转换过程把线性相关的网构进行压缩,从而有效地抑制了状态空间的增长.给出了可达性检测算法,并讨论了该方法的实际应用.    

10.  一种满足可靠度期望的网构软件优化方法*  
   马华  张红宇《计算机应用研究》,2011年第28卷第1期
   Internet环境下网构软件的开发是一个构件组装过程,传统的软件可靠性技术在其应用过程中面临着新的挑战。建立了网构软件的抽象模型和物理模型,介绍了可靠性的形式化定义及五种构件组装结构的可靠性度量方法,提出了一种满足可靠度期望的网构软件优化方法。该方法将复杂的网构软件结构进行串行化,以抽象构件、链路的可靠度期望阈值过滤无效分支,以网构软件的可靠性期望筛选较优路径,应用一种改进的蚁群优化算法求解,从而实现了网构软件抽象模型与物理模型的映射。实验仿真及分析表明,该方法适用于解决开放式环境下网构软件的可靠性优化问题,相对于传统方法,它具备较好的执行性能。    

11.  一种基于信任关系的网构软件安全模型及其应用研究  
   PANG Luo-jun《数字社区&智能家居》,2008年第15期
   作为一种新的软件架构概念和技术,网构软件成为当前软件工程研究领域的焦点之一。然而新的架构技术和运行环境也使得网构软件技术面临着一些新的问题,其中包括网构软件的信息安全性问题。为了实现对网构软件的信息安全保护,本文提出了一种基于信任关系的网构软件安全保护模型,它通过建立网构软件中各软件主体之间的信任关系,达到对网构软件中信息的安全保护目的。    

12.  Agent互操作性研究  被引次数:5
   贾志勇 景广军 等《计算机科学》,2003年第30卷第2期
   1 引言 Agent是一种具有自主性、交互性、移动性和智能性的软件主体。Agent的想法和研究起源于人工智能、人机界面设计和面向对象编程,它提供了一种新的分析、设计和实现复杂软件系统的方法和一个通用、灵活的分布式计算模式。从应用的角度来看,Agent特别适合网络环境下的Internet应用、复杂企业计算和移动计算,而分布、异构和动态则是    

13.  分布对象计算技术——CORBA规范  
   汪芸《水电厂自动化》,1999年第4期
   随着Internet的广泛应用,分布计算成了新的热点。为了解决分布环境下的异构问题。近年来将面向对象的思想应用到分布环境中,产生了分布对象计算技术。CORBA规范及其就有主流技术之一。本语文在比较各种分布技术的基础上,着重探讨CORBA技术的组成、特色、运行原理和使用方法,并搪塞了CORBA技术的新发展。    

14.  松弛隔离性下的事务性网构应用并发控制研究(英文)  
   赵宗涛  LIN Li  丁晓宁  WEI Jun  钟华《计算机科学与探索》,2008年第2卷第4期
   网构软件是指导Internet环境下协作式软件开发的一种新的软件范型,网构应用可以通过组合Internet上已有的web服务来方便地进行构造。事务机制是保障网构应用可靠性的重要技术。web服务的自治性及网构应用的长时间运行特性使得事务间的隔离性必须被放松,因而必须研究如何保障事务性网构应用在松弛隔离性下并发执行时的正确性。针对这一问题,提出了一种新的并发控制方法TSCM-CC(事务性服务复合模型-并发控制)来协调并发事务的相互影响。首先,根据依赖双方服务的事务特征对事务间依赖的类型进行细分;然后,提出了一系列的规则来限制依赖的动态形成,并证明了这些规则的正确性;最后,给出了这些规则的一个分布式的协调协议的实现机制。此方法的最大特色在于能够在保持各个事务性网构应用松弛原子性的同时保证松弛隔离性下并发执行的正确性。    

15.  教学软件开发技术的发展变化  
   苏晓丽《福建电脑》,2006年第1期
   论文首先介绍了教学软件的发展状况及相关软件技术,主要分析了传统教学软件的局限性和网络教学对教学软件技术带来的需求和挑战,总结出Internet环境下开发网络教学软件的新形态一一教学组件,指出了新形态不同于传统软件的主要特性和优势,展望了未来发展趋势。    

16.  基于组织的网构软件程序设计语言及其实现  
   胡翠云  毛新军  陈寅《中国科学:信息科学》,2013年第1期
   作为Internet环境下的一种新的软件形态,网构软件的自主性、协同性、适应性、演化性及柔性体系结构等特点对传统的程序设计模型、语言和支撑平台提出了一系列挑战.本文基于组织抽象和agent技术提出了支持网构软件构造的程序设计语言OragentL.首先,OragentL将软件agent作为网构软件中自主实体的抽象,并在这一层面设计和封装系统的自适应和自演化逻辑.其次,OragentL将组织、角色等组织抽象作为一级编程实体,提供了角色扮演、角色组合、角色演化、基于角色的交互、基于组织的自管理等机制为网构软件的动态性特点提供了显式的语言设施和机制支撑.我们设计了OragentL的语法和形式化操作语义,并开发了Oragentburg作为OragentL网构软件的运行时环境,支持OragentL程序的开发、编译、部署和运行    

17.  网构软件可靠性代数模型及简化计算研究  
   张靖  雷航《微电子学与计算机》,2013年第7期
   为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算的简化方法。实验证明,在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效,可以有效地应用于网构软件设计、开发和测试、维护等方面。    

18.  基于Internet/Intranet的软件开发技术  被引次数:1
   李杰《武汉工业学院学报》,2001年第1期
   伴随着Internet/Intranet的飞速发展,越来越多的应用软件运行于Internet/Intranet环境下。如何在Internet/Intranet环境下构筑应用软件的体系结构以适用于当前的软件开发工作便成为一个非常重要的研究课题。本文针对当前运行的客户机/服务器、浏览器/服务器方式,讨论了Internet/Intranet的软件开发技术。    

19.  面向agent的软件开发方法  被引次数:7
   毛新军 闫琪 王怀民 楚蓓蓓《计算机科学》,2003年第30卷第5期
   1.引言随着Internet和Intranet技术的迅猛发展、计算机应用的不断扩大和深入,当前软件系统广泛呈现出分布、自适应、动态可扩展、开放、异构、可成长等复杂性特征,如Internet环境下的信息服务系统、空中交通管制系统等。支持该系统建设的基础软件面临系统的动态可扩展性、自适应性、复杂交互合作、自我成长等一系列新的关键问题的挑战,其软件体系结构和开发方法,较传统软件都将发生深刻变化,从而对软件开发方法、技术、过程和工具等提出了新的要求。    

20.  结合可信度模糊评价与动态聚类的构件选择  
   马华  张红宇《计算机工程与应用》,2011年第47卷第21期
   开放、动态的Internet环境下,网构软件面临可信性的重大挑战。运用模糊理论,提出了一种满足最贴近用户可信度期望的构件选择方法。该方法中,定义了网构软件环境下构件的6种可信属性,介绍了一种多因素的构件可信度模糊综合评价方法,以此为基础,建立了一种满足用户可信度期望的网构软件模型,为实现候选构件与抽象构件的映射,应用基于模糊等价关系的动态聚类实现可信构件的选择。结合案例说明了方法的有效性。    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号