检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]徐州市财经高等职业技术学校,徐州221000 [2]大连海事大学,大连116026
出 处:《电脑开发与应用》2006年第2期24-26,共3页Computer Development & Applications
基 金:大连市科学技术局立项的"软件项目管理系统的设计与实现"(编号:2003A3GX032)
摘 要:为了应用精确、完备的PIM自动进行模型转换、校验及编译,分析了OCL元模型与UML元模型间的关系,在此基础上对OCL在精确化平台无关模型(PIM)方面的应用进行了研究,指出OCL面临的挑战,并对OCL的研究方向提出了几点建议。对象约束语言OCL可以对模型中的元素进行约束和查询,可以在MOF的任意一层上定义模型语言,还可以通过各种方法定义模型的转换规则。In order to apply the accuracy and complete PIM to implement model transform automatically, check and compilation,this paper analyzes the relations between metamodels of OCL and UML,and the studies the applcation in modeling PIM accurately in MDA framework and points out the challenges and several new suggestions in researching of OCL. OCL is permitted to constrain and inquiry the elements in the model ,define the model language on any layer of MOF and transform rules of model by different ways.
关 键 词:对象约束语言 MDA 平台无关模型 OCL约束 元模型
分 类 号:TP319[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222