欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
图形转换为动态的构件组装带来了新的思路.H.Ehrig在基于连接件体系结构的框架上利用此技术给出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,因而限制了其实际应用的灵活性.本文扩充了该框架体系,侧重从每一归约步组装的语法和语义的实现进行描述,给出归约步组装的唯一性条件及基于该条件的结构唯一性和内容兼容性的证明.
英文摘要：
Graph transformation is the new methodology about dynamic composition.Ehrig [12] presented a generic composition framework on connector architecture using this technology,which provided a powerful support for dynamic and static component assembly in different domains.However,this framework is not flexible enough in practice,because it restricts the disjunction among import interfaces in each reduction step.Therefore,the framework is extended by presenting a unique condition of composition.Structure uniqueness and content compatibleness are proved under this condition.
同期刊论文项目
同项目期刊论文
期刊信息
位置：