首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 109 毫秒
1.
构件的动态提取,创建和表现   总被引:5,自引:1,他引:4  
赵新昱  肖卫东 《计算机工程》1999,25(5):13-14,61
应用构件进行程序设计时,通常情况下,构件制作完成后,在操作系统中登录,然后利用在资源工厂(Workshop)中注册,或在控制条上注册,开发人员就可应用此构件进行系统开发,然而在某些情况下,最终用户需要查找操作系统中的构件资源,根据自己的需要选择构件并进行使用和表现,这就涉及到构件的动态提取,创建和表现。通过分析构件对象模型来介绍应用VC5.0对ActiveX构件的动态提取,创建和表现的实现。  相似文献   

2.
阐述了软件无线电波形的特点及系统结构,对波形属性的控制管理方法进行了研究,设计实现了基于软件通信体系结构(SCA)的波形属性管理技术,组件之间使用属性管理器作为属性操作接口,为配置和查询属性提供灵活方便的通用接口实现.实验结果表明,该技术可以满足所有SCA资源和设备组件中属性管理的请求操作,解决了属性管理与其它操作夹杂在一起、耦合度高的问题,从而提高了组件的可重用性、可移植性和可维护性.  相似文献   

3.
传统的模型检测摒除了很多软件实现细节,要检测实际的代码,就需要从代码中直接建立抽象描述.而操作系统内核结构复杂,手动对源代码进行抽象存在建模工作量大、人工参与过多易出错以及属性难以描述和检测等问题.本文以Linux内核作为实验对象,提出了一种基于属性的OS内核自动验证方法,利用模型抽取工具Modex自动的从inux内核源代码抽取模型,试图保证模型与实现代码一致性的同时减少因人工参与产生的人为错误,然后用时间轴属性来描述属性,最后用模型检测工具Spin对Linux内核代码模型进行检测.实验选取了Linux内核中接口和数据结构相对复杂的调度器进行模型的自动抽取与属性检测,验证了该方法在操作系统内核模型检测中的有效性和实用性.  相似文献   

4.
应用服务器是新一代Internet多层体系结构计算平台的核心部分,用于处理应用系统中的业务逻辑部分,通常采用组件方法,资源服务是应用服务器的重要组成部分,为组件提供可以访问的外部数据资源,本文研究了应用服务器的外部资源集成机制,建立了基于XA接口的外部资源系统集成模型,在此基础上设计了应用服务器的资源服务并实现了应用服务器和数据库系统的无缝集成。  相似文献   

5.
接口自动机——一种用于组件组合的形式系统   总被引:2,自引:0,他引:2  
接口自动机是描述基于组件系统中组件及组件间交互行为的形式化工具。接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。在同其它形式化方法比较的基础上,指出了接口自动机的长处和局限。文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。  相似文献   

6.
为解决嵌入式系统中应用业务的跨平台问题,设计了通用嵌入式系统服务平台(GSSP).GSSP可运行在Vxworks, Windows, Linux等多种操作系统上,为应用业务开发提供服务接口.研究GSSP二级调度体系的原理,对二级调度数学模型进行理论分析,在GSSP中采用反馈权值进行调度,并对二级调度体系的实现方法进行描述,给出测试结果及结论.  相似文献   

7.
通用嵌入式系统服务平台的调度系统   总被引:1,自引:0,他引:1       下载免费PDF全文
彭凯  杨彪 《计算机工程》2008,34(15):10-12
为解决嵌入式系统中应用业务的跨平台问题,设计了通用嵌入式系统服务平台(GSSP)。GSSP可运行在Vxworks, Windows, Linux等多种操作系统上,为应用业务开发提供服务接口。研究GSSP二级调度体系的原理,对二级调度数学模型进行理论分析,在GSSP中采用反馈权值进行调度,并对二级调度体系的实现方法进行描述,给出测试结果及结论。  相似文献   

8.
为了满足软组件重用者在互联网环境下共享软组件资源的需要,提出了一种基于UDDI注册机制使用Web 服务技术构建软组件库的方法。利用UDDI 2.0支持外部分类法的特性,将改进后的刻面分类法以tModel的形式注册到UDDI注册中心,并给出与该分类法相对应的分类验证服务的简单描述。此外,扩充了UDDI的查询功能,将实现查询匹配的服务集成到UDDI中,提供对多种服务描述语言的支持。  相似文献   

