基于本体的主动构件库系统研究

目前,基于构件的软件开发方法(CBSD)在软件工程研究与软件开发领域变得越来越重要。该文提出了一种主动构件库系统系统,在传统构件库SourceForge的基础上,该系统根据开发者的实际需求,主动的将构件推送给用户。该方法通过构建领域本体,创建构件库访问代理,实时代码分析,并结合用户个性化信息,在上述基础上实现了基于本体的构件检索与推送。方法有效的整合了构件库、构件检索、构件查询,并同开发过程进行了无缝整合。试验表明,在开发过程中应用该方法,可以提升构件查询的准确度,并有效地降低获取构件的成本。     

青鸟网上构件库系统的访问控制机制

青鸟网上构件库系统通过对可复用构件的管理,支持软件企业进行基于构件的软件开发.系统在提高开放性的同时,往往会带来安全性以及知识产权方面的问题.为了解决这些问题,在青鸟网上构件库系统中采用基于角色的访问控制机制,并将构件描述信息与构件实体区别对待.为构件库系统及其所管理的构件定义了用户、角色、权限和角色继承,满足了安全性、知识产权管理等多种需求,同时也保证了系统的效率和对复用的支持.     

构件及基于构件的开发方法研究

构件是软件复用的基础,CBD(基于构件的开发)方法是未来软件的解决方案.CBD方法能够利用领域最新技术和最佳解决方案,高效、快捷地开发出移动的面向服务的分布式系统.文中概述了构件及CBD方法的系列核心概念,同时列出了一些典型的CBD方法和实施CBD方法时的注意点.最后阐述了CBD方法需待研究和发展的部分.     

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.     

基于事例推理的知识构件的研究与实践

基于事例的推理（CBR）是一种重要的机器学习方法，广泛应用于各类智能系统，如医疗诊断系统、客户服务系统等。本文利用XML良好的语法结构和可扩展特性来规范事例知识的表示，同时应用基于构件的软件开发模式，通过EJB技术把基于事例的推理方法构件化，形成一个可应用于分布式环境下、可复用的知识构件ComCBR。最后，一个基于J2EE的简单的网上医疗诊断系统作为ComCBR的一个应用实例而得到了设计与实现。本文旨在通过规范事例知识的表示和基于构件的开发模式这两个方向的研究来推动基于事例知识研究的应用和实践。     

可复用构件的框架表示与检索*

提出了基于人工智能框架知识表示的构件描述方法,以解决构件描述、分类、检索等构件复庸丶晕侍?并利用框架表示的推理特性,建立了基于规则推理和功能粒度的构件搜索匹配算法,提高构件搜索效率和准确性.     

基于本体的服务构件描述研究与实现

面向服务架构(SOA)是实现企业自动化的未来发展趋势,用面向服务思想架构企业应用更强调如何通过基于构件的软件开发(CBSD)快速满足企业多变的业务需求,构件的描述方法是构件库管理和构件分类检索的基础.通过对服务构件的语义描述方法与传统构件描述方法的比较,引入了本体建模的思想,对青鸟构件库系统构件分类描述规范和OWL-S规范进行了扩展,提出了一种基于本体的服务构件描述方法.这种服务构件语义描述方法支持面向服务的语义检索,提高了服务检索的查全率和查准率,为实现基于语义Web Service的SOA网构开发奠定基础.     

构件及基于构件的开发方法研究

构件是软件复用的基础．CBD(基于构件的开发)方法是未来软件的解决方案。CBD方法能够利用领域最新技术和最佳解决方案，高效、快捷地开发出移动的面向服务的分布式系统。文中概述了构件及CBD方法的系列核心概念，同时列出了一些典型的CBD方法和实施CBD方法时的注意点。最后阐述了CBD方法需待研究和发展的部分。     

基于构件的IM系统研究与开发

根据即时通信(IM)领域所具有的特定性、内聚性和稳定性,采用基于构件的软件开发方法(CBSD),设计一个即时通信领域内的IM模型CBIM.并结合MSNP9协议,在CBIM框架内开发一个简单的MSN构件.实验表明,CBIM模型能够充分利用可复用资源,降低IM协议的维护成本,为今后不同IM协议间的互联互通提供有价值的参考.     

基于知识库和实例推理的构件检索方法

提出了一种利用人工智能领域中基于实例的推理（CBR）创建基于知识库的软件构件库进行构件检索的框架方法。重点阐述了利用软件构件的功能和行为知识表达测量检索到的构件实例与问题需求的相似度、构件功能性和构件可重用性的方法。     

基于组合服务执行信息的服务选取方法研究

组合服务选取问题是服务计算领域的一个研究热点问题,已往的选取方法大多基于难以准确获取的服务QoS信息,且算法思路复杂.文中提出了一种基于组合服务执行信息的服务选取方法.该方法分为3个阶段:数据生成阶段、数据挖掘阶段和服务选取阶段,分别进行组合服务执行信息的记载和相关数据集的生成、路径分支关联规则和服务执行顺序序列模式的挖掘以及基于挖掘产生的知识模式进行服务选取.文中首先给出一种可以方便记载日志的服务组合系统架构;然后提出一种基于时间加权的算法模型,以有效地进行路径分支关联规则和顺序序列模式的挖掘;最后对文中的组合服务选取方法进行描述.实验结果表明:文中方法在选取出的组合服务健壮性方面要优于基于QoS的方法.     

基于本体及模式驱动的构件化软件共同变化识别研究

