一种将需求模型转换为软件体系结构模型的方法
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型，以扩展Petri网风格的SA模型为模型转换的目标，以行为映射为模型转换的依据，提出了一种将需求模型转换为SA模型的方法。首先，讨论了模型转换的整体思路；其次，将行为特征模型中的各个结点转换为SA模型中的构件和连接件，并提出了相应的转换规则；再次，讨论了属性特征模型中主动属性特征的转换，并提出了子系统划分的策略；最后，通过案例研究，展示了该方法在从需求模型到SA模型的转换中的有效性。
需求模型 软件体系结构 通信进程代数 Petri网 行为
谢仲文 李彤 代飞 赵娜 刘金卓 金运志
云南大学软件学院,昆明 6500911;云南省软件工程重点实验室,昆明 650091 云南大学软件学院,昆明 6500911
国内会议
南京
中文
1-10
2012-10-20（万方平台首次上网日期，不代表论文的发表时间）