作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (21): 29-32. doi: 10.3969/j.issn.1000-3428.2009.21.010

• 软件技术与数据库 • 上一篇    下一篇

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

鄢 波,桑 军,向 宏,胡海波   

  1. (重庆大学软件学院,重庆 400044)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-11-05 发布日期:2009-11-05

Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition

YAN Bo, SANG Jun, XIANG Hong, HU Hai-bo   

  1. (School of Software Engineering, Chongqing University, Chongqing 400044)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-11-05 Published:2009-11-05

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

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

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

中图分类号: