高级检索
    金仙力 马华东. 基于OCL的服务构件特征语义描述模型[J]. 计算机研究与发展, 2007, 44(12): 2112-2121.
    引用本文: 金仙力 马华东. 基于OCL的服务构件特征语义描述模型[J]. 计算机研究与发展, 2007, 44(12): 2112-2121.
    Jin Xianli and Ma Huadong. A Semantic Description Model of Features for Service Component Using OCL[J]. Journal of Computer Research and Development, 2007, 44(12): 2112-2121.
    Citation: Jin Xianli and Ma Huadong. A Semantic Description Model of Features for Service Component Using OCL[J]. Journal of Computer Research and Development, 2007, 44(12): 2112-2121.

    基于OCL的服务构件特征语义描述模型

    A Semantic Description Model of Features for Service Component Using OCL

    • 摘要: 构件的语义特征是构件检索的主要依据,也是构件库的重点研究内容.然而,由于网络系统中存在分布、动态、数量众多的服务构件,很多构件之间存在一定的关联和依赖,因此如何有效地描述这些服务构件特征间的关联,是构件库管理模型需要进一步研究的一个重要问题.提出一种基于特征的构件语义描述模型,首先分别给出特征、特征空间和构件特征空间表示模型的定义.接着将构件特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束4类,并采用对象约束语言对这些关系进行形式化描述,从而为模型提供了精确的语义支持.面向电子商务的构件特征子树的实例研究及其模型验证和实验结果证明了该模型的正确性与有效性.

       

      Abstract: The semantic features of component are the foundation for component retrievals, and are the emphases of research for component repository. However, since there are a large amount of dynamic distributed service components in the network system, many components may have some kind of relationship or dependence with each other. As a result, how to efficiently describe the relationship between the features of different service components is a vital problem for the components management model, which needs to be further investigated. In this paper, a feature-based semantic description model for component is proposed. First, the presentation models of the feature, the feature space and the component feature space are defined respectively. Then, the association and dependency relations among the features of the components are classified into four groups: self constraint, paternity constraint, dominant constraint and recessive constraint. These four kinds of constraint are formally described by the object constraint language, which provides an accurate semantic support for such model. In order to describe the approach's application a component sub-tree based on features for e-business is studied as a case. The results of the model checking and experiments in the object constraint language environment prove that this model is correct and valid.

       

    /

    返回文章
    返回