基于UML与XML的软件输出文档模型设计

软件开发中文字和数据的输出编码工作量大且烦琐,较好的解决方法是将软件中的文字和数据组织成具有相似结构的文档-软件输出文档,开发一个通用组件对其进行处理并实现输出.它设计了一种通用的软件输出文档结构,使用UML建立了文档结构可视模型,使用XML schema建立了文档格式,并对文档处理提供了参考方法.应用说明基于软件输出文档模型及其组件进行文字和数据的输出能够提高软件的开发效率和可移植性.     

基于MODI的文档图像处理的研究

识别文档图像中的文字,有助于人们管理和使用信息.MODI作为Microsoft Office内建的免费文字识别组件,使开发人员可以方便地,以较低的成本处理文档图像.本文通过研究MODI组件的OCR模块的特点和二次开发,以及与其他商业OCR软件的对比,验证了MODI在文档图像处理方面具有较高的可靠性和应用价值.     

基于C#.NET的Word报告生成功能开发

自动生成Word文档报告功能是办公自动化系统中的重要组成部分。采用调用COM组件实现C#.net对Word的控制的技术,将文档中的文字部分和表格部分分别插入到Word报告中,同时提出了使用文档光标跟随定位的方法来控制文档的起始位置和格式,并在相应的位置上插入对应的内容。     

脚本组件的设计与使用

脚本组件是一个独立的Web文档,在Web应用程序中是一个能被其它Web文档访问和重用的独立的组件。利用脚本 组件定义了属性、方法、事件,简化了Web文档代码,得到了令人满意的结果。     

链接和嵌入技术在Office 2000的应用

ＭｉｃｒｏｓｏｆｔＯｆｆｃｅ２０００中文版是一个优秀的中文办公套装软件。它向用户提供了多种在各组件之间共享数据的机制,基于这种机制,用户可通过使用Ｗｉｎｄｏｗｓ的剪贴板应用程序,很容易地将一个组件中的数据复制到另一个组件中;利用链接和嵌入技术,用户可以使一个文档中的数据链接或嵌入到另一文档中。从而构成图文并茂,生动活泼的各种文档或讲稿,提高工作效率。而数据的链接与嵌入技术的应用,使Ｏｆｆｉｃｅ２０００的数据共享手段几乎达到完美的地步。本文着重阐述链接与嵌入机制的概念与区别,及其在Ｏｆｆｉｃｅ中数…     

拓扑排序和强连通算法在源代码分析中的应用

缺少文档的开源项目和文档不完整的开源项目,分析其源代码是了解其运行机理的主要方法,本文提出一种基于函数分析顺序的分析方法,并且提出构建函数分析顺序的过程。过程为首先使用强连通算法消除函数递归调用,得到一些组件,再用拓扑排序对组件和组件内部的各函数节点排序,得到一个分层链表,该链表包含各函数的调用顺序和分析顺序,再用一种展开算法将分层链表展开,最终得到源代码中的函数分析顺序。     

将Word文档自动转换成PDF格式的编程实现

在日常工作中,人们普遍使用微软Word编辑器制作文本文档,而PDF格式文档以其平台独立性和安全性等特点备受文档管理和发布者青睐。本文介绍Word文档到PDF文档转换的手工操作方法,同时详细论述编制转换组件,建立不同应用环境下的应用程序的过程,实现MS Word格式文档向PDF格式文档的自动、批量转换。     

基于组件技术的文档管理系统的实现

讨论了基于组件技术的档案管理系统的实现技术,包括纸质档案的扫描采集以及对电子文档的直接入库,采用数据库分区策略存储文档数据,在系统集成的组件中快速预览.系统提升了对文档数据的查询和操作性能.     

基于XForms的在线办公文档处理工具的设计与实现

办公文档处理过程具有MVC的特点,通过借鉴MVC模式,可将办公文档处理过程中的模型、视图、控制器相分离,使办公软件能够脱离文档格式的限制,实现与格式标准的无关性及组件的重用性。此外,通过数据层和表示层的分离,使办公软件可根据应用场景分离混合的文档信息,提供较为直观的文档浏览和编辑方式。本文讨论了实现在线办公文档处理系统的关键技术,通过分析现有办公文档处理软件中的MVC模型,给出更为合理地分离文档处理过程中的模型、视图、控制器的途径,研究了一种适合MVC模式的在线办公文档编辑方式,在此基础上实现一种基于XForms的在线办公文档处理工具。     

基于设计文档的组件提取研究

为了从目标系统有效提取构件,达到软件复用的目的,文章提出了一种基于设计文档的组件提取技术。该方法通过借助计算机辅助软件工程工具设计目标系统,针对该设计文档提取概念组件及系统的体系结构,并使用可扩展标记语言元素和特征元匹配度验证提取结果的准确性,为软件复用提供了依据。实验通过两个实例：产品资源管理平台和转专业系统,说明该方法的应用,其中文件上传概念组件和数据转储概念组件得到提取和验证,并成功复用实现系统功能。结果表明,该方法不仅提供可重用的构件框架,而且提高了软件复用的成功率。     

构件化技术在学生成绩查询统计系统中的应用

