Decomposition of Connected Trusted Component Based on Or-transition Colored Petri Net

Abstract

Trusted software is one of the most challenging and valuable research field in software engineering domain, among which are the wide ranging developments of component-based software engineering. On the basis of authors’ previous work - the description and modeling of trusted component based on Or-transition Petri net, the architectural evolution of trusted software is analyzed and the decomposition algorithm of connected trusted component based on Or-transition Colored Petri Net is proposed in this paper.