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

摘要：

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

关键词：体系结构、进程代数、构件重用、ACP、Petri网

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61462095;云南省高新技术产业发展项目云发改高技[2012]1956号;云南省中青年学术和技术带头人后备人才培养C6143002;云南省应用基础研究计划项目:过程编排定义和可实现性研究2016FB102;云南省教育厅科学研究基金研究生项目2017YJS107;云南省软件工程重点实验室专项研究项目2016SE202

在线出版日期：2017-08-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：141-146