10.3969/j.issn.1000-3428.2009.21.010
软件体系结构获取过程的形式化描述方法比较
为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构.分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方法的相似处及不同的应用领域.
软件体系结构、着色Petri网、状态机、形式化描述语言
35
N945(系统科学)
国家"863"计划基金资助项目2007AA01Z445
2010-01-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
29-32