软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2007年
1期
50-61
,共12页
张岩%胡军%于笑丰%张天%李宣东%郑国梁
張巖%鬍軍%于笑豐%張天%李宣東%鄭國樑
장암%호군%우소봉%장천%리선동%정국량
接口自动机%消息序列图%极大包含环境%构件%行为抽取
接口自動機%消息序列圖%極大包含環境%構件%行為抽取
접구자동궤%소식서렬도%겁대포함배경%구건%행위추취
如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.
如果構件含有冗餘的功能,特彆是含有用戶不想要的功能,則無法被用戶正確使用.因此,如何從構件中提取場景規約中所描述的用戶想要的行為便是一箇亟待解決的問題.給齣瞭解決該問題的一種方法.該方法通過為構件構造一箇環境,即極大包含環境,使得場景規約中所描述的所有行為可以從構件中抽取齣來,併保留到該構件與其極大包含環境的組閤中.同時,構件中的其他行為,即不在場景規約中的行為,被儘可能地捨棄.用接口自動機為構件的行為建模,併將用消息序列圖描述的場景規約抽象為一組活動序列.構件的組閤描述為接口自動機的乘積.給齣瞭基于場景進行構件行為抽取的相關算法,併用一箇實例對文中所述方法進行瞭說明.
여과구건함유용여적공능,특별시함유용호불상요적공능,칙무법피용호정학사용.인차,여하종구건중제취장경규약중소묘술적용호상요적행위편시일개극대해결적문제.급출료해결해문제적일충방법.해방법통과위구건구조일개배경,즉겁대포함배경,사득장경규약중소묘술적소유행위가이종구건중추취출래,병보류도해구건여기겁대포함배경적조합중.동시,구건중적기타행위,즉불재장경규약중적행위,피진가능지사기.용접구자동궤위구건적행위건모,병장용소식서렬도묘술적장경규약추상위일조활동서렬.구건적조합묘술위접구자동궤적승적.급출료기우장경진행구건행위추취적상관산법,병용일개실례대문중소술방법진행료설명.
