构件柔性组装描述的形式化方法研究及其在水利领域的应用

被引:0
作者
艾萍
机构
[1] 河海大学
关键词
构件; 描述; 柔性组装; 形式化; 应用框架; 水利领域;
D O I
暂无
年度学位
2002
学位类型
博士
摘要
尽管软件构件技术研究已经取得很大进展,但在水利领域中应用构件技术仍然存在许多困难。主要问题在于没有满足水利领域需求的基于构件的软件开发环境。原因是当前的构件技术研究还主要聚焦在解决一般意义下构件的生产、存贮、检索、组装、演化等环节中存在的问题,对在特定领域中构件技术的应用研究很少,成果过于专业化,不便于在特定领域应用。领域业务应用需要的专业构件和工具软件十分缺乏。 在特定领域中应用构件技术的目的是提高软件的复用程度,增强软件的进化能力,降低软件的开发维护成本。由于领域软件运行环境复杂、需求多变、专业性强,因而要求领域软件构件对运行环境有良好的适应能力,其功能可以根据业务需求进行配置。为此,需要建立领域构件柔性组装技术体系,通过规范但形式化程度适当的构件柔性组装描述,维护领域构件柔性组装技术体系的语境相对一致性,从而实现领域构件的组装。 为了建立领域构件柔性组装技术体系,本文以水利领域业务应用为背景,围绕构件柔性组装的形式化描述,对领域构件柔性组装的相关概念、柔性组装机制、柔性组装描述的形式化及语言、建立水利领域构件柔性组装描述体系等方面进行了研究,并取得以下成果: 1、在对概念构件、领域构件、应用框架、构件的行为、构件的柔性及柔性组装等基本概念进行深入分析与明确定义的基础上,阐明了领域构件的柔性组装是构件可配置地融入构件环境的操作,其配置通过构件与构件环境的描述匹配来实现、描述匹配通过描述的形式化及约束条件下的语义判定来实现的柔性组装机制;提出了适合领域应用的基于描述树的构件柔性组装描述的形式化方法;揭示了领域意义下的构件柔性组装原理。 2、利用XML的开放性与易学易用的特点,根据构件柔性组装描述树的定义,应用XML Schema定义了基于XML的构件柔性组装描述语言FCML,给出了FCML的语义以及通过定义元素命名空间与值空间、增加描述要素来扩展和定制FCML的机制,为构件柔性组装描述的形式化及其在特定领域的应用提供了语言环境。 河河大学博士学位论文 3、应用领域构件柔性组装原理,分析研究了水利领域业务应用的基本特 征,提出由形式化描述机制、组装工具、构件、框架和主框架构成的领域构件 柔性组装技术体系框架,以及FCML在水利领域的定制与扩展方法;定义了水 利领域应用框架体系及其描述的形式化方法,为在不同抽象层次制定水利领域 软件技术标准和构件柔性组装技术的应用创造了条件。
引用
收藏
页数:129
共 5 条
[1]
软件语言及其实现.[M].徐家福;吕建著;.科学出版社.2000,
[2]
计算机语言的形式语义.[M].陆汝钤编著;.科学出版社.1992,
[3]
The REBOOT approach to software reuse..Sindre G; et al;.J. System software.1995,
[4]
软件体系结构研究综述 [J].
孙昌爱 ;
金茂忠 ;
刘超 .
软件学报, 2002, (07) :1228-1237
[5]
构件化领域框架设计与实现 [J].
刘晓铭 ;
刘积仁 ;
李华天 ;
不详 .
计算机研究与发展 , 1999, (02)