Research on Uniqueness of Component Composition Based on Graph Transformation
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.