-
题名一种将需求模型转换为软件体系结构模型的方法
被引量：5
- 1
-
-
作者
谢仲文
李晓燕
李彤
代飞
于倩
张璇
-
机构
云南大学软件学院
云南省软件工程重点实验室
昆明医科大学外语部
-
出处
《计算机科学》
CSCD
北大核心
2014年第5期196-203,共8页
-
基金
国家自然科学基金项目(61379032
61262024
+3 种基金
60122025)
云南省软件工程重点实验室开放基金面上项目(2012SE307
2012SE309)
云南省自然科学基金项目(2012FD005)资助
-
文摘
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。
-
关键词
需求模型
软件体系结构通信进程代数
PETRI网
行为
-
Keywords
Requirements models
Software architecture
Algebra of Communicating Processes
Petri nets
Behavior
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
