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

Method of Software Architecture Refinement Based on Algebraic Semantics

作　　者：林雷蕾 周华[1] 代飞[1,2] 何臻力 沈勇[1] 康洪炜[1] 

机构地区：[1]云南大学软件学院,昆明650091 [2]云南省软件工程重点实验室(云南大学),昆明650091

出　　处：《计算机科学》2017年第7期141-146,共6页Computer Science

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

摘　　要：软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型,有效解决了状态空间爆炸问题。此外,在求精过程中为了保证用于下层求精的子网能准确表达上层行为规约,引入了进程代数来刻画Petri网的行为语义。最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性。Software architecture is a bridge to connect the requirements and achievements.At present,there are two approaches to model architecture,which are formal and informal.In order to strike a balance between convenient operation and accuracy,we applied Petri nets to model the architecture of large and complex systems,especially in distributed system.First of all,this paper proposed a top-down approach for refining transitions by subnets in Petri nets.This method can establish hierarchical structure model of the complex system.In addition,the method effectively solves the problem of state space explosion.Moreover,we used process algebra to define the algebraic semantics of the behavior of Petri nets,which can guarantee the consistency of behavior between the subnets and the specification.Besides,we gave an algorithm for transforming aprocess term into a subnet.Finally,a case study was given to verify the correctness of above ideas through open source tools.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]