| 一种将需求模型转换为软件体系结构模型的方法 |
| |
| 引用本文： | 谢仲文,李晓燕,李彤,代飞,于倩,张璇.一种将需求模型转换为软件体系结构模型的方法[J].计算机科学,2014,41(5):196-203. |
| |
| 作者姓名： | 谢仲文 李晓燕 李彤 代飞 于倩 张璇 |
| |
| 作者单位： | 云南大学软件学院 昆明650091;昆明医科大学外语部 昆明650500;云南大学软件学院 昆明650091;云南大学软件学院 昆明650091;云南大学软件学院 昆明650091;云南大学软件学院 昆明650091 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61379032,4,60122025),云南省软件工程重点实验室开放基金面上项目(2012SE307,2SE309),云南省自然科学基金项目(2012FD005)资助 |
| |
| 摘 要： | 需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。
|
| 关 键 词： | 需求模型 软件体系结构 通信进程代数 Petri网 行为 |
| 收稿时间： | 2013/7/15 0:00:00 |
| 修稿时间： | 2013/10/27 0:00:00 |
Approach of Transformation from Requirements Models to Software Architecture Models |
| |
| XIE Zhong-wen,LI Xiao-yan,LI Tong,DAI Fei,YU Qian and ZHANG Xuan.Approach of Transformation from Requirements Models to Software Architecture Models[J].Computer Science,2014,41(5):196-203. |
| |
| Authors: | XIE Zhong-wen LI Xiao-yan LI Tong DAI Fei YU Qian and ZHANG Xuan |
| |
| Affiliation: | School of Software,Yunnan University,Kunming 650091,China;Department of Foreign Language,Kunming Medical University,Kunming 650500,China;School of Software,Yunnan University,Kunming 650091,China;School of Software,Yunnan University,Kunming 650091,China;School of Software,Yunnan University,Kunming 650091,China;School of Software,Yunnan University,Kunming 650091,China |
| |
| Abstract: | |
| |
| Keywords: | Requirements models Software architecture Algebra of Communicating Processes Petri nets Behavior |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
