关于模型合并
发信人: yeying (影儿@幸福生活), 信区: SoftEng
标 题: Re: 关于模型合并的问题，请指教
发信站: BBS 水木清华站 (Fri Jun 4 11:18:08 2004), 站内
如果你的模型合并需要进行pattern matching的话，那就需要对原有的两个子模型进行模式提取，常用的方法有两种，一种是对原有的模型中的成分进行聚类分析，然后再与以有的pattern进行匹配，这也主要是图匹配，但是，我不是很清楚怎么基于pattern进行合并，感觉比较奇怪，也许你说的模式匹配，而不是传统SE中所说的匹配设计模式、匹配SA。
如果直接进行模型合并的话，在给定的合并规则中，如果规则是形式化描述的话，那么可以直接将合并规则进行分析，使其可以和已有的模型相符合，这里大概也需要使用聚类和匹配的方法，同时根据OCL语法进行约束检查。OCL语言的语法检查器很多的。如果发生约束冲突，则需要对约束条件进行权衡，以满足最重要的约束。
模型合并是比较难以自动化的工作，毕竟涉及到很多需要权衡的地方，目前已有的工作也大多是提供一套方法/过程，提供一系列合并时可能用到的pattern，做得好的顶多提供一些辅助工具。