武汉理工大学学报(信息与管理工程版)
武漢理工大學學報(信息與管理工程版)
무한리공대학학보(신식여관리공정판)
JOURNAL OF WUHAN AUTOMOTIVE POLYTECHNIC UNIVERSITY
2008年
4期
591-595
,共5页
连接器%层次组合%Wright%重用
連接器%層次組閤%Wright%重用
련접기%층차조합%Wright%중용
连接器是软件体系结构设计和开发的一级实体.针对已有的体系结构描述语言难以有效提供连接器的重用,从而使得连接器的建模和分析面临较大的困难和挑战的问题,提出了一种连接器层次组合的形式化方法.该方法以体系结构描述语言Wright为基础,将一个连接器层次化定义为一个体系结构配置.实例表明,它能为连接器提供一种增量式的开发方式,从而能适用于体系结构重用的目的.还使用CSP符号给出了层次组合连接器的形式语义.
連接器是軟件體繫結構設計和開髮的一級實體.針對已有的體繫結構描述語言難以有效提供連接器的重用,從而使得連接器的建模和分析麵臨較大的睏難和挑戰的問題,提齣瞭一種連接器層次組閤的形式化方法.該方法以體繫結構描述語言Wright為基礎,將一箇連接器層次化定義為一箇體繫結構配置.實例錶明,它能為連接器提供一種增量式的開髮方式,從而能適用于體繫結構重用的目的.還使用CSP符號給齣瞭層次組閤連接器的形式語義.
련접기시연건체계결구설계화개발적일급실체.침대이유적체계결구묘술어언난이유효제공련접기적중용,종이사득련접기적건모화분석면림교대적곤난화도전적문제,제출료일충련접기층차조합적형식화방법.해방법이체계결구묘술어언Wright위기출,장일개련접기층차화정의위일개체계결구배치.실례표명,타능위련접기제공일충증량식적개발방식,종이능괄용우체계결구중용적목적.환사용CSP부호급출료층차조합련접기적형식어의.