神马文学网形式化方法对构件库管理系统支持的探讨 [4] -- EDN电子设计技术
来源：百度文库 编辑：神马文学网 时间：2024/05/06 08:43:45
形式化方法对构件库管理系统支持的探讨4
技术分类： 可编程器件 | 2007-04-17
来源：电子技术应用 | 作者：边小凡 朱建林 王倩
定义3．3实现(Implementation)。实现是满足接口规范和语义描述的实例，它包括索引(Index)和实现体(ImplementationBody)两个部分。
Implementation=[Index，ImplementationBody]
3 构件模型的应用
本构件模型对构件库管理的支持是多方面，多角度的。理论上，它的提出就是为了更好地支持构件库中构件的重用。实践中，通过在网上信息收集系统构件库中加入构件模型的支持，使以前难以实现的一些功能得以实现，例如：基于语义的检索，对构件组装和演化的支持等。下面简单介绍一下此模型在这些方面的支持机制。
3.1 如何支持构件的语义检索
本模型支持构件的语义检索。它从应用领域，功能，层次，表示方法，硬件环境，软件环境，程序语言，复用度八个方面刻划构件的特征。根据刻面的重要性和在网上信息收集系统构件库中的实践，笔者将各个方面的权值确定如表2。当检索时，可以从除复用度之外的7个刻面输入需求，然后计算出各个构件的匹配度，并且按照匹配度从高到低依次提供给构件检索者。如果在输入需求时没有输入某一刻面所需求的术语描述，则视为对这
一刻面没有要求，则这一刻面按完全匹配看待。
通过在网上信息收集系统构件库中的应用，证明了在此模型的支持下构件的查准率和查全率都有了明显的改善。更重要的是，这种查找支持了定量的语义匹配度查找。
3.2 如何支持构件组装和演化
具体的组装过程是由专门的组装工具来实现，此构件模型在网上信息收集系统构件库中对构件组装和演化的支持体现在提供构件组装、演化的语境支持和组装工具所需要的所有信息。
(1)分析作为组装元素的构件的关系语境(ComponentRelationContext)，可以得到此构件的组装语境和演化语境。组装语境刻划的信息是如果使用某一构件去组装,那么还必须使用哪些与此构件有关的其他构件来组装。演化语境确定哪些构件与本构件演化有关，关联的程度有多大，是否有必要也跟随这个构件一起演化；演化语境还要确定演化后的构件与周围构件的关系是否会发生变化，发生什么样的变化等。
(2)提供接口、实现等信息给组装工具，由组装工具根据本构件模型所提供的信息实现组装。例如构件模型中对构件接口的描述提供了构件接口的语法描述和语义描述，这些都是构件组装时所必须的信息。
本文针对构件库中构件的检索、学习、组装和演化，提出了一种构件模型。目的就是方便构件库的管理并使构件的检索、组装和演化更加正确、自动。这一模型虽然在上述方面有所改进，但是它还处于对实用化构件模型的摸索阶段，还有很多需要改进的地方。今后研究重点是对本构件模型的精简，以及加强此模型对组装和演化的支持，以实现组装和演化的完全自动化。