计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
5期
196-203
,共8页
谢仲文%李晓燕%李彤%代飞%于倩%张璇
謝仲文%李曉燕%李彤%代飛%于倩%張璇
사중문%리효연%리동%대비%우천%장선
需求模型%软件体系结构通信进程代数%Petri网%行为
需求模型%軟件體繫結構通信進程代數%Petri網%行為
수구모형%연건체계결구통신진정대수%Petri망%행위
Requirements models%Software architecture%Algebra of Communicating Processes%Petri nets%Behavior
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点.针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法.首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性.
需求模型到軟件體繫結構(SA)模型的轉換是軟件工程領域的一箇研究熱點.針對DERM所建立的ACP風格的需求模型,以擴展Petri網風格的SA模型為模型轉換的目標,以行為映射為模型轉換的依據,提齣瞭一種將需求模型轉換為SA模型的方法.首先,討論瞭模型轉換的整體思路;其次,將行為特徵模型中的各箇結點轉換為SA模型中的構件和連接件,併提齣瞭相應的轉換規則;再次,討論瞭屬性特徵模型中主動屬性特徵的轉換,併提齣瞭子繫統劃分的策略;最後,通過案例研究展示瞭該方法在從需求模型到SA模型的轉換中的有效性.
수구모형도연건체계결구(SA)모형적전환시연건공정영역적일개연구열점.침대DERM소건립적ACP풍격적수구모형,이확전Petri망풍격적SA모형위모형전환적목표,이행위영사위모형전환적의거,제출료일충장수구모형전환위SA모형적방법.수선,토론료모형전환적정체사로;기차,장행위특정모형중적각개결점전환위SA모형중적구건화련접건,병제출료상응적전환규칙;재차,토론료속성특정모형중주동속성특정적전환,병제출료자계통화분적책략;최후,통과안례연구전시료해방법재종수구모형도SA모형적전환중적유효성.
