资源描述：
《基于场景规约的构件式系统设计分析与验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、SoftwareEngineeringGroupDepartmentofComputerScienceNanjingUniversityhttp://seg.nju.edu.cnTechnicalReportNo.NJU-SEG-2006-CJ-003基于场景规约的构件式系统设计分析与验证胡军,于笑丰,张岩,王林章,李宣东,郑国梁PostprintVersion.OriginallyPublishedin:ChineseJournalofComputers,vol29,no.4,Apr2006,Pages513-525Mostofthepapers
2、availablefromthisdocumentappearinprint,andthecorrespondingcopyrightisheldbythepublisher.Whilethepaperscanbeusedforpersonaluse,redistributionorreprintingforcommercialpurposesisprohibited.第!"卷!第#期计!!算!!机!!学!!报6789!")79#!$$%年#月&’()*+*,-./)01-2&-34.5*/+0:;9!$$%!基于场景规约的构件式系统设计分析与验证
3、胡!军!于笑丰!张!岩!王林章!李宣东!郑国梁#计算机软件新技术国家重点实验室!南京!!>$$"@%ForResearchOnly#南京大学计算机科学与技术系!南京!!>$$"@%摘!要!使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型$使用.31顺序图表示基于场景的需求规约$对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验9通过对接口自动机网络状态空间的分析$给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质$包括前向强制一致性&逆向强制一致性以及双向强制一致性等9关键词!构件式系统设计"接口自动机
4、"模型检验"顺序图"统一建模语言#.31%中图法分类号54@>>!"#$%&’(!)*+)’#’,-./0#12#0&(’03)45$#’/4&)-./0#15+#$&3&$/,&)’0’.,HJ!R.SFE7=2LJM!T’0)UREJ!P0)U1FJ=TGEJM!1(SHEJ=V7JM!T’*)UUH7=1FEJM#!"#"$%$&’#()*#")*&+)*,)-$.!)+"/#*$0$123).)4&$,#35634!!>$$"@%#7$8#*"9$3")+:)98;"$*!16$31$#3<0$123).)4&$,#35634=36-$*>
5、6"&$,#35634!!>$$"@%670,4/$,!&7D:7JLJW=QEKLNKXKWLDNLKFMJFKQLO7DFJMD7;LEJND7;L:7:H8E;FJK7YWZE;LLJMF=JLL;FJM9&GLO[FJMWGLFD:7;WEJWQLGEF7;E8:;7:L;WFLKY7;DE88XFJWGLNLKFMJ:GEKLFKEJLYYLOWFLZEXW7FD:;7LWGLKXKWLD;L8FEQF8FWX9(JWGFK:E:L;$WGLEHWG7;KO7JKFNL;WGL:;7Q8LD7YOGLO[FJMO7D:7JLJW=Q
6、EKLNKXKWLDNLKFMJKY7;KOLJE;F7=QEKLNK:LOFYFOEWF7JK9+:LOFYFOE88X$WGLEHWG7;KHKLWGLFJWL;YEOLEHW7DEWEJLWZ7;[KW7D7NL8WGLO7D:7JLJW=QEKLNKXKWLDNLKFMJKZGFOGFJO8HNLEKLW7YFJ=WL;YEOLEHW7DEWEKXJOG;7JF]LNQXKGE;LNEOWF7JK$EJNWGLKOLJE;F7=QEKLNK:LOFYFOEWF7JKE;LK:LOFYFLNQX.31KL^HLJOLNFEM;EDK9BEKL
7、N7JFJLKWFMEWFJMWGL;LEOGEQF8FWXM;E:G7YWGLKWEWLK:EOL7YWGLFJWL;=YEOLEHW7DEWEJLWZ7;[K$WGLEHWG7;KNLL87:KLL;E8E8M7;FWGDKW7OGLO[WGLL_FKWLJWFE8O7JKFKWLJOXEJNDEJNEW7;XO7JKFKWLJOXFJO8HNFJMWGLY7;ZE;N$QEO[ZE;NEJNQFNF;LOWF7JE8O7JKFKWLJOX98#9:)410!O7D:7JLJW=QEKLNNLKFMJ"FJWL;YEOLEHW7DEWE"
8、D7NL8OGLO[FJM"KL^HLJOLNFEM;EDK".31建复杂的软件系统$简化开发过程$提高开发效率9;!引!
