文献类型：期刊文章

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

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

出　　处：《计算机科学》

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

年　　份：2014

卷　　号：41

期　　号：5

起止页码：196-203

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSCD、CSCD2013_2014、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。

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

分 类 号：TP311.5]