Abstract: 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.

Key words: software architecture, colored Petri nets, state machine, formal description language

摘要： 为了研究软件动态体系结构与静态体系结构的一致性，针对软件体系结构的动态获取提出一套映射规则，该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机，结合一个Java实例对该映射规则进行简单的形式化描述，总结2种方法的相似处及不同的应用领域。

关键词: 软件体系结构, 着色Petri网, 状态机, 形式化描述语言

CLC Number: 

• N945