基于时序逻辑的软件体系结构描述语言XYZ／ADL.doc

基于时序逻辑的软件体系结构描述语言XYZ／ADL.doc基于时序逻辑的软件体系结构描述语言XYZ/(国家自然科学基金);theNationalHigh-(国家高技术研究发展计划(863));(国家盧点基础研究发展规划(973))笫一作者简介:朱■阳(1971-h女•槁建莆田人•博士生•讲网,主要研究強域为软件工程,(中国科学院软件研究所计算机科学重点实鲨室,北京100080)ATemporalLogic-BasedSoftwareArchitectureDescriptionLanguageXYZ/ADLZHUXue-Yang\TANGZhi-Song(,China)+Correspondingauthor:Phn:86-10-62562796,Fax:86-10-62563894,E-mail:******@-08-22;Accepted2002-12--basedsoftwarearchitecturedescriptionlanguageXYZ/,2003,14(4):713-720・Abstract:Thearchitecturedescriptionlanguage(ADL)isthefoundationofsoftwaredevelopmentbasedonsoftwarearchitecture・AnADLsupportingstepwiserefinementcanmakeitmoreconvenientthatagooddesignleadstoagoodimplementation・ThearchitecturedescriptionlanguageXYZ/ADLcansupportthestepwisetransitionfromhigher-levelarchitecturestolower-levelarchitectures,becauseitisbasedonthetemporallogiclanguage(TLL)XYZ/E,whichcanrepresentbothdynamicsemanticsandstaticsemanticsunderaunifiedlogicalframework・Inthispaper,theframeworkandsyntaxofXYZ/ADLispresentedanditsunderlyingsemanticsisexplainedusingXYZ/E,andhowtodescribesoftwarea