检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:何啸[1,2] 麻志毅[1,2] 张岩[1,2] 邵维忠[1,2]
机构地区:[1]北京大学信息科学技术学院软件研究所,北京100871 [2]高可信软件技术教育部重点实验室(北京大学),北京100871
出 处:《软件学报》2011年第2期195-210,共16页Journal of Software
基 金:国家自然科学基金(60773152);国家重点基础研究发展计划(973)(2005CB321805);国家高技术研究发展计划(863)(2007AA01Z127;2007AA010301)
摘 要:QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展之后的QVT Relations可以解决流程模型转换的问题.QVT (Query/View/Transformation) Relations cannot describe the pattern that includes other patterns, so it has some difficulties in defining the rules of a process model transformation. To solve this problem, the paper extends QVT Relations with three new concepts: Pattern Factor, Nested Relation Expression, and Relationship End Constraint. The paper also discusses the pattern matching and the model creating semantics after the extension. At Last, a case study is presented to show how the extension could deal with process model transformations.
关 键 词:模型驱动体系结构 面向服务的体系结构 业务流程模型转换 QVT
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.69