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

Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition

作　　者：鄢波[1] 桑军[1] 向宏[1] 胡海波[1] 

机构地区：[1]重庆大学软件学院,重庆400044

出　　处：《计算机工程》2009年第21期29-32,共4页Computer Engineering

基　　金：国家"863"计划基金资助项目(2007AA01Z445)

摘　　要：为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色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.

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

分 类 号：N945[自然科学总论—系统科学]