可组合嵌入式软件建模与验证技术研究综述

可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.     

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

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

基于XML描述的构件测试框架

针对构件技术的特点,提出并采用XML描述的方式实现构件自动测试.介绍了构件、XML、XML Schema的特性,并在分析了当前构件测试方法和所面临问题的基础上,对构件的测试技术和测试框架进行了深入研究,提出一个基于XML描述的构件测试框架.详细介绍了采用该方法设计的构件测试框架的体系结构、各单元之间的数据流和控制流关系以及各单元的功能和功能实现所采用的部分技术.工程实践应用表明了此框架的可行性及其特性.     

基于消息截获的构件和Aspect组合框架

针对提供的横切属性服务比较固定的问题,结合构件的软件开发和面向Aspect的软件开发,描述了构件和Aspect的组合关系,在此基础上提出了构件和Aspect的组合框架.该框架相对于使用容器技术而言,不再局限于要提前预置Aspect,从而使构件和Aspect能够动态的组合.     

面向基建行业的中间件平台的研究

在介绍基建行业中间件平台的框架的基础上,充分考虑到基建行业的特点和目前行业中的最新技术发展动态,重点讨论了分布式企业中间件设计与实现中的几件关键技术：特定领域软件架构在基建行业的应用、平台支持与业务功能处理流程等。为了达到更好的构件复用并简化开发过程,提出了使用非编译型的关系型数据、XML及解释执行的脚本语言JScript作为构件的实现载体,在此基础上提出了界面构件、业务实体及业务规则等配置化构件的构件规范。     

支持构件复用的方块苗文字库开发方法

为了减少字库中的数据存储量,在采用确定有穷自动机建立由构件组合变换得到方块苗文的字形映射关系的基础上,提出了一种支持构件复用的方块苗文字库开发方法,给出了基于该方法的方块苗文字库的具体开发过程。该方法根据字形映射关系,利用OpenType特征标签来设计反应构件自由组合替换规则和置位规则的特征脚本,以实现同一构件字形在不同方块苗文中的重复使用。测试结果表明,利用该方法开发的方块苗文字库具有存储量小、易扩充等优点,能够实现方块苗文同汉字、英文的混合显示,达到了实用性要求。     

可组合嵌入式软件建模与验证技术研究分析

可组合嵌入式软件是计算机构件得以开发的基础,对嵌入式构件的模型建立、组合形式、构件组合的相关机制进行分析和验证,能够在一定程度上促进嵌入式软件的发展,分别从组合操作和组合规则等方面进行不同的讨论,结合嵌入式构件的特征,分析嵌入式构件的非功能特征和异构特征,从而研究可组合嵌入式软件组合方法,从而对那些非功能特征进行分析,从而能够打破非功能特征的约束,从而能够使嵌入式软件的组合具有更好的兼容性。     

面向网构软件的构件自适应机制研究*

结合软件agent技术,从构件角度出发,通过对传统构件进行包装,加入行为规则驱动和行为推导两大机制,提出了一种能够在运行时实时适应用户需求变化和运行环境变化的自适应构件。在自适应构件的运行和支撑方面,实现了一个可动态定制自适应构件行为规则的工具,改进了现有的构件支撑平台使得能满足自适应构件的运行需求;最后通过一个例子说明了自适应构件的设计、实现、运行和演化等一系列工作流程。初步实践表明,上述机制和整套框架为开发具有自适应性的网构软件提供了有效支持。     

面向业务构件的黑白盒混合的领域框架的设计与实现

在OO领域框架与构件化领域框架的基础上,兼顾两者优点,利用业务构件技术,并借助于CCM构件模型标准,提出了面向业务构件的黑白盒混合的领域框架设计思想．设计了管理调度中心,依据领域规则,将业务构件库的构件、热点知识库的热点子系统粘贴起来,实现构件在框架上的即插即用．重点设计了领域规则库及管理调度中心,并结合订单处理系统的实例,说明了面向业务构件的黑白盒混合的领域框架的具体实现．     

基于构件模型的应用框架扩展方法研究

框架是实现大粒度软件复用的重要途径，开发人员可通过对框架的扩展和实例化实现应用系统。但现有的框架扩展方法大都可操作性差，仅仅解决了局部扩展的问题。提出基于构件模型的应用框架扩展方法，借鉴面向领域的特征模型的思想，确定了构件模型中构件间的关系及组织方法，对扩展点进行了分类，并用UniCon形式化语言描述了应用框架的扩展方法。通过构件模型简述了应用框架的功能和技术特点，为扩展提供了良好的文档支持。     

基于软件体系结构的构件组装工具ABC-Tool

