节点文献

基于构件的软件形式化开发方法研究与应用

Research and Application of Formal Method for Software Development Based on Components

【作者】 姚全珠

【导师】 崔杜武;

【作者基本信息】 西安理工大学 , 电力电子与电力传动, 2008, 博士

【摘要】 如何能快速高质量地开发出满足企业需求的信息系统软件,且使所开发的系统能够适应企业组织机构与业务流程的变化,具有良好的柔性已成为当今信息系统开发所面临的一个重要课题。本文针对现有信息系统开发方法的不足,在对构件复用技术和XML技术深入研究的基础上,结合XML与构件技术这两种软件开发热门技术,并参考形式化开发方法,提出了基于构件的信息系统形式化开发方法模型。针对软件开发中需求分析不彻底,容易出现二义性等问题,提出了形式化需求分析的方法、步骤,可有效消除需求分析的二义性和不一致性;针对目前信息系统适应性不强的缺点,提出了一种基于构件和XML的构件库管理框架和信息系统集成平台,该框架能实现基于构件的信息系统的插座式组装,在该框架下构建的信息系统具有很强的灵活性和伸缩性,能适应企业机构的调整并方便的进行重组;针对如何提高构件检索的效率这一问题,提出了一种基于案例推理的构件检索方法,并针对基于树匹配的构件检索思想,提出了路径索引技术,并将之无缝结合到了基于文本的倒排索引文档,以实现XML文档的内容和结构的双重索引,可大幅度提高查询效率;针对构件查询中的模式匹配和压缩文档的查询问题,提出了将String B-tree用于解决参数化样式匹配问题以及基于BW转换的高效搜索算法,较好的解决了参数匹配和压缩构件库中构件的检索问题;此外还提出了信息系统的动态菜单集成和基于角色的用户授权方法。本文以某企业电力营销信息系统为例,对这种开发模型进行了实践,初步建立起了一个电力营销信息系统动态集成框架平台,验证了本文所提出的方法是可行的和有效的。

【Abstract】 It has been an important issue facing the development of MIS as how to quickly and successfully develop software satisfying the requirement of enterprises, which has such flexibility as can adapt to the changes of the organization and business process.To overcome the disadvantages of the current development methods, this dissertation deeply studied component reuse and XML; with a combination of component technology and XML and based on formal development method, this work presents a formal development method model for MIS based on components.In regard to the incompleteness of requirement analysis in software development, which brings ambiguity and other problems, we propose the procedures for formal requirement analysis to effectively eliminate the ambiguity in requirement analysis and inconsistency. For the disadvantage of poor adaptability of the current information systems, we propose a component library management framework based on components and XML, and an information system integration platform. The framework enables slot assembly for component based information system; systems built under the framework have strong flexibility and scalability, and can adapt to the adjustment of enterprise organization and are ready for reorganization. In order to improve the efficiency for component retrieval, we propose a method based on case reasoning; and in regard to the retrieval by tree matching, we propose path indexing algorithm. The seamless integration of the method with inversely indexing documents enables a double indexing of contents and structure for XML documents, which greatly improves retrieval efficiency. As for the pattern matching for component retrieval and retrieval of compressed documents, we propose to use String B-tree to solve parameterized pattern matching and an efficient searching algorithm based on BW conversion, which solve the parameterized pattern matching and retrieval in compressed component library. In addition, we propose dynamic menu integration for information systems and role based authorization.Taking the electric power information system of a certain enterprise as example, and applying the proposed development model, we build dynamic integration framework platform for the electric power marketing information system, which demonstrates the effectiveness and effective of the proposed method.

  • 【分类号】TP311.52
  • 【被引频次】2
  • 【下载频次】692
节点文献中: 

本文链接的文献网络图示:

本文的引文网络