基于uC/OS_Ⅱ嵌入式系统构件的研究与设计

本文为增强嵌入式软件的复用性、可移植性,缩短开发周期和产品上市时间,利用uC/OS_Ⅱ作为一种实时性、源代码公开高稳定性、可固化、可剪裁的特点,提出了基于uC/OS_Ⅱ嵌入式系统构件的设计框架和通用模块的实现,有效缩短了嵌入式系统软件开发周期。

一种舰载指控系统构件集成测试方法

基于构件的软件开发方法强调基于构件的组合装配以快速搭建应用系统,因此针对此类系统的多个构件组合后的集成测试技术尤为重要。文章针对舰载指控系统构件的特点,给出了构件依赖关系矩阵的定义和生成方法,提出了一种基于依赖关系矩阵的舰载指控系统构件集成测试方法。

基于等压雨幕原理的构件式幕墙系统开发

构件式等压雨幕幕墙系统是一款干密封干安装的幕墙系统,借助简洁的设计与柔性胶条的搭配,简化了安装工艺;通过在幕墙系统内建立正确有效的等压腔以及等压腔的合理布置,消除导致空气和水渗透的室内外压力差;通过通气孔与排水孔的合理布置,实现侵入雨水的导排管理,改变了构件式幕墙系统完全依靠打胶密封进行防水的现状。

基于构件的涵洞CAD图形系统

从便于数据管理出发,将工程量计算和图形处理划分为一个图形系统构件,采用VB6.0的ActiveX DLL模式和AutoCAD图形平台,建立了图形系统构件和图形函数库,并给出了构件内部结构和接口。

构件软件系统的可靠性评估模型简介

对构件软件系统可靠性评估模型作了简要介绍.构件软件系统可靠性评估应考虑的问题包括构件的可靠性、构件软件系统的可靠性和运行剖面对构件软件系统可靠性的影响等.在分析了有关模型的基础上,指出了该领域研究中存在的一些问题,并对今后的研究方向提出了一些建议.

基于场景规约的构件式系统设计分析与验证

使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

基于Web Service的构件库管理系统

论文介绍了一种基于WebService的构件库管理系统CLMSBWS。该系统在传统构件库管理系统技术的基础上,采用了WebService技术,实现了系统跨平台、跨语言的互操作功能,大大提高了系统的普适性、可互操作性和可扩展性。

构件库中构件系统的模型和实现

构件系统是具有某种关联的构件和子构件系统的集合 .构件库管理系统支持和实现构件系统具有重要的意义 .论文描述了一个构件系统的逻辑结构、物理结构和其面向对象的管理技术 .其主要特点是 :(1)构件系统的类型机制 ;(2 )丰富的、支持共享的构件和构件系统信息 ;(3)构件、构件系统间关系的表达和存储 .因此 ,利用该构件系统能够简单和强有力地表达构件库的体系结构 ,全面支持软件开发生命周期各个阶段构件和大粒度构件系统的复用和构件库的其它功能 。

基于SSH的多语种构件库管理系统的设计与实现

基于SSH框架结构的思想,根据新疆多语种软件构件的特点和需求,设计开发了多语种构件库管理系统。该系统在传统的构件库管理系统技术的基础之上,运用SSH框架技术,显著提高了应用系统的开发效率,并且系统有较高的重用性和可扩展性。

EDI-XML通用数据转换构件系统的设计与实现

本文分析了基于EDI和XML技术的电子商务系统应用集成问题,描述了一个EDI-XML通用数据转换构件系统的设计原则和软件架构,论述了该架构方案中EDI-XML数据模式的定义机制,提出了一个EDI-XML通用数据转换的实现算法。

基于软件重用的报表构件生成系统的研究与实现

针对IS(信息系统)中报表的处理过于烦琐,本文在基于软件重用的基础上,对各类报表进行分析,提出了一个 报表构件模型,使得用可重用的构件组装报表成为可能.并且根据此思想,建立了报表模板库,开发出报表构件生成系 统,实现了报表的构件化管理和重用,并应用于实际的IS开发中.

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

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

构件式实时系统建模与验证研究

在复杂的实时系统开发中使用构件式设计方法已成为目前软件开发领域中的研究热点,如何有效地验证实时软件的设计是否满足给定的时间需求并降低验证过程的复杂度,是实时计算领域中的主要挑战之一.文中对构件接口模型进行时间扩展,提出了时间接口模型,并将其用于构件接口交互行为的形式化建模.在接口自动机理论的的基础上进一步提出了时间接口自动机模型用于描述时间接口交互下构件的行为及组合方法,通过消除错误状态产生组合模型来约减构件时间接口自动机模型的积,并在约减的模型上进行性质检验,降低了分析复杂度,有效地应对状态空间爆炸问题.为了说明论文建议的方法,详细讨论了一个简单的、贯穿整篇论文的示例系统.

一个基于Internet的构件库管理系统JBCLMS

随着软件复用技术的发展，对构件的分类、存储、管理以及检索的工具的需求越来越迫切．文章介绍了一个能有效实现上述功能的基于Ｉｎｔｅｒｎｅｔ的构件库管理系统．ＪＢＣＬＭＳ，并叙述了该系统的结构与功能等．

基于构件库管理系统的构件复用度度量模型

构件概念及其理论的发展始终以软件复用为切入点,只有被最大可能地复用,构件才有其存在的意义和经济价值。如何用一种较为精确的、基于实践应用的方法来评价构件的复用度,关系到构件质量的提高和构件库的有效性。该文介绍了构件复用的概念,并结合构件库管理系统,提供了一个对构件复用度的度量模型,分析了度量结果对构件库的反馈作用,能够对构件库管理系统的设计与实现提供参考。

构件系统建模及其动态演化一致性验证方法

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。

智能主体在构件库系统中的应用研究

基于构件的软件开发(CBSD)能有效地提高软件的开发效率,提高软件的质量,降低开发和维护成本,因此它成为软件工程的研究热点之一。构件库是CBSD的核心技术之一,在分布式构件库系统中,通过多智能主体之间的相互协作,能较好地满足在各企业间跨越构件库请求并检索构件的需求。给出了一个基于多智能主体的分布式构件系统体系结构,详细讨论了其中的检索主体、请求主体和发布主体。

构件化信息系统体系结构及其业务构件模型研究

构件化信息系统是根据用户需求通过组装现有构件的方式来建立满足不同企业需求和适应企业需求变化的信息系统,其核心是构建即插即用型领域业务构件。本文提出了构件化信息系统的体系结构及面向制造业的业务构件模型,以支持构件化信息系统及业务构件的开发。

一个基于Agent的分布式构件管理系统

首先给出了软构件在分布式网络环境下的形式化定义 ,据此建立可重用的软构件库 ;然后将A gent技术引入到分布式构件管理中 ,建立了以可重用软构件库为核心 。

考虑构件有效可靠性的构件式系统可靠性评测

针对目前基于构件的系统的可靠性评测方法没有充分考虑构件有效可靠性导致评测结果不够准确的问题,进行了构件有效行为、构件有效可靠性确定方法及系统可靠性评测方法的研究,提出了一种考虑了构件有效可靠性的评测方法。该方法首先通过系统UML模型抽取出场景规约中所描述的构件的有效行为,根据有效行为确定构件在系统中的有效可靠性,然后采用Markov理论对系统进行可靠性建模,进而对整个系统进行可靠性评测。通过对一个具体系统的可靠性的计算给出了评测结果,结果表明,考虑构件有效行为后,对基于构件系统的可靠性的评测更加合理。