Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition
Haibo Hu · Jisuanji gongcheng · 2009
In order to study the consistency between software dynamical architecture and static architecture,software dynamical architecture needs to be obtained. To solve this problem,this paper advances a set of mapping rules,which map system running events into software architecture components. Colored Petri nets and state machine are used to formally describe this set of mapping rules with a Java program. The similarities and different application fields of the two methods are concluded.