过程蓝图设计方法学及其支撑工具

来源 :西北大学 | 被引量 : 0次 | 上传用户:xueyueer001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
行为过程开发是软件开发的组成部分和重要内容。可视化过程设计方法为算法密集的复杂程序开发提供了更有效的手段。深入研究这种方法并为它提供CASE工具是软件工程的一个研究方向和内容。作者综合现有过程开发技术的研究成果,提出一种新的、适用于过程开发的局部方法学—过程蓝图设计方法学,研制了支持这一方法学的CASE工具,并通过小范围的应用实践初步验证了技术的有效性。本文详细论述了作者在可视化过程建模语言、开发过程、设计方法的理论研究、工具开发及技术应用方面的工作。 可视化过程建模语言方面,作者提出一种具有抽象概念结构图、抽象逻辑结构图和抽象实现结构图三层抽象外部表示视图、二级映射和统一内部结构表示的过程蓝图语言。该语言将过程表示为概念、逻辑和实现三个抽象层次,通过三层表示间的控制流和数据流二级映射将它们将统一为一个语义上完整的整体,并组织在一个树形结构内部表示框架内,提供了与实现无关和与实现相关的过程表示能力,以及一定程度的程序独立性(控制流独立性和数据流独立性),使过程的修改局部化,实现过程在概念层的重用和移植,能够满足跨越分析、设计和构造阶段的过程表示要求,为解决三层视图间的平滑过渡和一致性问题奠定了基础。过程蓝图目前能够支持JAVA、C++、VB、VFP和PASCAL五种编程语言的过程开发与实现。论文对过程蓝图语言及其规格说明的完整性(有效性、一致性、完备性、正确性)进行了严格的形式化定义,对语言良构规则的无矛盾性进行了论证,对语言的分层设计和程序独立性原理进行了论述。 开发过程方面,作者考虑了过程蓝图语言的特点、逐步求精、和质量保证的要求,定义了一个以控制结构为中心、自顶向下、增量迭代的规范开发过程和设计模型。该开发过程提供了跨越过程开发各个阶段的平滑过渡性和无缝连接性。 设计方法方面,作者考虑了自动化的要求,提出了初始抽象逻辑结构图导出和一致性同步更新的半自动化方法,提出从过程蓝图内部统一结构表示到外部视图导出的自动方法。方法学在降低过程复杂性和易理解性方面具有较好的可操作性,得到的结果具有较好的适应需求变化的能力。 工具开发方面,作者设计开发了一个基于类图和过程蓝图的可视化JAVA面向对象程序设计支撑实验系统,以及作为局部工具使用的过程蓝图编辑器和代码生成器。研制的过程蓝图CASE工具支持过程蓝图设计方法学的正向工程和五种编程语言的过程实现。论文给出了JAVA可视化面向对象程序设计支撑系统的设计方案。 技术应用方面,作者将理论研究和工具开发成果应用于几个中小规模程序开发问题,取到了良好的效果,初步验证了过程蓝图设计方法学及其CASE工具的可用性和技术有效性。 本文详细介绍了作者在可视化过程开发技术领域开展的理论研究和工具支持工作。这些工作表明,可视化过程开发技术正逐步走向成熟,前景广阔。
其他文献
目的:探讨老年人的非胃手术术后胃瘫综合征诊治。方法:对2006年1月至2009年12月间我院出现的35例老年人的非胃手术术后胃瘫综合征患者的临床资料进行总结。结果:本组患者均治
由于国家对素质教育的提倡,中学语文教学改革已全面展开,中学语文教材也进行了大刀阔斧的改革。面对这种形势,做为中学语文教师在解读传统文本时,需要转换视角,把传统文本中的人物
离心油泵的叶轮口环是离心油泵的重要零件之一。它不但影响离心油泵运行可靠性,而且还影响其水力性能。但目前仅研究了输送清水时口环间隙对离心泵性能的影响情况,对离心油泵还
中医康复学是祖国传统医学的重要组成部分,为中华民族的保健事业和繁荣昌盛以及全人类的健康事业做了巨大贡献,但其没有得到应有的发展。文章分析了中医康复学科在建设及实施
残余热应力是影响聚晶金刚石复合片(PDC)性能好坏的最重要因素之一。考虑聚晶金刚石层(PCD)与硬质合金层厚度比以及PDC压制过程中烧结温度的波动对聚晶金刚石复合片残余热应
目的观察注射用双氯芬酸钠盐酸利多卡因肌注治疗骨科慢性疼痛的疗效。方法将符合入选标准的264例病人采用简单随机(1:1)单盲对照试验,将入选患者分为治疗组(132例)和对照组(1
入侵检测是网络高层次安全的保障系统,论文主要研究了基于程序行为的异常检测技术,目的是利用异常检测技术的高适应性和程序行为的不易变性来提高检测系统的性能。在Unix环境下
目的总结35例急性痛风性关节炎患者的护理经验。方法对35例急性痛风性关节炎患者,根据不同情况,有针对性地进行护理。结果病情均得到有效控制,使患者维持较好的生活质量,减轻
XML技术已经成为因特网(Internet)上数据交换标准,随着XML应用越来越广泛,XML技术的迅速发展面临许多挑战:目前大多数规范还是工作草稿,规范之间的一致性问题和语言的标准化问题
新发现的清华简《筮法》是一种在战国时期流行的筮书,其八卦系统与三易较接近,而对筮卦的命解方面有着独特的体系。从《左传》、《国语》的部分筮例以及近年出土的占筮记录简