Study on the three types of component refinement in EOOPN

Base on the Extended Object-Oriented Petri Net, and the component evolution processes that has been proposed in our previous research, this paper studies the issue of component refinement. Three types of component refinement under the framework of EOOPN model, namely ABP refinement, ABT refinement and Token refinement, are proposed in this paper along with their definitions and component features before and after the processes of refinement.