Research on the Composition Uniqueness of Connector Architecture Based on Graph Transformatlon
Graph transformation system,which has the nimble assembly technology and the complete semantics and syntax foundation.is the new methodology about system composition.Eh rig presented a generic composition framework on connector architecture using Petri nets.which provides a powerful support for dynamic and static component assembly in difierent domains.However,this framework is not flexible enough in practice.because it restricts the disjunction among import interfaces in each reduction step.Therefore,we extend the framework by presenting an unique condition of composition,and prove that the framework is onique on structure and content under this condition.
generic component morphism connector transformation Petri nets
DU Junwei
国际会议
The International Conference Information Computing and Automation(2007国际信息计算与自动化会议)
成都
英文
507-518
2007-12-19（万方平台首次上网日期，不代表论文的发表时间）