检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:谢仲文[1,2] 李晓燕[3] 李彤[1,2] 代飞[1,2] 于倩[1,2] 张璇[1,2]
机构地区:[1]云南大学软件学院,昆明650091 [2]云南省软件工程重点实验室,昆明650091 [3]昆明医科大学外语部,昆明650500
出 处:《计算机科学》2014年第5期196-203,共8页Computer Science
基 金:国家自然科学基金项目(61379032;61262024;60122025);云南省软件工程重点实验室开放基金面上项目(2012SE307;2012SE309);云南省自然科学基金项目(2012FD005)资助
摘 要:需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。The transformation from requirements models to software architecture (SA) models is a hot topic in software engineering.Based on the ACP (Algebra of Communicating Processes) style requirements models set up by DERM (Dynamic Evolution Oriented Requirements Meta-model),an approach of the transformation from requirements models to software architecture models was proposed.The approach takes the Petri nets style SA models as the objective of transformation,and the behavior-mapping as the foundation of transformation.Firstly,the framework of the transformation was discussed.Secondly,the nodes of the behavior feature models were transformed into components and connectors of the SA models,and the counterpoint of the transformation rules was brought forward.Thirdly,the transformation of active property features in property feature models was discussed,and the strategy of sub-systems partition was put forward.Finally,feasibility and effectiveness of the proposed method were exhibited through a case study.
关 键 词:需求模型 软件体系结构通信进程代数 PETRI网 行为
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.90