形式化方法对构件库管理系统支持的探讨 [3] -- EDN电子设计技术

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

技术分类： 可编程器件  | 2007-04-17
来源：电子技术应用 | 作者：边小凡 朱建林 王倩

         定义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]