Research on Analysis Method of Petri Nets of Component Behavior Adaptation
Weishi Zhang · Jisuanji fangzhen · 2007
Component adaptation is a crucial problem of Component-based Software Engineer. Firstly,the behaviors of component are analyzed and specified based on Process Algebra. The rules are proposed which can realize the translation from the Process Algebra specification of component behavior to the Petri Nets specification of component behavior,and the translation algorithm is proposed according to the translation rules. The correspond relation of components behavior which are alternating can be calculated automatically according to the synchronous distance of Petri Nets,and the specification of adaptor which is used to adapt the mismatch behavior between components which are alternating can be produced automatically according to the correspond relation of components behavior. A formal method to solve the mismatch of components behaviors is proposed. At last the future works are listed.