一种基于Petri网的分布组件协调模型

协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决.根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任     

可视化分布组件协调环境

分布组件的协调是基于组件的分布系统开发中的一个基本问题。针对具体应用,提出了一种分布组件协调模型－－Ｃｏｎｃｅｒｔｏ。Ｃｏｎｃｅｒｔｏ模型以Ｐｅｔｒｉ网为理论基础,综合了现有的控制驱动和数据驱动两类协调模型。Ｐｅｔｒｉ网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来,提供了与计算机系统交互的方法。在Ｃｏｎｃｅｒｔｏ模型基础上,实现了可视化分布组件协调环境,对分布组件系统进行并发死锁验证     

一种CAD系统组件模型的组合技术及其实现

当前CAD系统中采用的组件模型主要有两类：标准组件模型和自定义组件模型。尽管这两种情况都有成功的例子,但是不能完全照搬成功经验。在分析了当前CAD开发中面临的挑战后,讨论了组件模型的选择策略,并给出了一个较好的解决方案——在标准组件模型的基础上增加一些新的特征和技术。最后,提出和实现了一个在COM组件模型基础上组件复用和扩展的新技术。     

组件式游戏开发框架的研究与实现

为解决传统游戏引擎导致的灵活性不足等问题,提出一种组件化的Ostrich游戏开发框架并进行研究。研究用于游戏引擎的3D数学理论,给出Ostrich游戏开发基本框架和应用程序架构的分析以及部分接口的设计,包括加载器、数学库、渲染引擎等,在此基础上,提供一个简单的游戏程序示例,对框架的设计进行验证,验证结果表明该框架可行有效。     

基于过程组件模型的流程引擎设计

针对目前工作流界标准众多、流程引擎和定义语言绑定、各业务领域重复开发流程引擎的现状,设计并实现一种基于过程组件模型的流程引擎框架。该框架采用流程虚拟机的架构设计,从多个流程语言提取流程的共性,摈除流程语言问活动类型的差异性,从流程定义中分离节点执行定义,从而支持多种流程定义语言。验证结果表明了该设计的可行性。这种过程组件框架能够降低从业务模型到流程定义语言之间的损耗,实现流程引擎与流程语言的解耦。     

COM组件的备份和恢复引擎研究

本文在分析COM组件的结构及其基本特性基础上,提出了COM对象的创建及其接口访问中的Singleton模式,并从Abstract Factory模式的角度分析了利用类厂创建对象这一技术的合理性和必要性。叙述了C 语言实现COM对象与接口的两种方式：多继承和嵌套类。最后给出了存储管理软件中备份、恢复引擎的组件化实现的定义。     

一种AADL模型测试仿真引擎的设计与实现

随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。     

利用MapX实现的组件式GIS技术

简要介绍了组件式技术对地理信息系统的影响，同时还针对地图组件MapX的开发，阐述了组件式GIS的主要特点及实现。     

虚拟现实引擎的设计与实现

真实感和实时性是虚拟现实技术中相互对立着的关键和核心。该文从引擎的底层细节开始讨论,侧重引擎实时性的要求,分析、提出了引擎所应具有的“驱动性”、“完整性”和“独立性”的特征,着重介绍了实时虚拟现实引擎中的若干关键技术,最后给出了一个室内场景三维图形引擎及其应用的实例。     

一种面向状态COM组件的测试用例生成方法

基于组件的开发方法提高了软件的可复用性和软件开发效率,但组件具有的封装和状态特性增加了组件和基于组件软件的测试难度.依据组件的状态特性,在组件中引入状态性概念,将组件分为非状态组件和状态组件.对具有不同特征的组件进行有针对性的测试.对于状态组件,除使用非状态组件的测试方法外,还定义了扩展邻接表和扩展约束对照表来存储状态信息,并结合基于流的测试方法来产生方法序列测试用例及脚本.在理论研究的基础上开发出COM(Component Object Model)组件测试用例及脚本自动生成系统,验证了测试用例及脚本生成方法的有效性.     