9.
冯兵  朱元昌 《计算机工程》2009,35(5):233-235
以WS—Resource工厂模式和EPR的可传递性为基础,提出一种Web服务资源框架(WSRF)服务调度和资源监控的机制。通过建立Proxy Factory服务,在代替客户端创建资源实例,并在进行端点引用传递的过程中成功实现WSRF服务的按需调度和对资源属性的监控。该机制具有调度时机更为合理、调度机制对服务方和客户端透明、资源监控机制不影响客户端操作和接口开放便于系统集成等优点,使得原有基于GT4开发的各种WSRF服务和客户端几乎不需改动就能在该机制下运行。  相似文献   

10.
Delphi环境下串行通信应用程序设计   总被引:1,自引:0,他引:1  
应用Windows95/98操作系统的多线程技术和Win32应用程序接口(API),实现在Delphi环境下的串行通信程序,并利用Delphi可视化组件库(VCL)的“第三方组件支持”特性,把设计好的串行通信代码构造成Delphi组件并注册到代码包(Code Package),从而使串行通信功能的监控系统应用程序设计更为方便。  相似文献   

11.
研究一种基于DotNet委托机制的新型连接构件的实现方法。通过对当前连接构件实现方法的介绍、对连接构件模型的描述,以及对连接构件作用过程模型图的分析,从事件处理的角度出发,探讨一种新型的连接构件的实现方法。利用时下新兴的DotNet委托机制实现了一种新型的动态连接构件。该实现方法,在基于构件的软件工程中真正构建出软件IC(Integrated software Circuit)系统,实现了对功能构件即插即用的动态更换功能。  相似文献   

12.
介绍了一种国际化控件--双向控件的使用、制作和布局方法,并介绍了如何设置控件的方向,设计控件的结构和布局控件的原理,以及在此过程中可能遇到的问题和解决方法.  相似文献   

13.
提出一种组件开发辅助虚拟实验室的设计模型和实现方案。该系统采用Java语言实现,具有良好的平台无关性。综合运用Applet数字签名、RMI机制、XML解析、JavaBean和反射等技术,依次重点实现组件配置提交、组件接口检查、组件功能检查。系统具有良好的交互性,用户能够直观深入地参与组件类的详细分析和具体配置,查看设备组件的运行评定结果。对用户学习和掌握JavaBean组件的结构和实现大有帮助,弥补现有平台用户无法设计组件和测评组件的不足。  相似文献   

14.
服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。  相似文献   

15.
电路板元器件字典CAD系统是通过鼠标拖拽、点按的方式绘制电路板上的各种元器件图形的CAD系统,主要实现确定电路板上元器件图形的位置、编辑元器件图形的颜色、器件图形的放大和缩小,元器件图形的线型的编辑,编辑电路板上各个元器件的物理属性,电路板上的器件复制和粘贴、多个器件图形的位置改变、绘制区内各个元器件的z order顺序改变、删除指定绘制的元器件等功能.在该系统中,主要采用矢量格式数据存放图形数据.  相似文献   

16.
Networked computers are finding their way into a broader range of environments, from corporate offices to schools, homes, and shirt pockets. This new computing model fosters the development of distributed software components that communicate with one another across the underlying networked infrastructure. A distributed software component can be plugged into distributed applications that may not have existed when it was created. The intention is that many developers will reuse distributed software components to build new systems. An interface definition language usually is used to describe a distributed software component's interface. However, a notable limitation of current IDLs is that they generally only describe the names and type signatures of the component's attributes and operations. Current IDLs don't formally specify the behavior of the software component's operations. To help solve these problems, the authors have developed Biscotti (behavioral specification of distributed software component interfaces), a Java extension that enhances Java remote method invocation interfaces with Eiffel-style preconditions, postconditions, and invariants  相似文献   

17.
基于组件的车间管理信息系统模型   总被引:18,自引:2,他引:18  
基于组件的软件开发方法成为当前软件开发的一个新的重要方法,但是如何合理地划分组件的粒度,使组件的重用性与可维护性达到最佳平衡是非常困难的。为此,文章研究了车间管理信息系统的组件技术,建立了车间管理信息系统的组件模型,提出了内核组件、支撑组件、外壳组件、虚拟数据库的概念。  相似文献   

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

19.
20.
随着计算机网络技术的应用发展,分布式构件技术成为分布式计算领域的热点,CCM就是主流的分布式构件技术之一。分析了CORBA构件模型(CCM)的特点:即通过端口定义构件对外提供的功能、通过端口定义构件所需要的外部功能,构件通过端口进行组装。在产品生命周期管理(PLM)中的供应链管理系统(SCM)中充分应用了CCM及其端口组装方法,实现在分布式环境下软件构件的即插即用功能,使SCM系统具有良好的可移植性和平台无关性。  相似文献   

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

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