论文研究-基于本体的CIM层模型转换技术研究.pdf

所需积分/C币:5 2019-07-22 22:41:18 581KB .PDF

当前由于缺乏完整的转换规则描述和相应的实现机制,难以实现灵活、自动的模型转换。采用基于本体的方法来建立模型元素之间的映射关系,并结合本体描述语言给出了模型元素和转换规则在本体库中的描述方法,实现了在两个不同的计算无关层(CIM)建模工具所建模型之间的自动转换。该成果已成功地应用到基于MDA的军工企业数字化项目中。
第2期 冯娟,等:基于本的CIM层模型转換技术研究 647 rdfs: domain) 或目标模型中需要的一些必要的模型元素,源模型无法提供这 Kowl: Class rdf: about ="#EMPSMetadata"/) 些模型信息。对以上两种情况,在本体库中也定义了相应的默 /rlfs: domain) 认值,并且在逻辑层进行一致性检杳及信息补足的工作。下面 rdfs: range/ 是应用本文所提出的方法进行模型转换的实例。图4是某企 Kowl: Class rdf: about="#UMI. Metadata"/> 业货物检验入库的过程模型。经过模型转换以后得到UML模 (/rdfs: range 型的用例图和活动图如图5、6所示 rdftyperdfresource=http://www.w3.crg/2002/07/owl#Sym- metricProperty "/ 检验员 国成件到货 验 通知单 K/owl: ObjectProt 在模型元素转换的实例中 mapping的属性应用如下: 检验检验合格空字检验不个格 (Connection rdf: ID ="connections"> ◆检验员 检验员签章检捡员意见 仓库 到货通知单目质量意见书 管理员 签章 K DataFlows rdf: ID ="dataFlows"/i 會计划员 填写器材(T 入库单 器材人库单自 /Connection) 迷续人库退货通知 它表示模型元素慨念 connection对应的映射目标模型元 图4某企业货物检验入库过程模型 素概念为 dataflow。 ●-件到货通知单 c)为了表示模型元素概念的组成关系,定义了对象类型 C抽检 属性 ispartof。 A ispartof B表示A是B模型元素的组成部分, 检验) 是 是香合 并且根据模型映射的规律设置此属性貝有传递性。如果一个 检验合格 计划员 验不合 属性P被声明为传递属性那么对于任意的x,y和2:P(x,y) 橙检验员签章 俭验员出具意见 成件到货 质量意见书 与P(y,z)蕴涵P(x,x)。其本休语言描述如下 检验员 填写、[通知单【章 匚协词 ject Property rdf: ID =ispartof 人库④写器材人库单 意 仓库管理员 馨器材人库单 继续人厍」 (rdf:typerdfresource="http://www.w3.org/2002/07/owl# TransitiveProperty"/ 图5模型转换后得到 图6模型转换后得到UML UML模型的用例图 模型的活动图 d)如果多个模型元素具有相同的属性,在本体库中只定 义一个这样的属性,这符合本体库建立的要求,保证了概念的4结束语 惟一性,但可以在此属性的定义域中包含多个概念。其本休语 言描述如下: 对模型驱动架构和本体的研究是当前网络技术的热点,本 Kowl: Datatype Property rdf: ID="name"> 文把这两者结合起来,以体库为基础来进行模型驱动架构的 ( rdfs: domain 核心—模型转换的操作,采用本体摧述语言清晰地表示了模 K owl: union Of rdf: parse Type ="Collection" 型元素的慨念和其转换规则,借助个体规则库的推理机制实现 Kowl: Class rdf: about ="# Connection"/> ∫全业过稈模型和UML模型之间的相互转换。这样构建模型 Kowl: Class rdf: about ="#Edges"/> 转换系统可以随时通过本体库对模型转换的规则进行管理和 owl: Class df: about="#Edge"/> 维护,使模型转换更加自动化和智能化,对MDA技术的成功 K/owl: unionOf) 应用有相当的参考价值。同时,在本文的基础上还可以构建其 /rdfs: domain) 他模型和转换规则的本体库,实现更多模型之间的自由转换。 /owl: Datatype Properl 参考文献: 它表示模型元素概念 connection、 edges和edge都拥有相 JMcclurec.Model-drivensoftwarereuseEb/oL].http://www 同的属性name reu e)为了表示模型元素属性之间的映射,用本体库中属性21 FRANKEL D S. Model driven engineering C/ Proc of the3rdlm 的等价关系( equivalent)来描述,如下所示 ternational Conference on Integrated Formal Methods. Turku: Sprin Kowl: Datatype Property rdf: about ="#outgoing> ger,2002:286-298 owl: equivalent Property rdf: resource ="#sourceflow"/) [3 NECHES R F, FIKES R, FININ T, et al. Enabling technology for K/owl: Datatype Property knowledge sharing J1. Al Magazine, 1991, 12(3): 36-56 它表示属性 outgoing在模型映射中所对应的属性是 4 FENSEL D. Ontologies: silver bullet for knowledge management and electronic commerce[ M]. Berlin: Springer sourcetlow [5 CARLSON D. Modeling XML application with UML-practical e-br usI- 除了以上基本的映射表达,在模型映射的过程中还会出现 ness applications[ M].[S1.]: Addison Wesley, 2003:78-102 源模型屮的模型元素在目标模型屮没有相应的元素与之对应,[6]W3C. RDF primer EB/OL].hup:/w.w3.org/Tr/ df-primer

...展开详情
试读 3P 论文研究-基于本体的CIM层模型转换技术研究.pdf
img

关注 私信 TA的资源

上传资源赚积分,得勋章
    最新推荐
    论文研究-基于本体的CIM层模型转换技术研究.pdf 5积分/C币 立即下载
    1/3
    论文研究-基于本体的CIM层模型转换技术研究.pdf第1页

    试读已结束,剩余2页未读...

    5积分/C币 立即下载 >