Research and Application of Component Composition Based on Graph Transformation

Abstract:

A Generic framework of component composition with algebraic Petri nets,which was presented by Padberg J and Ehrig H on the basis of the graph transformation rule,provides a powerful support for dynamic and static component assembly in different fields.However,this framework is not flexible enough in practice due to the disjunction among import interfaces in each reduction step.The framework is extended by presenting a unique condition of composition.Based on the condition,the structure uniqueness and content compatibleness are proved,and the conventional synthesis of Petri nets in this framework is also discussed.Finally,the interlocking logic based on this framework is illustrated.