论文部分内容阅读
图形转换为动态的构件组装带来了新的思路.H.Ehrig在基于连接件体系结构的框架上利用此技术给出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,因而限制了其实际应用的灵活性.本文扩充了该框架体系,侧重从每一归约步组装的语法和语义的实现进行描述,给出归约步组装的唯一性条件及基于该条件的结构唯一性和内容兼容性的证明.