一种将需求模型转换为软件体系结构模型的方法  被引量:5

Approach of Transformation from Requirements Models to Software Architecture Models

在线阅读下载全文

作  者:谢仲文[1,2] 李晓燕[3] 李彤[1,2] 代飞[1,2] 于倩[1,2] 张璇[1,2] 

机构地区:[1]云南大学软件学院,昆明650091 [2]云南省软件工程重点实验室,昆明650091 [3]昆明医科大学外语部,昆明650500

出  处:《计算机科学》2014年第5期196-203,共8页Computer Science

基  金:国家自然科学基金项目(61379032;61262024;60122025);云南省软件工程重点实验室开放基金面上项目(2012SE307;2012SE309);云南省自然科学基金项目(2012FD005)资助

摘  要:需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。The transformation from requirements models to software architecture (SA) models is a hot topic in software engineering.Based on the ACP (Algebra of Communicating Processes) style requirements models set up by DERM (Dynamic Evolution Oriented Requirements Meta-model),an approach of the transformation from requirements models to software architecture models was proposed.The approach takes the Petri nets style SA models as the objective of transformation,and the behavior-mapping as the foundation of transformation.Firstly,the framework of the transformation was discussed.Secondly,the nodes of the behavior feature models were transformed into components and connectors of the SA models,and the counterpoint of the transformation rules was brought forward.Thirdly,the transformation of active property features in property feature models was discussed,and the strategy of sub-systems partition was put forward.Finally,feasibility and effectiveness of the proposed method were exhibited through a case study.

关 键 词:需求模型 软件体系结构通信进程代数 PETRI网 行为 

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

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象