位置:51电子网 » 技术资料 » 存 储 器

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

发布时间:2008/5/26 0:00:00 访问次数:565

        

    

    

    来源:电子技术应用 作者:边小凡 朱建林 王倩

    

    摘要:依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。

    

    关键词:构件模型构件库形式化方法形式化描述。

    

    在基于构件的软件开发(cbsd)中,作为复用基础设旌的构件库系统已成为企业内部和企业间协作的必然装备,而要建立系统化的构件库,建立合适的构件模型是第一步。构件模型是构件本质特征及构件间关系的抽象描述。它定义了构件的本质属性,规定了构件接口的结构以及构件与软件体系结构、构件与构件之间的交互机制。构件模型通常还提供创建和实现构件的指导原则。

    

    1 当前典型构件模型简介与分析

    在围绕构件库进行软件开发的过程中,不同的角色、不同的关注点所需要的构件信息也不相同。基于这一认识北京大学信息科学技术学院软件研究所将构件模型分为三种:构件描述、分类的模型,构件规约、组装的模型和构件实现的模型。下面以这种分类方法来分析一下当前典型构件模型。

    (1)构件描述、分类的模型试图以一种综合的方式来描述构件,使得构件易于为用户所理解,易于在库中被有效高效地分类、存储和检索。reboot(reuse based object-oriented techniques)模型就是其中之一,它通过刻面的方法从各个角度刻划软构件属性,来实现对构件的分类和检索。

    (2)构件规约、组装的模型描述构件的功能和行为规约,并通过配置这些规约来刻划系统。著名的3c模型就是用来刻划构件规约和组装的。3c模型是一个指导性的构件模型,它从概念、内容、语境三个部分来描述构件,但是3c横型缺乏形式化定义和易懂的描述。因此仅具有一定的宏观指导意义。

    (3)构件实现的模型用于帮助人们决定如何用某种程序设计语言或以某种可执行单元的形式来实现构件。有代表性的实现级工业标准构件模型有corba、dcom/com和enterpise javabean,三足鼎立构成竞争与互操作并存的格局,工业构件模型最大的缺点在于其缺乏对构件语义的深入支持。

    综合考虑现有的构件模型,可得出以下结论:

    (1)现有的面向构件描述和分类的模型缺乏对构件语义特别是构件领域特征的语义的描述,而这些正是理解构件基于领域的复用价值的关键。

    (2)现有的面向构件规约和组装的模型缺乏对构件演化的支持,对构件组装的支持机制也未达到标准化。

    (3)现有的构件模型都很少涉及有关构件复用和构件管理的信息,比如构件的复用度等。

    (4)在构件库系统中,构件模型的应用是既面向构件描述和分类又面向构件规约和组装的,而目前关注如此多方面的构件模型还不多见。

    

    2 对构件库中构件模型的改进

    人们对构件库中构件的操作包括入库、检索、学习、组装和演化等,在对构件进行这些操作时,变换支持其实现的底层构件模型是不现实的。所以,笔者试图探求一种构件描述模型,并让它同时支持构件的语义检索、自动化组装、以及对演化的自动化支持等。

    

    2.1 构件模型所要描述的信息

    在对构件进行描述之前,必须先明确有哪些信息需要被构件模型来描述。而要明确构件模型中到底需要记录那些信息,就应该看构件库中围绕构件都做了哪些活动。经过分析,构件库中分角色对构件的操作有:

    (1)构件发布者:注册构件描述、分类信息;注册构件实体信息(离线构件);注册构件接口信息(在线构件)。

    (2)软件开发人员:查询;下载构件实体(离线构件);获取构件接口信息(在线构件);学习构件的功用和构件的用法等信息;应用构件进行应用系统组装;对不适用的构件进行演化。

    为了支持这些活动,构件模型中应该具有下列信息:

    (1)面向构件描述和分类的信息

    所有对用户查找、理解、选择、适应性修改以及使用构件有帮助的信息;

    所有对构件库管理者分类和管理构件及构件间关系有帮助的信息

        

    

    

    来源:电子技术应用 作者:边小凡 朱建林 王倩

    

    摘要:依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。

    

    关键词:构件模型构件库形式化方法形式化描述。

    

    在基于构件的软件开发(cbsd)中,作为复用基础设旌的构件库系统已成为企业内部和企业间协作的必然装备,而要建立系统化的构件库,建立合适的构件模型是第一步。构件模型是构件本质特征及构件间关系的抽象描述。它定义了构件的本质属性,规定了构件接口的结构以及构件与软件体系结构、构件与构件之间的交互机制。构件模型通常还提供创建和实现构件的指导原则。

    

    1 当前典型构件模型简介与分析

    在围绕构件库进行软件开发的过程中,不同的角色、不同的关注点所需要的构件信息也不相同。基于这一认识北京大学信息科学技术学院软件研究所将构件模型分为三种:构件描述、分类的模型,构件规约、组装的模型和构件实现的模型。下面以这种分类方法来分析一下当前典型构件模型。

    (1)构件描述、分类的模型试图以一种综合的方式来描述构件,使得构件易于为用户所理解,易于在库中被有效高效地分类、存储和检索。reboot(reuse based object-oriented techniques)模型就是其中之一,它通过刻面的方法从各个角度刻划软构件属性,来实现对构件的分类和检索。

    (2)构件规约、组装的模型描述构件的功能和行为规约,并通过配置这些规约来刻划系统。著名的3c模型就是用来刻划构件规约和组装的。3c模型是一个指导性的构件模型,它从概念、内容、语境三个部分来描述构件,但是3c横型缺乏形式化定义和易懂的描述。因此仅具有一定的宏观指导意义。

    (3)构件实现的模型用于帮助人们决定如何用某种程序设计语言或以某种可执行单元的形式来实现构件。有代表性的实现级工业标准构件模型有corba、dcom/com和enterpise javabean,三足鼎立构成竞争与互操作并存的格局,工业构件模型最大的缺点在于其缺乏对构件语义的深入支持。

    综合考虑现有的构件模型,可得出以下结论:

    (1)现有的面向构件描述和分类的模型缺乏对构件语义特别是构件领域特征的语义的描述,而这些正是理解构件基于领域的复用价值的关键。

    (2)现有的面向构件规约和组装的模型缺乏对构件演化的支持,对构件组装的支持机制也未达到标准化。

    (3)现有的构件模型都很少涉及有关构件复用和构件管理的信息,比如构件的复用度等。

    (4)在构件库系统中,构件模型的应用是既面向构件描述和分类又面向构件规约和组装的,而目前关注如此多方面的构件模型还不多见。

    

    2 对构件库中构件模型的改进

    人们对构件库中构件的操作包括入库、检索、学习、组装和演化等,在对构件进行这些操作时,变换支持其实现的底层构件模型是不现实的。所以,笔者试图探求一种构件描述模型,并让它同时支持构件的语义检索、自动化组装、以及对演化的自动化支持等。

    

    2.1 构件模型所要描述的信息

    在对构件进行描述之前,必须先明确有哪些信息需要被构件模型来描述。而要明确构件模型中到底需要记录那些信息,就应该看构件库中围绕构件都做了哪些活动。经过分析,构件库中分角色对构件的操作有:

    (1)构件发布者:注册构件描述、分类信息;注册构件实体信息(离线构件);注册构件接口信息(在线构件)。

    (2)软件开发人员:查询;下载构件实体(离线构件);获取构件接口信息(在线构件);学习构件的功用和构件的用法等信息;应用构件进行应用系统组装;对不适用的构件进行演化。

    为了支持这些活动,构件模型中应该具有下列信息:

    (1)面向构件描述和分类的信息

    所有对用户查找、理解、选择、适应性修改以及使用构件有帮助的信息;

    所有对构件库管理者分类和管理构件及构件间关系有帮助的信息

相关IC型号

热门点击

 

推荐技术资料

循线机器人是机器人入门和
    循线机器人是机器人入门和比赛最常用的控制方式,E48S... [详细]
版权所有:51dzw.COM
深圳服务热线:13751165337  13692101218
粤ICP备09112631号-6(miitbeian.gov.cn)
公网安备44030402000607
深圳市碧威特网络技术有限公司
付款方式


 复制成功!