一种基于Agent的分布式搜索引擎

分析了传统搜索引擎的不足,提出了一种基于Agent的分布式搜索引擎以Agent的方法实现了搜索引擎的各项功能,描述了多个搜索引擎利用Agent通信机制组成分布式网络的过程。     

一种基于Web的分布式信息管理系统

介绍了一种基于Ｗｅｂ的分布式信息系统的设计与实现,主体用Ｓｙｂａｓｅ的ＰｏｗｅｒＤｙｎａｍｏ实现,整体的设计与实现充分利用分布式系统的优点,结合二层、三层分布式系统的特长,不仅使局部数据能通过浏览器发布,而且也能方便地发布全局数据。     

无线网络中分布式协调功能的改进

文中提出了一种简单而有效的方法动态的估计无线网络中的活动节点数,并根据估计出的活动节点数调整MAC层的初始竞争窗口大小,从而降低冲突概率,提高吞吐率性能。而且,该方法没有增加任何控制开销。仿真结果表明,改进后的IEEE 802．11分布式协调功能机制的性能有明显改善。     

分布式多层应用系统的设计与实现

构建在分布式多层结构上的应用有着层次结构清晰、可伸缩、可配置、灵活可靠性以及跨平台等优点,因而分布式多层结构模型成为当前主要的企业应用模型。主要讨论多层结构计算模式的演变、设计原则和实现技术。在此基础上,给出一个分布式多层应用的实例。     

CORBA构件模型在分布式体系结构中的应用

构件技术是目前软件开发的主流技术,CORBA构件模型是具有代表性的构件模型之一,分布式多层应用系统已成为目前重要的系统结构。文章讨论了基于CORBA构件模型和分布式多层体系结构的软件开发技术在一个分布式信息系统(即某钢管铸造企业管理信息系统)中的应用,并给出了设计步骤及形式化描述。     

分布式搜索引擎的设计与实现

在一个分布各地的网站群组成的大系统中,不设立中心数据库的情况下,各网站对等协调工作,实现数据库级共享与搜索是一个难题。文中阐述了用Web Service技术实现分布式搜索的基本原理,并对Web Service代理模式、异地数据存取、大结果集处理、查询数据本地化等关键技术进行了详细介绍。     

面向Web服务的分布式本体系统

智能Web服务,即IWS(IntelligentWebServices)是网络计算模式不断发展创新的必然结果。而本体技术的引入是IWS发展的必然。为适应IWS对本体,尤其是本体分布性的新要求,该文提出了一个面向Web的分布式本体系统的模型———WODOS(WebOrientedDistributedOntologySystem),这个模型的特点是在Web的环境下,保证本体所必需的唯一性与一致性的前提下,对本体进行分布存储、引用、处理。该文讨论了这个模型的结构、机制和算法。     

基于CORBA事件服务的分布式对象组件设计与实现

该文在介绍事件服务机制的基础上,将CORBA事件服务封装成COM组件。利用此组件能够有效实现分布式对象组件设计,解决组件对象之间的通信问题,使分布式系统中的对象解耦。声纳测距传感器系统是一个分布式对象组件应用实例,具体验证了所提出的设计思想和方案是切实可行的。设计完成的应用COM组件可用于分布式控制系统。     

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

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

一种面向分布构件集群系统的配置管理模型

分布构件技术是一种面向三层计算结构业务逻辑中间层的分布计算技术。分布构件集群系统,在分布构件基础之上,面向企业计算需求,提供了更好的可用性和更高的性能。文章研究分布构件集群系统的构造及配置管理内容;通过给出分布构件集群系统的配置管理模型,定义相关的配置管理关系和配置管理数据,使得能够在统一的管理视图上对分布构件集群系统及内部所安装部署的分布构件进行有效的管理。该模型是分布构件集群系统在运行时刻支持高可用和高性能的基础。