软件体系结构获取过程的形式化描述方法比较

摘要

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