摘要
为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色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.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第21期29-32,共4页
Computer Engineering
基金
国家"863"计划基金资助项目(2007AA01Z445)
