一种将需求模型转换为软件体系结构模型的方法

摘要：

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

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

所属期刊栏目：41

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

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

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

页数：共8页

页码：196-203