利用已有的软件构件来构造新的软件系统,使得用各种技术形成的软构件可以最大程度地进行重用(复用),以减少大量的重复劳动,从而大大提高生产效率。构件的可复用性越高,复用越广泛,其复用次数就会越多,价值也越大。通过对构件化技术主要思想和方法的分析,运用PowerBuilder所提供的典型的可复用构件PFC,阐述了构件化技术在学生成绩查询统计系统中的应用。     

构件化技术在学生成绩查询统计系统中的应用

利用已有的软件构件来构造新的软件系统,使得用各种技术形成的软构件可以最大程度地进行重用（复用）,以减少大量的重复劳动,从而大大提高生产效率。构件的可复用性越高,复用越广泛,其复用次数就会越多,价值也越大。通过对构件化技术主要思想和方法的分析,运用PowerBuilder所提供的典型的可复用构件PFC,阐述了构件化技术在学生成绩查询统计系统中的应用。     

煤矿设备信息管理系统的构件化设计方法

针对现有的煤矿设备信息管理系统开发效率和复用粒度低、难以满足煤矿个性需求的问题,从软件复用的角度介绍了一种煤矿设备信息管理系统的构件化设计方法,给出了系统开发模型和体系结构,详细介绍了系统构件的设计和实现方法。该构件化设计方法通过创建.NET功能构件,复用.NET中的基本构件和已创建的功能构件,最后在.NET开发平台上组装构件来达到软件复用的目的,提高了系统软件的开发效率、可靠性和可重用性。     

Improving SMIL with NCM Facilities

SMIL is an XML-based language for specifying documents with temporal and spatial synchronization relationships, recommended by the W3C. However, SMIL has some limitations as a hypermedia authoring language. In order to overcome these limitations, this work presents the integration of SMIL documents with HyperProp, a hypermedia system based on an object-oriented model called NCM (Nested Context Model). As benefits, the integration makes both NCM facilities and HyperProp authoring and formatting tools available for SMIL documents. Furthermore, this work presents how the SMIL language can be extended to incorporate NCM facilities through the inclusion of new XML elements and attributes found in NCL, the NCM declarative language. Among the facilities, we can highlight the possibility of reusing document components and their presentation characteristics, offering flexibility in temporal specifications, adapting a document presentation according to user navigation and specifying n-ary relationships expressing causality or constraint among components.     

基于UML的集成化CASE平台的研究和实现

统一建模语言提供了研制和开发面向对象软件集成化开发环境的理论基础,指出UML本质上是一套文档符号,提出UML增减原则:是否有利于自动文档生成;是否有利于自动程序生成。提出一个“开环”的集成化开发平台的构造框架。最后,基于上述设计思想和结合软件项目实际情况,开发出一个集成化CASE平台,平台具有数据库文档自动生成、界面自动生成、代码自动生成和构件重用等功能。     

基于进程代数的构件语义标注技术研究

针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到JTangComponent平台上进行实验,结果标明其提高了语义标注的自动化程度,可以为复用构件提供语义保障。     

Component-based verification using incremental design and invariants

We propose invariant-based techniques for the efficient verification of safety and deadlock-freedom properties of component-based systems. Components and their interactions are described in the BIP language. Global invariants of composite components are obtained by combining local invariants of their constituent components with interaction invariants that take interactions into account. We study new techniques for computing interaction invariants. Some of these techniques are incremental, i.e., interaction invariants of a composite hierarchically structured component are computed by reusing invariants of its constituents. We formalize incremental construction of components in the BIP language as the process of building progressively complex components by adding interactions (synchronization constraints) to atomic components. We provide sufficient conditions ensuring preservation of invariants when new interactions are added. When these conditions are not satisfied, we propose methods for generating new invariants in an incremental manner by reusing existing invariants from the constituents in the incremental construction. The reuse of existing invariants reduces considerably the overall verification effort. The techniques have been implemented in the D-Finder toolset. Among the experiments conducted, we have been capable of verifying safety properties and deadlock-freedom of sub-systems of the functional level of the DALA autonomous robot. This work goes far beyond the capacity of existing monolithic verification tools.     

基于青鸟接口规约的全领域模型系统

现有的构件模型难以对领域的共性和变化性进行定义与描述,致使构件的粒度大小难以控制。基于常用的树形程序的特点,提出一种基于青鸟接口规约的全领域构件模型系统,整个系统由全领域构件模型及相应的二次加工工具系统组成。全领域构件模型能对领域中一族具有共性和变化性的描述进行代码实现;二次加工工具系统能对全领域构件进行二次加工,剔除构件中的冗余子模块。此全领域构件模型系统能够有效解决代码构件开发中经常遇到的构件的粒度大小问题。     

Making components contract aware

Components have long promised to encapsulate data and programs into a box that operates predictably without requiring that users know the specifics of how it does so. Many advocates have predicted that components will bring about widespread software reuse, spawning a market for components usable with such mainstream software buses as the Common Object Request Broker Architecture (CORBA) and the Distributed Component Object Model (DCOM). In the Windows world, at least, this prediction is becoming a reality. Yet recent reports indicate mixed results when using and reusing components in mission-critical settings. Such results raise disturbing questions. How can you trust a component? What if the component behaves unexpectedly, either because it is faulty or simply because you misused it? Before we can trust a component in mission-critical applications, we must be able to determine, reliably and in advance, how it will behave. In this article the authors define a general model of sofware contracts and show how existing mechanisms could be used to turn traditional components into contract-aware ones