软件朝着越来越复杂和庞大的趋势发展,因此对更有效的软件开发技术的需求十分迫切,近年来,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用,成为软件工程领域研究的热点,在基于构件复用的开发方法中,构件组装技术是关键,而且一直以来也是难点所在,ABC(architecture-based component composition)是一种基于软件体系结构、面向构件的软件开发方法,介绍了为ABC方法提供有效支持的工具ABC-Tool,ABC-Tool以软件体系结构为设计蓝图,以构件为基本开发单元,在不修改构件源代码的前提下,通过可视化的图形建模方式,从体系结构的高层设计逐层映射到底层实现,将可运行或可部署的构件组装为最终的可正确运行的系统。     

特定领域软件复用技术的研究与应用

围绕特定领域软件体系结构的设计,利用平台化分层体系结构的设计思想以及应用集成设计机制,对面向领域的软构件开发模型进行了探讨与设计,并以某石油公司企业MIS的设计为开发背景,选取其中一个特殊的子系统模块,对业务构件的组合过程——复用技术进行了详细的设计与阐述。     

软件体系结构开发方法及其应用

简要介绍了软件体系结构开发方法的作用和内容，对领域专用的软件体系结构的意义和开发方法进行了阐述。通过分析机场领域中信息系统的通用功能需求，提出了系统的拓扑结构，采用统一建模语言建立系统模型，并利用设计模式、中间件、构件等技术实现了领域的软件框架，为领域内系统的实现提供了基础，大大提高了系统的开发效率。     

基于软件体系结构与组件技术的自动化测试系统软件的开发

针对汽车交流发电机特性，研发了汽车交流发电机性能自动化测试系统，系统软件采用“软件体系结构＋组件技术”模式开发。分析了系统软件体系结构各个功能构件，在充分利用已有的商业组件基础上，运用COM组件技术对体系中的构件进行抽象和封装形成系统所特需的COM组件，并按照系统软件体系结构组装组件。     

公开小卫星可复用软件技术研究

小卫星应用领域的不断扩展、功能和结构的日趋复杂以及数量的急剧攀升,使得星载软件的规模和复杂度快速增加,软件可复用性设计变得愈加重要。本文首先分析了面向体系应用的星载软件功能和技术需求,然后对星载软件体系架构进行了分层模块化设计,最后针对星务主机,详细描述了星载软件框架的静态结构,动态结构以及可复用构件的运行模式。在小卫星向体系化应用发展的趋势下,分层模块化软件体系架构和软件框架技术将提高星载软件的可复用性,为实现小卫星快速集成,快速测试和快速生产打下重要基础。     

基于软构件技术的数字校园系统的开发与集成

为实现数字校园系统的信息化,科学化和可视化,分析了现有数字校园系统特点,提出了一种基于CORBA的GIS应用系统和教学管理信息系统的集成框架.详细阐述了该系统的体系结构和总体设计思想,在此基础上,从可复用构件的软件开发思路,并针对校园特定领域,分析了各类相关构件的获取、分类和组装方法.最后,结合实际系统阐明了可复用软构件技术能有效地缩短系统的开发周期,降低软件维护难度,优化整个系统.     

基于工作流的电装行业MES关键技术研究

电子装配行业的特点要求电子装配行业MES系统实现实时可视化、动态生产排程、装配过程跟踪等功能,同时实现系统可配置、可重构、实时、可集成等.采用工作流技术,提出基于工作流的电子装配车间实时可视化、动态排程、生产过程跟踪模型;建立MES系统中工作流引擎的总体结构;并基于J2EE架构和EJB组件技术对工作流引擎进行设计实现.基于工作流的电子装配行业MES在某企业PCB装配车间应用表明,车间的生产效率和管理水平得到了显著提高.     

ORACLE／CASE剖析

ＣＡＳＥ是将计算机辅助技术应用于软件工程而产生的一种高科技领域,是当前软件设计开发集成环境与工具的重要研究方向,对于提高软件产品的生产率和质量具有重要的现实意义。本文对ＯＲＡＣＬＥ／ＣＡＳＥ系统进行了剖析,讨论了ＣＡＳＥ基本成分,ＯＲＡＣＬＥ／ＣＡＳＥ工具组及体系结构,探讨其内部结构,各成分作用及设计的基本过程。     

基于构件技术的水文信息系统开发方法

从探讨构件技术应用出发,通过分析水文技术和质量需求,经逐层、分级抽象,使数据交互更为清晰,并设计各软件构件。在体系结构层次上对构件和接口进行描述,形成构件库,为提高水文信息系统开发效率和质量提供可靠的基础。