By Topic

Research on the Composition Framework of Generic Component for Connector Architecture

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Du Junwei ; Tongji Univ., Shanghai ; Xu Zhongwei

The flexible component assembly technology can solve complex system modeling efficiently. Based on graph reductions and category morphism, J.Padberg, H.Ehrig et al presented two frameworks of generic component and its assembly using Petri nets. One was restricted to component with a single import and export interface, the other was based on connector with multiple imports and component with multiple exports. The latter was more flexible than the former on component description and assembly. H.Ehrig discussed the latter whole architecture with rule-based refinement. However, the import interfaces of connector were restricted to disjunction and the assembly algorithm was ignored in each reduction step. Therefore, composition algorithm, independent condition and architecture uniqueness proof are put forward in this paper. An instance of interlocking logic based on this framework is illustrated in the end.

Published in:

Convergence Information Technology, 2007. International Conference on

Date of Conference:

21-23 Nov. 2007