您当前的位置:五五电子网电子知识单片机-工控设备DSP/FPGA技术形式化方法对构件库管理系统支持的探讨 正文
形式化方法对构件库管理系统支持的探讨

形式化方法对构件库管理系统支持的探讨

点击数:7724 次   录入时间:03-04 11:38:04   整理:http://www.55dianzi.com   DSP/FPGA技术
    PubheAttfibute=[AttfibuteName,AttributeNatureLanguage-Description]

  



www.55dianzi.com

         定义2.1.2公有行为。公有行为的描述结构和公有属性的描述类似,是行为名称(AetionName)和相对应的自然语言描述的对偶。其中,行为名称和 构件库 中构件的真实行为名称应保持一致。
    PublICAction=[AetionName,ActionNatureLanguageDescripfion]

  定义2.2构件的外部信息。构件的外部信息包括:
生产者(Producer),版本(Edition),使用者(User),反馈意见(Feedback),知识产权控制(PropertyRisht),入库时间(En-terTime),复用次数(ReuseTime)。
    Outerlnfo=[Producer,Edhion,User.Feedback,PropertyRight,EnterTime,ReuseTime]

  2.2.3 基于组装和演化的部分

  基于组装和演化部分描述的目的是为了更好地支持构件的组装和演化。在支持组装方面,此模型支持找出与构件组装相关的其他构件,提供构件接口的语法与语义描述和提供构件的实现体。在支持演化方面,此模型支持找出所有与演化构件相关的构件,分析是否有必要将相关构件一起 演化。

  定义3基于组装和演化部分(AssemblyAndEvolvemenlPart)。基于组装和演化部分用来描述支持构件组装和演化的信息。这里从构件关系语境(ComponentRelationContext)、接口(Interface)、实现(Implementation)三个方面来刻划。
    AssemblyAndEvalvementPart=[ComponentRelRtionContext,Interface,Implementation]
    ComponentRelationContext:构件关系语境集合,描述构件间的关系;Interface:接口集合,接口是描述构件的通信接口规范和语法约束;Implementation:实现集合,实现是满足接口规范和语义描述的实例。

  

        通过网上信息收集系统的实践和多年来的研究,总结构件问的关系有如下五种,如表1所示。

 

构件关系

 

  定义3.1构件关系语境。根据表1中划分的五种构件关系,构件关系语境可以表示成一系列构件的列表,其中包括:版本关系构件列表,协作关系构件列表,精化构件列表,被精化构件列表,包含构件列表,被包含构件列表,依赖构件列表,被依赖构件列表。形式如下:
    ComponentRelationContext=[EdffionRelTab,CooperationRelTab,SubtleRelTab,BeSubfleRelTab,InclusionRelTab,BeInclusionRelTab,RelyRelTab,BeRelyRelTab]

  定义3.2接口。接口体是描述构件的通信接口规范和语法约束,它可以分为兰部分描述:接口名称(InterfaceName)、接口函数(InterfaceFunetion)、接口语义(InterfaceScmantic)。
    Interface=[InterfaeeName。InterfaceFunction,InterfaceSemantic]

  定义3.2.1接口函数(InterfaeeFunction)。接口函数的结构由三部分构成:函数名称(FunctionName),函数功能(FunctionFunetion),函数参数(FunefionParameter):
    InterfaceFunetion=[FunctionName,FunetionFunction,FunerionParameter]

  其中,函数参数可以从参数名称(ParaName),参数说明(ParaExplain),方向(Orientation),参数类型(ParaType)四个方面描述:
    FunctionParameter=[ParaName,ParaExplain,OrientatiOil,ParaType]

  定义3.2.2接口语义(LnterfaceSemantic)。接口语义可分为接口函数功能(InterfaceFunction),前条件(ForwardCondition),后条件(AfterCondifion)三部分描述。
    InterfaceSemantic=[InteifaceFunction,ForwardCondition,AfterCondition]

  



www.55dianzi.com

         定义3.3实现(Implementation)。实现是满足接口规范和语义描述的实例,它包括索引(Index)和实现体(ImplementationBody)两个部分。
    Implementation=[Index,ImplementationBody] 


        3 构件模型 的应用

  本构件模型对 构件库 管理的支持是多方面,多角度的。理论上,它的提出就是为了更好地支持构件库中构件的重用。实践中,通过在网上信息收集系统构件库中加入构件模型的支持,使以前难以实现的一些功能得以实现,例如:基于语义的检索,对构件组装和演化的支持等。下面简单介绍一下此模型在这些方面的支持机制。

  3.1 如何支持构件的语义检索
刻面权值

  本模型支持构件的语义检索。它从应用领域,功能,层次,表示方法,硬件环境,软件环境,程序语言,复用度八个方面刻划构件的特征。根据刻面的重要性和在网上信息收集系统构件库中的实践,笔者将各个方面的权值确定如表2。当检索时,可以从除复用度之外的7个刻面输入需求,然后计算出各个构件的匹配度,并且按照匹配度从高到低依次提供给构件检索者。如果在输入需求时没有输入某一刻面所需求的术语描述,则视为对这 一刻面没有要求,则这一刻面按完全匹配看待。

  

  通过在网上信息收集系统构件库中的应用,证明了在此模型的支持下构件的查准率和查全率都有了明显的改善。更重要的是,这种查找支持了定量的语义匹配度查找。

  3.2 如何支持构件组装和演化

  具体的组装过程是由专门的组装工具来实现,此构件模型在网上信息收集系统构件库中对构件组装和演化的支持体现在提供构件组装、演化的语境支持和组装工具所需要的所有信息。

  (1)分析作为组装元素的构件的关系语境(ComponentRelationContext),可以得到此构件的组装语境和演化语境。组装语境刻划的信息是如果使用某一构件去组装,那么还必须使用哪些与此构件有关的其他构件来组装。演化语境确定哪些构件与本构件演化有关,关联的程度有多大,是否有必要也跟随这个构件一起演化;演化语境还要确定演化后的构件与周围构件的关系是否会发生变化,发生什么样的变化等。

  (2)提供接口、实现等信息给组装工具,由组装工具根据本构件模型所提供的信息实现组装。例如构件模型中对构件接口的描述提供了构件接口的语法描述和语义描述,这些都是构件组装时所必须的信息。

  本文针对构件库中构件的检索、学习、组装和演化,提出了一种构件模型。目的就是方便构件库的管理并使构件的检索、组装和演化更加正确、自动。这一模型虽然在上述方面有所改进,但是它还处于对实用化构件模型的摸索阶段,还有很多需要改进的地方。今后研究重点是对本构件模型的精简,以及加强此模型对组装和演化的支持,以实现组装和演化的完全自动化。   



上一页  [1] [2] 


本文关键字:管理系统  DSP/FPGA技术单片机-工控设备 - DSP/FPGA技术

《形式化方法对构件库管理系统支持的探讨》相关文章>>>