对共同变化的识别有利于软件维护人员对软件变化的理解和控制。传统的软件共同变化识别方法通过对软件版本控制系统中的数据挖掘,进而识别源程序文件或者类之间的共同变化,但这种方法不适合对构件化软件中构件间共同变化的识别。为此,本文在基于构件的软件配置管理模型的基础上,设计了构件化软件演化信息本体模型以及两者间的映射规则,并提出了构件化软件共同变化模式（基本模式和复合模式）和相应的本体推理规则,开发了原型支撑系统。     

一种基于嵌入式软件构件管理方法

构件化软件开发的最终目的是希望软件像传统产品一样能在生产线上生产出来。软件最终由软件框架来实现,一个良好的软件框架应该能够将设计结果尽量保存下来,同时可以灵活更换和重用软件部件。研究构件化的软件框架对构件化的开发技术在嵌入式实时软件开发中迅速普及具有最直接的推动作用。对嵌入式控制系统嵌入软件构件框架进行了深入研究,完成了框架中的数据管理和构件调度机制等内容,验证了该源码构件模型在嵌入式控制软件领域中的可用性。     

基于组件的多智能体油气开发软件应用平台的研究

该文利用基于实例推理的思想和技术,提出了一个基于组件推理的多智能体油气开发软件应用平台的体系结构和实现方法。该系统是基于系统所记忆的以往应用软件对象类组件来主动推理解决所面临的应用软件开发问题,并可通过对象类的不断增加,获取应用软件开发的知识,从而提高和改善应用平台软件开发的能力。     

基于组件的嵌入式软件开发中的几个关键问题*

针对嵌入式系统的实际特性,着重从系统的角度提出构造一个嵌入式应用程序的开发架构,也可以称为开发框架.该开发架构是以基于组件的方法来开发嵌入式应用程序的,其主要研究系统结构规约、系统行为规约、组件配置和执行、程序产生和系统配置等几个关键问题.研究的结果将指导一个分布嵌入式应用程序开发框架的构造.     

基于着色Petri网的系统可生存性仿真平台

对可生存系统组件在攻击、抵抗、恢复3种因素作用下的状态转换过程进行分析,设计基于着色Petri网的系统可生存性仿真平台,从攻击强度、攻击密度、恢复强度、攻击策略、恢复策略5个方面模拟可生存系统的行为特性。以一个IPTV网络服务系统为例,利用平台仿真其在遭受不同攻击时的服务提供能力。仿真结果表明,该平台能较好地实现系统可生存性分析。     

Static vulnerability detection in Java service-oriented components

Extensible component-based platforms allow dynamic discovery, installation and execution of components. Such platforms are service-oriented, as components may directly interact with each other via the services they provide. Even robust languages such as Java were not designed to handle safe code interaction between trusted and untrusted parties. Dynamic installation of code provided by different third parties leads to several security issues. The different security layers adopted by Java or component-based platforms cannot fully address the problem of untrusted components trying to tamper with other components via legitimate interactions. A malicious component might even use vulnerable ones to compromise the whole component-based platform. Our approach identifies vulnerable components in order to prevent them from threatening services security. We use static analysis to remain as exhaustive as possible and to avoid the need for non-standard or intrusive environments. We show that a static analysis through tainted object propagation is well suited to detect vulnerabilities in Java service-oriented components. We present STOP, a Service-oriented Tainted Object Propagation tool, which applies this technique to statically detect those security flaws. Finally, the audit of several trusted Apache Felix bundles shows that nowadays component-based platforms are not prepared for malicious Java interactions.     

基于博弈论的信息系统生存性提升方法研究

当前对信息系统生存性的研究主要集中在静态环境下生存性定量分析及保障的技术实现,但生存性在不同技术和动态环境下的能力是不一样的,根据生存性能力高低可以将其划分成若干等级.用户在向信息系统提交业务时需要根据生存性等级来支付费用,而经营者为达到相应的生存性等级必须付诸一定的投资,因此,经营者迫切希望能够找到一种提升方法,以自身的收益来决定信息系统应该具备的生存性等级.通过对信息系统经营者和用户之间的博弈行为及收益分析,构建了博弈模型,并对混合策略下的纳什均衡进行了求解,并根据收益最大化原则设计了经营者是否提升信息系统生存性等级的控制策略.最后在一个生存性被划分为5个等级的信息系统上进行了仿真实验,计算结果表明所提出的博弈模型及生存性提升方法是合理、可行的.     

基于构件的Web系统前馈神经网络可靠性模型

对基于构件结构复杂度较高的Web系统进行可靠性评估时,基于状态或基于路径的软件可靠性评估模型计算复杂度较高,鲁棒性不足。为此,提出了一种计算复杂度低、鲁棒性强的基于构件的前馈神经网络可靠性模型CBPRM。CBPRM将Web系统中各构件的可靠性作为前馈神经网络输入,并基于构件可靠性敏感度对神经元进行动态优化,Web系统可靠性评估由前馈神经网络输出实现。理论分析和实验结果表明,在基于构件结构复杂度较高的Web系统可靠性评估中,CBPRM的计算复杂度低于对比模型,并可确保可靠性评估精度。     

QoS需求驱动的服务配置框架

为支持服务质量敏感的基于组件的分布式应用的开发,中间件需要为组件提供并配置各种服务质量服务的非功能性属性.目前的组件架构提供的服务配置方式大多是静态的,且没有考虑不同客户的需求.在对EJB架构进行研究的基础上,提出一种服务质量需求驱动的服务配置框架.研究了根据客户的服务质量需求,在组件实例级别自动生成服务配置决策并实施,实现对不同客户服务差分处理.框架是一个基于服务配置的决策模型,通过多选择背包问题生成服务配置策略.最后通过一个应用实例对框架进行了验证.