一种基于代数语义的软件体系结构求精方法

• 作者: 代飞 何臻力 周华 康洪炜 林雷蕾 沈勇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 体系结构 进程代数 构件重用 ACP Petri网
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 141-146
• 页数: 6页
• 分类号: TP311
• 字数: 7845字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.07.026

摘要

软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种.针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型,有效解决了状态空间爆炸问题.此外,在求精过程中为了保证用于下层求精的子网能准确表达上层行为规约,引入了进程代数来刻画Petri网的行为语义.最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周华	云南大学软件学院	10	48	4.0	6.0
2	沈勇	云南大学软件学院	10	23	3.0	4.0
3	林雷蕾	云南大学软件学院	11	34	4.0	5.0
4	何臻力	云南大学软件学院	2	2	1.0	1.0
5	康洪炜	云南大学软件学院	2	0	0.0	0.0