Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China 在期刊界中查找 在百度中查找 在本站中查找
Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China 在期刊界中查找 在百度中查找 在本站中查找
Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China 在期刊界中查找 在百度中查找 在本站中查找
Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China 在期刊界中查找 在百度中查找 在本站中查找
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.