ࡱ> `]^_zzawq1v&( wwww( / 0DTimes New RomanTy|dv 0|( 0D[SOes New RomanTy|dv 0|( 0 DArialNew RomanTy|dv 0|( 00DSymbolew RomanTy|dv 0|( 0@DLucida ConsoleTy|dv 0|( 01PDBrush Script MTTy|dv 0|( 0 b  .  @n?" dd@  @@``   t4n<!Q "; 7<(     87*+,-YZ_[\;\`ab?>=djefgih./06RSWX/ !"#$%&'(< ;5mTNnQP4UV)kl3,21c     8654,r$wq1v&iwC x1?@87 g4CdCdv 0p"ppp@ uʚ;2Nʚ;<4!d!d{ 0<4dddd{ 0? %=oN] z-Nvؚ~  Ng [ N WSN'Yf[{:gyf[Nb/g|AA@Advanced Topics in SEComputer-Aided Software Engineering Formal Methods Software Reuse Reengineering Component-Based Software Engineering Cleanroom Software Engineering Client/Server Software Engineering Web Engineering u JXComputer - Aided Software Engineering CASE -,$. /ecoN_SuX[gvƖbS]wQ0b/gTel(  CASE ConceptsCASEb/gtechnology :NoN_S0~bTyv{tcOꁨRS0] zSQRvoNb/gSbꁨRS~gSelTꁨRS]wQ0 CASE]wQtool /ecyr[voNuX[g;mRꁨRS\RꁨRS voN]wQ0 CASE|~system qQNN*NlQ(uv(u7bLub0v^N(WlQ(uv{:gsX-NЏLvN~ƖbSvCASE]wQ0 CASE]wQ{toolkit N~ƖbSvCASE]wQ YO_oNuX[gvN*N6kbN*NyrkvoN]\Ov;mRꁨRSbRꁨRS 0Z 0" * CASE ConceptsLCASE]\OSworkbench N~ƖbSvCASE]wQ YO_te*NoNuX[ꁨRSbcOꁨRSR SbRg00xTKmՋ0 CASEelf[methodology Ny SꁨRS velf[ [[oN_ST~bv@b gebbgNeb[INN%NCASE Integration ƖbSCASEsXv;`SO~g$  ,LubƖbB\(u7bLub_S]wQS Lu bOS0 ]wQƖbB\SgbL:g6R O:g6R0 Oo`ƖbB\Oo`NCASE]wQvƖb Oo`NOo`vƖb0 oN] zOo`^CQ!jW oN_SOo`,3 >Interface Integration CASELubƖbB\$  LubƖbB\;N1uN*NhQSv(u7bLub_S]wQSNSTCASE]wQqQ Tu[vLubOS~b0 LubƖb g$Nebvvh 1 _SNXTS(W~N N/fRyvLubFhg Nd\O@b gvCASE]wQ [boN_SǏ z0 2 @b gCASE]wQv(u7bLubTd\OΘ e.CASE Repository oN] zOo`^$oN] zOo`^/fƖbSsXv8h_ [:Nte*NCASEsXcO/ec0 oN] zOo`^[b[oNOo`yvX[P0g0O9eN RdI{d\O @bN[_{wQYnfpenc^{t|~v'YRW@xR0$BCASE RepositoryX ddkKNY :NN~ƖbSsXcOo}YvOo` gR oN] zOo`^؏/ec Oo`[te'`S_Oo`yvO9eb Rde ꁨRhgOo`yKNvN'` ꁨR[b[vsQOo`yv_te0 Oo`N]wQvƖbc6RCASE]wQT_SNXT[Oo`yv cOS}YvOo` gR0 Oo`NOo`vƖb^zv^~bOo`yKNvsQ|0 _Self[v_[N:_6R)R(uCQ!jW_[v^:_6R_SNXT cgqe[v_Self[[eoN_S0 echĉS9hncCQ!jW[T{|echv[IN ~NuboNech0 Hr,gc6RNMn{tX[PoNOo`yvTyHr,g :N_SNXTub6k'`bgbg~NTꁨR~TgeHr,g v^AQ(WKmՋǏ z-Neb` YeHr,g08.ZZ  $jZImplementation of CASE Repository oN] zOo`^v[s.!( #  Q0RoN_SǏ z-NT{|pencv~A~ YBg N c8^ĉel~~oN] zOo`^/felnBlv0^\oNOo`y N|^'Y\GWƉ:N[a Oo`^v~g~~:NCQ!jW |~ǏCQ!jW{t:g6R[sTyR0kkjPMetamodel in CASE Repository oN] zOo`^vCQ!jW$) $   0CQ!jW/f[TCASE]wQubvoN_SOo`yvCQ~c ;NQ[:N Oo`yv[IN'`c Sb{|W0^\'`0h:yel0uNNm9 I{I{0 (WTy|^~+R NvOo`yKNvsQ|TOV'`c0Sv|^~+R gpencAm zV~0pency~0Nxk~0 oNĉR0OYpencAm zVvs^aĉR pencAm zV-NlbcveQ0QAmNvQv^Ǐ zveQ0QSpevN'`ĉR0 oN_SǏ zv]\OAm zTNNvc Sb_S6kLu[0̑ zx[IN0Su0BlSf I{I{0 00Z(ZZZ $ Metamodel in CASE Repository 000d NQ[KNY CQ!jW؏[INNoNOo`v~~b__0CASE]wQToN_SNXTOo`yv_0penc[hQ'`T[te'`c6RelNS:N^evoN_Syv [s gCQ!jWۏLibEQvel0 ]]$<CASE Repository*000dCQ!jWY oN] zOo`^؏^S+TN NTebvoN_SOo` gsQ^(uSWvc0 T{|echBlf ech nNx KmՋeHhN(uOI{ 0 1uoN_Self[P[vĉRNc['`SR0 yvĉR0S(uDncT_SSSOo`0 000v[NCQ!jW N NT{|Oo`:Nvh~Oo`[a0P"ZWZZ"X!Implementation of CASE Repository""( oN] zOo`^v^ Ǐ zSNP(u O~vpenc^{t|~cOv Nb/gKbk eQYOvOo`PX[ Nirc6R:g6R [hQ:g6R (u7bLub _>e'` >21  P!Implementation of CASE Repository""( oN] zOo`^vYؚ~R/f'YYpeFU(upenc^{t|~ Nvc/ecv YBgpenc~gvX[P Oo`[te'`hg yv{t Hr,gc6RNMn{t Bl*4/&  %&ThIndustry Standard for CASE Integration CSAE]wQƖbv]NhQ&5&$+ Oo`DnW[xQhQInformation Resource Dictionary Standard, IRDS, ANSI338-1988 0IRDSgR/f\O:NBlRgvpencW[xQhQ _Sv0vQ;Nyr_/fO(uY~CQ!jWv^:_Oo`DnvOS{t gRN(WvsQTvCASE]wQKN^zOo`S0[/ecCASE]wQ(W N Tvd\O|~s^SKNy i0 Atherton IDEC]wQƖbhQATIS 0ATIS]CASE Integration Standards Committee of Software Productivity ConsortiumǑ~0ATIS;N:_oN] zOo`^v;`SO~g[IN /ecMn{t0]wQƖb0penc[hQ'`Ns^Sy i0 lQqQADAcShQCAIS 0CAISO͑NADAoN_S]wQvƖb [:NُN]wQgbƖbSsX[INNcShQ0 Sy iv(usXPCTE 0PCTE/f'kqQSOESPRITRvNR0[]Europen Computer Manufacturer Association (ECMA)@bc~0  Z 2 B7  H. )  )Taxonomy of CASE ToolsBusiness process engineering tools Process modeling and management tools Project planning tools Risk analysis tools Project management tools Requirements tracing tools Metrics and management toolsTaxonomy of CASE ToolsDocumentation tools System software tools Quality assurance tools Database management tools Software configuration management tools Analysis and design tools PRO/SIM toolsTaxonomy of CASE ToolsInterface design and development tools Prototyping tools Programming tools Web development tools Integration and testing tools Static analysis tools Dynamic analysis tools Taxonomy of CASE ToolsETest management tools Client/server testing tools Reengineering tools>;i  .{:gRoN] z b__Sel oN Y(u  L{:gRoN] zCASE  {:gRoN] z Computer - Aided Software Engineering, CASE) /ecoN_SuX[gvƖbS]wQ0b/gTel08 .. -K{:gRoN] zCASE  CASEb/gtechnology :NoN_S0~bTyv{tcOꁨRS0] zSQRvoNb/gSbꁨRS~gSelTꁨRS]wQ0 CASE]wQtool /ecyr[voNuX[g;mRꁨRS\RꁨRS voN]wQ0 CASE|~system qQNN*NlQ(uv(u7bLub0v^N(WlQ(uv{:gsX-NЏLvN~ƖbSvCASE]wQ0 CASE]wQ{toolkit N~ƖbSvCASE]wQ YO_oNuX[gvN*N6kbN*NyrkvoN]\Ov;mRꁨRSbRꁨRS 0 0" *J{:gRoN] zCASE  LCASE]\OSworkbench N~ƖbSvCASE]wQ YO_te*NoNuX[ꁨRSbcOꁨRSR SbRg00xTKmՋ0 CASEelf[methodology Ny SꁨRS velf[ [[oN_ST~bv@b gebbgNeb[INN%N eCoN] zOo`^oN] zOo`^/fƖbSsXv8h_ [:Nte*NCASEsXcO/ec0 oN] zOo`^[b[oNOo`yvX[P0g0O9eN RdI{d\O @bN[_{wQYnfpenc^{t|~v'YRW@xR0$BBoN] zOo`^X ddkKNY :NN~ƖbSsXcOo}YvOo` gR oN] zOo`^؏/ec Oo`[te'`S_Oo`yvO9eb Rde ꁨRhgOo`yKNvN'` ꁨR[b[vsQOo`yv_te0 Oo`N]wQvƖbc6RCASE]wQT_SNXT[Oo`yv cOS}YvOo` gR0 Oo`NOo`vƖb^zv^~bOo`yKNvsQ|0 _Self[v_[N:_6R)R(uCQ!jW_[v^:_6R_SNXT cgqe[v_Self[[eoN_S0 echĉS9hncCQ!jW[T{|echv[IN ~NuboNech0 Hr,gc6RNMn{tX[PoNOo`yvTyHr,g :N_SNXTub6k'`bgbg~NTꁨR~TgeHr,g v^AQ(WKmՋǏ z-Neb` YeHr,g04.  $jAoN] zOo`^v[s  Q0RoN_SǏ z-NT{|pencv~A~ YBg N c8^ĉel~~oN] zOo`^/felnBlv0^\oNOo`y N|^'Y\GWƉ:N[a Oo`^v~g~~:NCQ!jW |~ǏCQ!jW{t:g6R[sTyR0kkj@oN] zOo`^vCQ!jW  0CQ!jW/f[TCASE]wQubvoN_SOo`yvCQ~c ;NQ[:N Oo`yv[IN'`c Sb{|W0^\'`0h:yel0uNNm9 I{I{0 (WTy|^~+R NvOo`yKNvsQ|TOV'`c0Sv|^~+R gpencAm zV~0pency~0Nxk~0 oNĉR0OYpencAm zVvs^aĉR pencAm zV-NlbcveQ0QAmNvQv^Ǐ zveQ0QSpevN'`ĉR0 oN_SǏ zv]\OAm zTNNvc Sb_S6kLu[0̑ zx[IN0Su0BlSf I{I{0 00T( $ ?oN] zOo`^vCQ!jW 000d NQ[KNY CQ!jW؏[INNoNOo`v~~b__0CASE]wQToN_SNXTOo`yv_0penc[hQ'`T[te'`c6RelNS:N^evoN_Syv [s gCQ!jWۏLibEQvel0 ]]$<>oN] zOo`^*000dCQ!jWY oN] zOo`^؏^S+TN NTebvoN_SOo` gsQ^(uSWvc0 T{|echBlf ech nNx KmՋeHhN(uOI{ 0 1uoN_Self[P[vĉRNc['`SR0 yvĉR0S(uDncT_SSSOo`0 000v[NCQ!jW N NT{|Oo`:Nvh~Oo`[a0J"W"X=oN] zOo`^v[sel  oN] zOo`^v^ Ǐ zSNP(u O~vpenc^{t|~cOv Nb/gKbk eQYOvOo`PX[ Nirc6R:g6R [hQ:g6R (u7bLub _>e'` >21  P<oN] zOo`^v[sel  oN] zOo`^vYؚ~R/f'YYpeFU(upenc^{t|~ Nvc/ecv YBgpenc~gvX[P Oo`[te'`hg yv{t Hr,gc6RNMn{t Bl*4/&  %&TMCSAE]wQƖbv]NhQ Oo`DnW[xQhQInformation Resource Dictionary Standard, IRDS, ANSI338-1988 0IRDSgR/f\O:NBlRgvpencW[xQhQ _Sv0vQ;Nyr_/fO(uY~CQ!jWv^:_Oo`DnvOS{t gRN(WvsQTvCASE]wQKN^zOo`S0[/ecCASE]wQ(W N Tvd\O|~s^SKNy i0 Atherton IDEC]wQƖbhQATIS 0ATIS]CASE Integration Standards Committee of Software Productivity ConsortiumǑ~0ATIS;N:_oN] zOo`^v;`SO~g[IN /ecMn{t0]wQƖb0penc[hQ'`Ns^Sy i0 lQqQADAcShQCAIS 0CAISO͑NADAoN_S]wQvƖb [:NُN]wQgbƖbSsX[INNcShQ0 Sy iv(usXPCTE 0PCTE/f'kqQSOESPRITRvNR0[]Europen Computer Manufacturer Association (ECMA)@bc~0  2 B7  H. )  )N b__Sel(xvz̀of [IN b__ !jWhncؚ|~S`'`@w{:g^(uvevnfS N)YbN]~_bS{:g|~SuEe@b&^egv_c1Y ޏ~ЏL]b:Ns(WY{:g|~vsQ.Bl NeSuEe ~bk|~ЏLۏL~b/f Ns[v  Xcؚ|~S`'`cؚSO^v_KmՋtesting b Nwsimulation elVT{|~N[l gُ7hN{| Verification SNNgN*N҉^VT{|~N[l gُ7hN{| N ۏNekcؚbN[|~S`'`vSO^h6  -n  , b__Selb__Sel/fc:NfT YBg{:g|~@bǑ(uvWNpef[v0b/gT]wQ0 b__Sel NnxO|~vS`'` FOvQSNǏc:y|~v NN'`0gkIN'`T N[Y'`egXRbN[|~vt z^ N cؚbN[|~S`'`vSO^0pp pb__b__SelSb fspecification verification b__Sb !jWhmodel checking cttheorem proving 4 1 9|n q!jWh!jWh/fNyꁨR gwzr`|~vb/g0 !jWhvW,g``/fǏMS|~!jWvr`zzegh|~!jW/f&Tn~[v'`(0  Ar!jWh(W!jWh-NmS$Nyb__f '`(f(uNc|~v'`(; !jWc(uNc|~v!jW0 !jWhb/g(uNh1u!jWccv|~!jW/f&Tn1u'`(fcv|~'`(0:,,'-i!jWh!jWh-NvsQ.b/g !jWh-NvsQ.b/g/fYUOpenc~gT{l (uNh:yTMS'Yĉ!jv|~!jWr`zz0 ㉳Q1uY*N|~!jWvv^L~T b_bvr`zzrp0KKJ㉳Qr`zzrpv_ tr`zzv&{Sh:y Symbolic representation of state space McMillan s ordered binary decision diagrams (OBDD), 1992, 10120 OP^ĉ~b/gPartial order reduction bab/gAbstraction [yb/gSymmetry X pA:9 TBx&  F       s!jWhsQNwQ ge^'`(vv^S|~v!jWhtTb/g(W]NLu]~_0R[Ev^(u0 vMR!jWhtTb/gvxvzpp]~lT[e|~ToN|~0 Ft[eTmb|~v!jWh  [N[e|~eg 1uNev_eQ vQr`zz/fewzv0lMSewzvr`zz ُ[xvzNXTeg/fN*Nevcb0vMRNNsQlv;NSb [xQW[e'`(_Sh{l c"}㉳Qr`zzǏ'Yv gHe_ 0R"S$awmb|~ mb|~Hybrid Systems /fN{| YBgv{:g|~ ُ{||~vЏLǏ z-Ne gޏ~vr`SS S gycevr`SS0JJ$*x mb|~[O y mb|~[O&4l{vc|~ RYr`e 4l{-N4lbvؚ^:N1[ 4llSb_e 4l{-N4lbNky1[v^ NGS 4llsQe 4l{-N4lbNky2[v^ NM vchVSQOSSb_sQ 4ll0R[ESb_sQ 4llKN g2yv^ߏ BlvchV\4l{-Nv4lbؚ^c6R(W112[KN0Ti$ j z,mbꁨR:ghybrid automata  {,mbꁨR:ghybrid automata XmbꁨR:g/f NS$R[v vMRVE NvsQWvxvzpp(WN[~bmbꁨR:gvS$R[P[Ɩ0,| ~'`ek'`( ~'`ek'`(SNǏ|~(WT*Nr` Nv/}yeeg~_g|~vL:N0N*N~'`ek'`(/fY Nb__v~'`yR NI{_ "i"e ci+"sid"M vQ-Nsih:y|~r` ci/f[W|pe M/f[pe0 YAY} ~'`ek'`( (W4l{vc|~-N,BlvchV\4l{-Nv4lbؚ^c6R(W112[KN SNh:ybN N~'`ek'`( +"s1 + +"s2 - 2(+"s3 + +"s4 ) 11 +"s1 + +"s2 - 2(+"s3 + +"s4 ) 0 =EB"=@~ n'` hmbꁨR:gv[N~'`ek'`(vn'` N*NmbꁨR:gnN*N~'`ek'`(S_NNS_mbꁨR:gv@b gL:Nn勿~'`ek'`(0(#,$+NmbꁨR:gvL:Nh:y  mbꁨR:gvL:NSNh:yY Ner`^R (s1, t1)^ (s2, t2)^& ^ (sm, tm) vQ-Nsih:y|~r` tih:y|~(Wsi Nv\PYue, t1, t2,& , tm_{nv^ve~_g0 4   3  &^ek~_gvĉRh_  (WĉRh_-N_eQek~_gb_b&^ek~_gvĉRh_0ek~_gh:ybY Nb__ a "i"e ci+"si b f[I>G&^ek~_gvĉRh_ R = e s0 (s0 ^ (s1 ,{+"s1 = 9}) ^ R1) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2, {+"s2 = 2})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 , {+"s2 = 2, 2+"s3 -+"s2 = 5})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 ^ s4, {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2})) vQ-N R1 = (s2 ^ s3 ^ s4^ s1 , {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2, +"s1 -2+"s4 = 5 })*                                                 "%X&^ek~_gvĉRh_ &^ek~_gvĉRh_ Nc@b gmbꁨR:gvL:N &^ek~_gvĉRh_[^NN{|mbꁨR:g [^N&^ek~_gvĉRh_vN{|mbꁨR:g/fS$R[v0NWN~'`ĉRv_ (u&^ek~_gvĉRh_cmbꁨR:gvL:N N ~'`ek'`(v[NmbꁨR:gvn'`lSb:Nv[NĉRh_vn'` AWN~'`ĉRv_ [N NS+T*Џ{&{v{USĉRh_ 1uNĉRh_-N@bS+Tvek~_gb_bNY~~'` NI{_ Te~'`ek'`(,gSN\O:Nv^vvhQpe Vdkn'`SNlS:NN~~'`ĉR [WN~'`ĉRv_ [NNaS+T*Џ{&{vN,ĉRh_R bNSN~bQN*N{USĉRh_R O_RTR (Wv[Ng*N~[v~'`ek'`(Pvn'` N/fI{Nv sS R n P S_NNS_ R n P N g~\n'`R_~:N~'`ĉR06KD].   !jWh]wQ8SMV http://www.cs.cmu.edu/modelcheck/code.html SPIN http://netlib.bell-labs.com/netlib/spin/whatisspin.html HyTech http://www-cad.eecs.berkeley.edu/tah/HyTech/ Kronos http://www.verimag.imag.fr/PEOPLE/Sergio.Yovine/kronos/index.html UPPAAL http://www.brics.dk/FormalMethods/UPPAAL/index.html/<1F9F9         OoN Y(uVoN Y(u[IN oN Y(uǏ z oN Y(uy{|Tb__ oN Y(u~Nmf[ gN oNSO|~g +P oN Y(u[INoN Y(u/fcǏ[] goNvTy gsQwƋeg^zevoN ُNwƋSbWwƋ0_S~0~0Q[0SO|~g0Bl00x0KmՋTechI{0 oN Y(uvvv/fMNOoN_ST~bvb,g cؚoN_SHes cؚoNv(ϑ0(uL ' uQS Y(uvoN6RTCaper Jones[INNS\O:N Y(uP v10yoN6RTartifacts) yvRoNyvRvW,g~gTYQ[Yۏ^h0ΘiRg SNyv Y(u NQ\(uN6R[Rve0 b,g0O1uN N Tvyv-N~8^+T g{|fv Y(uP  dkY (u O~oN] zel_SvRg!jWYpencAmV _N/fS Y(uv0 (u O~el_SvSO|~g0penc0cSTǏ zS/f Y(uvP  |~T[a_N/fS Y(uv0**)*),  (RS Y(uvoN6RTnNx~Ǐv z^Nx/f Y(uvP 0 (u7bechTb/gechsSOyr[v^(u g@b N T FO~8^S Y(uR(u7bechTb/gech0 (u7bLubُ/fg^l Y(uvoN6RT01uN(u7bLubR~`SN*N^(uoNv60%vNxϑ VdkvQ Y(uHesgؚ0 penc(W'YYpe~8^ Y(uvoN6RT-N S Y(uvpencSbQh0U_~gNSeNT[tevpenc^0 KmՋHhONebNx Y(u RvQv^vKmՋHhO_N^ Y(u0 SoN Y(uvǏ zba[] goN6RTv{c N-NbS6RTv,g(Oo`sSS Y(uR O\_N~ S(u7b9hnc] goN6RTvba [~b0kT bgTNv6RTS Y(uN  yrS[] g6RTS Y(uN vO9ebb_b[vN*N[OOSTv Y(uN  Ɩb\OSTv Y(uNƖb:N^(u|~0ToN Y(uv|^NxTb Nxb/fcNq`v] g|~-NbWW0WbvQ-NvnNx b/fcbN'YWWNx RSvQ-NvQ~ FOOcv;`SOFhg0 ُ{| Y(uvyrp/fN]0[s0Ջ}Yv{|e(W^-Nvgyؚ~ z^fNQvnNxgN0 ُ{| Y(uvyrp/fgN,g/f:N Y(u _Sv S Y(ugNX[>e(WN*NO'Y[v^-N0X[>e(W^-NvgN^ gNk{fvc gN^_{cO gHevgNh"}Kbk O(uǏnSpee(WN*N^-N v^~N{USvc0ُy^_{[vQcO gHevh"} O(uǏo}Y[INvcSۏLƖb0 ُ{| Y(uvOp/fS Y(u'Y|^voN6RT O9ewQ g@\'`0vQ:p/fNbaQ{fvc X[>eSO|~gv^N{t04  XoN Y(uv|^^(ub^ubhVApplication Generators ^(u z^ubhV/fc Y(ute*NoN|~v SbteSOvoNSO|~g0SO|~g-Nv;NP[|~0yr[vpenc~gT{lI{0 ُ{| Y(uvyrp/fNؚB\vWyr[vĉ~ꁨRubN*N[tevSgbL|~ ubhVS9hnceQvĉ~kXEQSHQl g v~ [8^S[NNbqvW0 ُ{| Y(uvOp/fꁨRS z^ؚ Sg*Nyr[WvhQ Nўvb__Q~g^(u z^ vQ:p/fNg yr[v^(ub^ubhV04  $YoN Y(uv|^Wyr[voNSO|~g Domain-Specific Software Architecture, DSSA) DSSA Y(u/fc[yr[W-NX[(WvN*NlQqQSO|~gSvQgNv Y(u0 DSSAvyrp/f[W g{_vtMbۏLW^!j^/f[yr[WvW!jW0WQSO|~greference architecture T^@wWvSU\ NeSU\0 ُ{| Y(uvOp/f Y(uv z^ؚ [S Y(ugNv~TcONN*N(uFhg0vQ:p/fMRgbD_'Y04::T 1/=UoN Y(uvb__Wv_ Y(uT4ls^_ Y(u Wv_ Y(u/fc(W TN^(uW-Nv Y(u01uN TNW-Nv^(uX[(WYqQ'`bvfWvHev0@ _B _B`g N gN/fcSNfnxhƋvoN6RT [SN/fBlRgT6kvNT0Nx0KmՋHhO0echboN_SǏ z-NvvQNNT0 S Y(ugN/fcSvQN|~v_S Y(u N_SeoNvgN8^bNvgN;N/fcS Y(ugN 0 om ob[S Y(ugNvBl pgN^wQ gؚv(u z^ gN^fNte gN^fN~ň gN_{wQ gSh"}'` gN_{~ǏEQRvKmՋ 998cgN!jWj3CgN!jW i_/fsQN gNZPNHN vbac SNǏi_St㉄gNvR0i_SbcSĉ~TINc$NR0 Q[/fi_vwQSO[s cgNYUO[bi_@b;R;uvR0,g( N Q[/f[N,(u7b=vOo` S gNOVO9egNvNMbNُNOo`0 hTXcgNTYVsX(Wi_~TQ[~vsQ| ;R;ugNv^(usX :NgNv (uT^'`O9ecOc[0`  "dgN!jW REBOOTReuse Based on Object-Oriented Technology !jW REBOOT/fNyWNHTbfacet v!jW0Ǐ[WۏLRg _0RN~W,gvcyr_ ُNyr_y:NHTb0HTbSNcgNgbLvR0@bd\Ovpenc0gN^(uvhTXbNUOvQNyr_0N*NgN8^SbN NHTb 1 bagNi_vba'`c0 2 d\OgN@bcOvd\Ovc0 3 d\O[acd\Ov[a0 4 OVcgNNYLuvOVsQ|0 T9iJ9iJf  1UHfgN|~N*NgN|~/fcON~S Y(uyr'`v|~NT0ُNyr'`1uvNOVTvNޏcvOYgNSbTy{|W0vsQTvSTcvech egSOs0 N*NgN|~vĉ!jS'YS\ \vSS gQ*NgNSvQvsQvech0 gN|~-NvgNX[(WNNsQ| YN*NgNSNNvQNgN̑~bvQRSNSmo`~vQNgNSNNvQNgNsQT0/ecOS T]\OI{0 N*NgN|~ N/fNavS Y(ugNvƖT0gN|~8^ǏlQqQv}T TOS[0hQvYt:g6RT~NvcSOƖT-NvgNOS T]\Ov^] zS0e gN^{t@gNvR{|X[P gNh"} gN^8nȉ RdgN gNO(u`QċN!! g^ S Y(ugN4R^WgNvFhg g (u'`TSS'`:_vgNhR^WgNvFhg b (W^ gNe d^u_] gvi_TSRY ؏_{Q^(uWvyr_0Binder^(WeQN NsQ. hQpenc^xvz^(uW v^hƋQhQvhQ@\penc~gYeN~gT[tevpenc^ O_@b gvgNSN(uُNhQpenc~geg;R;u0 hQcSOS^^z N*NB\!kvPSOSgNQcS0gNYcSNSN:gcS0 z^!jg z^v~g!jWSN\O:Ne z^vSO|~gv!jg0 Ne^zN^(uWvhQpenc0hQcSOST z^!jg 1\ gNN*NS(WvQ-NR^vFhg &{Tُ*NFhgQegvegN(WNT勆Wv Y(u-N\O gfؚv Y(uis0TG`G R$1ig (u'`TSS'`:_vgN  :NNOgNY:N^l0W Y(u gN^wQ g:_v(u'`TSS'`0S_N*NgN N Tv^(u Y(ue gNvgNRSO9e0:Ndk bN(WgN Y(ueSSuSSvN*NbY*NMOn NhƋSSp Te:NSSpDRN*NbY*NSSO ُ7h1\b_bNN*NbavgN0S_gN Y(ue S9hnc N Tv^(uc[ N TvSSO ObagNOS N^yr[^(uv0ُ7h^ vgN1\wQ g:_v(u'`TSS'`0a oNSO|~goNSO|~g/fcoN;`SOFhg [1u~gCQƖ0~gb_NS~gt NR~b0~gCQƖ:NN~gbSO|~gKN~gCQgN 0 ~gCQ g N{| sSYtCQ0Oo`CQNޏcCQ0YtCQ:N[Oo`CQ[eSbcYt vgN Oo`CQ:N+T geNSbcKNS(uOo`vgN ޏcCQ:N(uNޏcvQNgNvgN0 ~gb_Sbyr'`NT|0yr'`(uN~_g~gCQv S T|R~_g N T~gCQKNvNNN~~0 ~gt;R;uSO|~gNXT SSO|~gΘ?" dd@,|?" dd@   " @ `"  n?" dd@   @@``@n?" dd@  @@``PR    @ ` ` p>> % n f   (   F J   Jn   s *ıy?PP  N +    + n2   s *дy?+ U  n2   s *y?   n2   s *hy?+T n2   s *4y? n2   s * =y?+U n2   s *Py? n2   s *0y?+U n2   s *y? n   s *y? n2   s *y?J%t n2   s *y?% n2   s *y?j%   Nygֳgֳ ?P y LUSQdkYkHrh7h_    Hygֳgֳ ? y 8USQdkYkHre,g7h_ ,{N~ ,{ N~ ,{V~ ,{N~    Zy1 ?`` y Z* 2  Zy1 ?`  y \*(2  Zy1 ?`  y \*(2N  6޽h? ? f33  eNW!jg#   L#D# "(  F J  Jn  s *H?P  n  s *`? n2  s *06?+JUt n2  s *?+U n2  s *Ɔ?+jU n2  s *@U?+U n2   s *,a?+UD n2   s *c?+U n2   s *f?+:Uc n2   s *i?+U n2   s *l?+[U N + j  + jn2  s *o?+ jU  n2  s *$q? j  n2  s *t?+jT n2  s *v?j n2  s *y?+jU n2  s *|?j n2  s *?+jU n2  s *$?j n2  s *?+U# N       6  C BC DEF?pp"-<HbutP}@w,riiiigglu{rke\ApbSF=843k"S-:4!4 *&3: {q"h(a(a*^*^*^-\/V3S4S=OCMHMNJQJSHYCY?Q2Q2Q/Q/Q+Q+Q)N)N&HA= <)^X2!n`-J3ro@Z c    C v B8CDExF?#'(,.#pbW UW#`,g3t7k7b7]7U3%.'nEw k^RG>!7#-!*$#(3>GLLw8i(\QF:/&-8?JXi{}u}lgccaaglnnnlllH8*yl ^SE84443 !* 8888:HWcnnnnr   !!$$$/8CPWY^bbbglnr!t#w&w*t,t1r5g1\&PC:!4&+,(1*5+6+:/:8:=<?ACJCJ?N=S=SGNSY[denune^SH;1&&+16:?HJJJJ?O,M7D>;G6U6`?kJvXer|{{* 4>?]Nv^n}}l\N?3$'2;BFKQV_l|zjXDXj|?bufV/FL2e}rbN>-#}#|#xxvj#_#W$M-37CYepw#=@@{  n  C >B?CIDE\Fd?*A:H>H>C:A:>,8%-"   -8*A/0@ Q[   NPgֳgֳ ?p  ZUSQdkYkHrh7h_    H4gֳgֳ ? p  NUSQdkYkHroRh7h_   ZL1 ?``  ^* 2  Z1 ?`   `*(2   ZT1 ?`   `*(2N  6޽h? ? f330 nf(     f1 ?P   b P*     f1 ?    R*  d  c $ ?  2   f1 ? @  8USQdkYkHre,g7h_ ,{N~ ,{ N~ ,{V~ ,{N~    # l401 ?`P   P*    # l41 ?`   R*  H  0޽h ? ̙33  0( \  l  C d^ P   l  C  _   H  0޽h ? ̙33  @0(  x  c $ P   x  c $   H  0޽h ? f33  P0(  x  c $x P   x  c $    H  0޽h ? f33  ` 0(   x   c $ P   x   c $4   H   0޽h ? f33  p$0(  $x $ c $ P   x $ c $d   H $ 0޽h ? f33  (0(  (x ( c $' P   x ( c $P(   H ( 0޽h ? f33  ,0(  ,x , c $ P   x , c $Ņ   H , 0޽h ? f33  00(  0x 0 c $ P   x 0 c $   H 0 0޽h ? f33  40(  4x 4 c $L P   x 4 c $   H @ 0޽h ? f33  <$(  <r < S X P   r < S L   H < 0޽h ? f33  8$(  8r 8 S   P   r 8 S ȍ   H 8 0޽h ? f33  4$(  4r 4 S ؚ P   r 4 S    H 4 0޽h ? f33   0$(  0r 0 S ̦ P   r 0 S t   H 0 0޽h ? f33  0,$(  ,r , S Ĭ P   r , S T   H , 0޽h ? f33  @($(   (r ( S  P   r ( S 0   H ( 0޽h ? f33  P$$(  ? $r $ S  P   r $ S    H $ 0޽h ? f33  ` $( "5%  r   S ,> P   r   S ӆ   H   0޽h ? f33  p$(  r  S h P   r  S X   H  0޽h ? f33  `(  `l ` C  P   l ` C o   H ` 0޽h ? f33  pd( ++. dl d C ( P   l d C    H d 0޽h ? f33  `$(  r  S l P   r  S (   H  0޽h ? f33  PD(  ~  s *<º P     H0ĺgֳgֳ ?P0 ,$0 (  H(jgֳgֳ ?,$ 0 &KmՋtesting b Nwsimulation NЏL|~!jW :N;NKbkSs|~0 Verification ^z|~!jW nx|~!jW/f&TX[(W0 (ϑ{t (W|~_SǏ z-NR:_{t 2bkSQsv0     @8  # tA >?25%@p ,$D0H  0޽h ? f|  @$( P\ r  S tǺ P   r  S 0Ⱥ   H  0޽h ? f33  $(  r  S  P   r  S    H  0޽h ? f33  $(  r  S  P   r  S    H  0޽h ? f33   $(  r  S $ P   r  S P   H  0޽h ? f33  0$(  r  S  P   r  S H¿   H  0޽h ? f334  ]4U4@MM3( ? ~  s *ȿ P   R2  s *@ p B  0DԔ  ,$D0B  0DԔ  ` ,$D0  <˿@K`  DFinite-state modelA   `1?X   `1?    `1?*D    `1?    `1?n    `1?B    `1?   `1?4"Rd   `1?4Brd   `1?4d   `1?B   `1?R   `1?8h   `1?   `1?B @  `D1?B   `D1?"4B @  `D1?B  # lD1?n8B   `D1?B   `D1?4B   `D1?j@^B   `D1?j.B   `D1?6>VB  # lD1?H.B    `D1?:,B !@ # lD1?d4B "  `D1?l`B #@ # lD1?j0NB $@  `D1?<B %@  `D1?B &  `D1? '  `1? (  `1?:j )  `1?0,` *  `1? +  `1?P$TB ,  `D1?B -@  `D1?dB .  `D1?FB /@  `D1?jB 0@  `D1?VB 1@ # lD1?">2B 2 # lD1? >B 3  `D1?4 4  `1? P 5  `1?B 6  `D1?tB 7  `D1?&N: 8  `1?4*dB 9@  `D1?6. :  `1?|B ; TD1?.DJ < # "0e0e    B~CDELF$ 1 8c8c     ?1 d0u0@Ty2 NP'p<'pA)BCD|E||~]0"  'XE*6A N@      n = # 0e0e    BrCDE(F 1 8c8c     ?1 d0u0@Ty2 NP'p<'pA)BCD|E|| :Lh^-rlDfG( @   $H > <0  P HTemporal logic formulaAX ? 0o (  @ <  A  ? Model CheckerA  A # lϿ)))1? p  m (F W)C" B 3 r 1?  B C C x D1?X X B D # l 1? ( z @Pp E P@p,$D0 F <տPPv,$D0 4OKA G <4ٿ  % ,$D0 = Error trace AB H 0DԔ@  ,$D0B I 0DԔp  ,$D0 J <ݿ ,$D0 4orA K # l 1?P p ,$D0 L 0o0 ,$D 0 M C x8)))1?` ,$ 0 Line 5: & Line 12: & Line 15:& Line 21:& Line 25:& Line 27:& & Line 41:& Line 47:& WWC H  0޽h ?   P(   l  C  P   l  C h   H  0޽h ? f33  `(  l  C  P   l  C p   H  0޽h ? f33  p$(  r  S  P   r  S h   H  0޽h ? f33  $(  r  S  P   r  S p   H  0޽h ? f33  $( Zd(iQ r  S - P   r  S H.   H  0޽h ? f33l     -. (   r   S D6 P   B  @  fD1?` ` ` B    fD1?` B    fD1?  B    fD1? @B    fD1?@@@B    fD1?` pp@B    fD1?@p@B  @  fD1?` p` B  @  fD1?PB    fD1?B    fD1?p0B    fD1?pV    .BCDEXF(1?hp4P  P`@hp08@p(@       H p &    BCDE4F1? PT@`h@p008@ @     `  6    BC8DE@F 1?p8P(8P8 hx4h @      0@     BChDE(F1? hHXH8( P<h @    p     BCDEF1?HPx@   ` 2    `1?pP 2    `1?0 `B    fD1?P B    fD1?0P 0    `1?`B    fD1?B    fD1?0P0B    fD1?0PPB    fD1?PB    fD1?B    fD1?2    `1?B ! @  fD1? B "   fD1?B #   fD1?p $   `1? B % @  `D1? P B &   fD1? PPP B '   fD1?P P`P B (   fD1?  B ) @  fD1? `P " *   `1?@0  +  # ll1? Z   ,  # l 1?F : : 4l{vc|~ -   BCyDEFDo?++B1ou7(y;jXF;!eY;]aYdoooU>w!YH=,C% @              y >  .   BCDEFLo?11oM=*Kd8B3. , ~,,]d]o  zz  q[ndx$MXBT3V,M0no <*88#$@                  q H   0޽h ? f33  $(  r  S x: P   r  S  ;   H  0޽h ? f33  &( xHLdVZ r  S A P   2   f$B1?`@ p*S1 x = 1 y = 1 y 10*2   fO1? n(S2 x = 1 y = 1 x 1*2   fxI1? pP r*S3 x = 1 y = -2 x 2,2   fh\1? P p*S4 x = 1 y = -2 y 5*B   `D1?`@`B    `D1?@@ B  @  `D1?pB    `D1? B    `D1?```    `ކ1?B ( 2  # lr1? ;y=1  # l$1?@   9.  # lX`1?P  9.  # ld1?\ 1.  # l|g1?\ 1.  # l8k1?P 1.  # lo1?P 1.  # lq1?0 Pw  1.  # lPu1?P P 1.  # lx1?:v  7y = 10?  # l(|1?Zv  6x := 0  # ld1? v   6y = 5?  # l(1? v Q 6x := 0  # l܄1?Z V  6x = 2?  # l$1?Z f   6x = 2?H  0޽h ? f33  $( 4CxHLdV r  S  P   r  S \   H  0޽h ? f33  $( 24CxHL r  S  P   r  S ԏ   H  0޽h ? f33   $( 724CxH  r   S  P   r   S P   H   0޽h ? f33  $$( )724C $r $ S  P   r $ S p   H $ 0޽h ? f33   ($(  (r ( S  P   r ( S    H ( 0޽h ? f33  0,$( h<h ,r , S  ׃ P   r , S tރ   H , 0޽h ? f33  @0$(  0r 0 S p P   r 0 S 0   H 0 0޽h ? f33  P4$( ȍ|x% 4r 4 S f P   r 4 S g   H 4 0޽h ? f33  `8$( ȍ|( 8r 8 S H} P   r 8 S }   H 8 0޽h ? f33  p<$( ȍ|( <r < S l$ P   r < S $   H < 0޽h ? f33  @$( ȍ|( @r @ S D) P   r @ S *   H @ 0޽h ? f33  (  mC0mC l  C ; P   l  C ;   H  0޽h ? f33  h( P  hl h C 5 P   l h C 5   H h 0޽h ? f33  l(   ll l C O P   l l C `P   H l 0޽h ? f33  p(  pl p C 08 P   l p C 8   H p 0޽h ? f33  t(  tl t C  P   l t C L   H t 0޽h ? f33  x(  xl x C | P  | l x C |  | H x 0޽h ? f33  |(  |l | C | P  | l | C | |  | H | 0޽h ? f33  (  l  C | P  | l  C |  | H  0޽h ? f33  ( T( l  C ,| P  | l  C ,|  | H  0޽h ? f33  (  l  C 2| P  | l  C 3|  | H  0޽h ? f33  (  l  C K| P  | l  C ,L|  | H  0޽h ? f33  ( ~@K@ l  C TZ| P  | l  C Z|  | H  0޽h ? f33  ( \|@ l  C D_| P  | l  C `|  | H  0޽h ? f33  ( ` l  C m| P  | l  C n|  | H  0޽h ? f33   (  l  C ~| P  | l  C ~|  | H  0޽h ? f33  ( ? l  C ,ɻ P   l  C ɻ   H  0޽h ? f33  ( P & l  C |T P   l  C 8U   H  0޽h ? f33  (  l  C  P   l  C     H  0޽h ? f33  0(  l  C | P  | l  C x|  | H  0޽h ? f33  @(  l  C ,| P  | l  C |  | H  0޽h ? f33  P( DJ(TJ( l  C {| P  | l  C |  | H  0޽h ? f33  `(  l  C | P  | l  C d|  | H  0޽h ? f33  p(  l  C | P  | l  C h|  | H  0޽h ? f33  (  l  C | P  | l  C t|  | H  0޽h ? f33  ( 0+(@+( l  C | P  | l  C 0|  | H  0޽h ? f33  ( f(f( l  C d P   l  C    H  0޽h ? f33  (  l  C y P   l  C    H  0޽h ? f33  ( ~@K@ l  C F P   l  C    H  0޽h ? f33  (  l  C | P  | l  C x|  | H  0޽h ? f33  (  l  C | P  | l  C ||  | H  0޽h ? f33  (  l  C H| P  | l  C |  | H  0޽h ? f33}  -%0+(  l  C l P     # l1?@@ fATM Q~XT     f1?`@  # l1?@ R_Shy  # l1?@  Tsё{t  # lH1?@  PN>k   # l I1? @  RJava     # lN1?  ^Shy{t    # ll1?@ JNT Workstation    # l81?  = HP ORB Plus     # l1?  ZL[7b {t  # lz1?  BTCP/IP     f1?@`   f1? @   f1? @ @   f1?@ @    f1?`   f1? `    f1? @    f1? @    f1?@ B   `D1?B   `D1?@ @ B   `D1?@@  3 rD1? Z|~oN  3 r\1? f  P-NN  3 r1?6*  Ryr[NR   3 r1? R^(u|~H  0޽h ? f33    (   l   C  P   l   C H   H   0޽h ? f33   t l  (  l  C P^ P      f1? 0   f1? @0   f1?    f1?    f1? P    f1?` 0 B    fD)?@@B    fD)?` @` B    fD1?0@@B    fD1?0``B   fD1?  ` B   fD1?`  B   fD1?` B   fD1?` 00 B   fD1? P P ` B   fD1?P P ` H  0޽h ? f33j0 *"(  ^  S     |  c $ @  | zDEOS Transition In the next several slides, I will illustrate the main challenges in abstracting complext software and outline our approaches to addressing them on a realistic case study & b SH  0޽h ? ̙330 ((  ^  S     |  c $`?| @  |  H  0޽h ? ̙33r@J">rQRS>U*WY[\^`bdfvhbjNl:n&prsu}]= )"#%'}+]-=/1248}I}:]<=>@ACEGwyzfRu a M 9%Nru]K=MOeg6*$"&(* ,./13579;=?ACEGIKMzO w( / 0DTime Ļʾ ĻxpV ]Times New RomanArialSymbolLucida ConsoleBrush Script MT ʱģеĸ߼Advanced Topics in SE/Computer - Aided Software Engineering CASECASE ConceptsCASE ConceptsCASE Methodology*CASE Integration ɻCASEṹ%Interface Integration CASE漯ɲ Tool Integration CASE߼ɲTool Integration'Information Integration CASEϢɲCASE Repository ϢCASE Repository8Implementation of CASE Repository Ϣʵ4Metamodel in CASE Repository ϢԪģMetamodel in CASE RepositoryCASE Repository"Implementation of CASE Repository"Implementation of CASE Repository>Industry Standard for CASE Integration CSAE߼ɵĹҵ׼Taxonomy of CASE ToolsTaxonomy of CASE ToolsTaxonomy of CASE ToolsTaxonomy of CASE ToolsFormal Methodsʽϵͳɿϵͳɿ߿Ŷȵ; ʽ ʽ֤ ģͼ ģͼ ģͼģͼеĹؼ״̬ռ䱬ը; ģͼʵʱͻϵͳģͼ ϵͳ ϵͳʵ ϵͳʵԶhybrid automataԶhybrid automata ʱ ʱ ԶΪʾʱԼĹʽʱԼĹʽʱԼĹʽԹ滮֤;Թ滮֤;Թ滮֤; ģͼ鹤Software Reuse ã öɸõƷɸõƷõĹõõõõõõʽõʽõʽþѧöӰöʵӰöԳɱӰöԳɱӰ ԿɸùҪ ģ ģ ϵͳ ɸù򹹼ƿͨԺͿɱǿĹ ϵṹϵṹڹϵṹ ϵṹ ϵṹ ϵṹ  õʾĸģ õƬV #_Tp yLi XuandongLi Xuandong.%2 еĸ߼;;;:;;:;;;.--yH-- w@Q ww w0- . 2 y+. . 2 y+. . 2 y+. DBrush Script MTTy|dv 0|( 0 b  .  @n?" dd@  @@``   t[<!Q "; 7<(     7*+,-YZ_[\;\`ab?>=djefgih./06RSWX/ !"#$%&'(< ;5mTNnQP4UV)kl3,21c     654,r$wq1v&iwC x1?@87 g4CdCdv 0p"ppp@ uʚ;2Nʚ;<4!d!d{ 0<4dddd{ 0? %oN] z-Nvؚ~  Ng [ N WSN'Yf[{:gyf[Nb/g|AA@Advanced Topics in SEComputer-Aided Software Engineering Formal Methods Software Reuse Reengineering Component-Based Software Engineering Cleanroom Software Engineering Client/Server Software Engineering Web Engineering u JXComputer - Aided Software Engineering CASE -,$. /ecoN_SuX[gvƖbS]wQ0b/gTel(  CASE ConceptsCASEb/gtechnology :NoN_S0~bTyv{tcOꁨRS0] zSQRvoNb/gSbꁨRS~gSelTꁨRS]wQ0 CASE]wQtool /ecyr[voNuX[g;mRꁨRS\RꁨRS voN]wQ0 CASE|~system qQNN*NlQ(uv(u7bLub0v^N(WlQ(uv{:gsX-NЏLvN~ƖbSvCASE]wQ0 CASE]wQ{toolkit N~ƖbSvCASE]wQ YO_oNuX[gvN*N6kbN*NyrkvoN]\Ov;mRꁨRSbRꁨRS 0Z 0" * CASE ConceptsLCASE]\OSworkbench N~ƖbSvCASE]wQ YO_te*NoNuX[ꁨRSbcOꁨRSR SbRg00xTKmՋ0 CASEelf[methodology Ny SꁨRS velf[ [[oN_ST~bv@b gebbgNeb[INN%NCASE Integration ƖbSCASEsXv;`SO~g$  ,LubƖbB\(u7bLub_S]wQS Lu bOS0 ]wQƖbB\SgbL:g6R O:g6R0 Oo`ƖbB\Oo`NCASE]wQvƖb Oo`NOo`vƖb0 oN] zOo`^CQ!jW oN_SOo`,3 >Interface Integration CASELubƖbB\$  LubƖbB\;N1uN*NhQSv(u7bLub_S]wQSNSTCASE]wQqQ Tu[vLubOS~b0 LubƖb g$Nebvvh 1 _SNXTS(W~N N/fRyvLubFhg Nd\O@b gvCASE]wQ [boN_SǏ z0 2 @b gCASE]wQv(u7bLubTd\OΘ?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDbFGHIJLMNOPQRSTUVWXYZ[\acdefghijklmnopqrstuvwxy{|}~Root EntrydO)  2@PicturesCurrent User_ASummaryInformation(( PowerPoint Document(xpDocumentSummaryInformation85T s New RomanTy|dv 0|( 0D[SOes New RomanTy|dv 0|( 0 DArialNew RomanTy|dv 0|( 00DSymbolew RomanTy|dv 0|( 0@DLucida ConsoleTy|dv 0|( 01PDBrush Script MTTy|dv 0|( 0 b  .  @n?" dd@  @@``   t[<!Q "; 7<(     7*+,-YZ_[\;\`ab?>=djefgih./06RSWX/ !"#$%&'(< ;5mTNnQP4UV)kl3,21c     654,r$wq1v&iwC x1?@87 g4CdCdv 0p"ppp@ uʚ;2Nʚ;<4!d!d{ 0<4dddd{ 0? %oN] z-Nvؚ~  Ng [ N WSN'Yf[{:gyf[Nb/g|AA@Advanced Topics in SEComputer-Aided Software Engineering Formal Methods Software Reuse Reengineering Component-Based Software Engineering Cleanroom Software Engineering Client/Server Software Engineering Web Engineering u JXComputer - Aided Software Engineering CASE -,$. /ecoN_SuX[gvƖbS]wQ0b/gTel(  CASE ConceptsCASEb/gtechnology :NoN_S0~bTyv{tcOꁨRS0] zSQRvoNb/gSbꁨRS~gSelTꁨRS]wQ0 CASE]wQtool /ecyr[voNuX[g;mRꁨRS\RꁨRS voN]wQ0 CASE|~system qQNN*NlQ(uv(u7bLub0v^N(WlQ(uv{:gsX-NЏLvN~ƖbSvCASE]wQ0 CASE]wQ{toolkit N~ƖbSvCASE]wQ YO_oNuX[gvN*N6kbN*NyrkvoN]\Ov;mRꁨRSbRꁨRS 0Z 0" * CASE ConceptsLCASE]\OSworkbench N~ƖbSvCASE]wQ YO_te*NoNuX[ꁨRSbcOꁨRSR SbRg00xTKmՋ0 CASEelf[methodology Ny SꁨRS velf[ [[oN_ST~bv@b gebbgNeb[INN%NCASE Integration ƖbSCASEsXv;`SO~g$  ,LubƖbB\(u7bLub_S]wQS Lu bOS0 ]wQƖbB\SgbL:g6R O:g6R0 Oo`ƖbB\Oo`NCASE]wQvƖb Oo`NOo`vƖb0 oN] zOo`^CQ!jW oN_SOo`,3 >Interface Integration CASELubƖbB\$  LubƖbB\;N1uN*NhQSv(u7bLub_S]wQSNSTCASE]wQqQ Tu[vLubOS~b0 LubƖb g$Nebvvh 1 _SNXTS(W~N N/fRyvLubFhg Nd\O@b gvCASE]wQ [boN_SǏ z0 2 @b gCASE]wQv(u7bLubTd\OΘ e.CASE Repository oN] zOo`^$oN] zOo`^/fƖbSsXv8h_ [:Nte*NCASEsXcO/ec0 oN] zOo`^[b[oNOo`yvX[P0g0O9eN RdI{d\O @bN[_{wQYnfpenc^{t|~v'YRW@xR0$BCASE RepositoryX ddkKNY :NN~ƖbSsXcOo}YvOo` gR oN] zOo`^؏/ec Oo`[te'`S_Oo`yvO9eb Rde ꁨRhgOo`yKNvN'` ꁨR[b[vsQOo`yv_te0 Oo`N]wQvƖbc6RCASE]wQT_SNXT[Oo`yv cOS}YvOo` gR0 Oo`NOo`vƖb^zv^~bOo`yKNvsQ|0 _Self[v_[N:_6R)R(uCQ!jW_[v^:_6R_SNXT cgqe[v_Self[[eoN_S0 echĉS9hncCQ!jW[T{|echv[IN ~NuboNech0 Hr,gc6RNMn{tX[PoNOo`yvTyHr,g :N_SNXTub6k'`bgbg~NTꁨR~TgeHr,g v^AQ(WKmՋǏ z-Neb` YeHr,g08.ZZ  $jZImplementation of CASE Repository oN] zOo`^v[s.!( #  Q0RoN_SǏ z-NT{|pencv~A~ YBg N c8^ĉel~~oN] zOo`^/felnBlv0^\oNOo`y N|^'Y\GWƉ:N[a Oo`^v~g~~:NCQ!jW |~ǏCQ!jW{t:g6R[sTyR0kkjPMetamodel in CASE Repository oN] zOo`^vCQ!jW$) $   0CQ!jW/f[TCASE]wQubvoN_SOo`yvCQ~c ;NQ[:N Oo`yv[IN'`c Sb{|W0^\'`0h:yel0uNNm9 I{I{0 (WTy|^~+R NvOo`yKNvsQ|TOV'`c0Sv|^~+R gpencAm zV~0pency~0Nxk~0 oNĉR0OYpencAm zVvs^aĉR pencAm zV-NlbcveQ0QAmNvQv^Ǐ zveQ0QSpevN'`ĉR0 oN_SǏ zv]\OAm zTKENNvc Sb_S6kLu[0̑ zx[IN0Su0BlSf I{I{0 00Z(ZZZ $ Metamodel in CASE Repository 000d NQ[KNY CQ!jW؏[INNoNOo`v~~b__0CASE]wQToN_SNXTOo`yv_0penc[hQ'`T[te'`c6RelNS:N^evoN_Syv [s gCQ!jWۏLibEQvel0 ]]$<CASE Repository*000dCQ!jWY oN] zOo`^؏^S+TN NTebvoN_SOo` gsQ^(uSWvc0 T{|echBlf ech nNx KmՋeHhN(uOI{ 0 1uoN_Self[P[vĉRNc['`SR0 yvĉR0S(uDncT_SSSOo`0 000v[NCQ!jW N NT{|Oo`:Nvh~Oo`[a0P"ZWZZ"X!Implementation of CASE Repository""( oN] zOo`^v^ Ǐ zSNP(u O~vpenc^{t|~cOv Nb/gKbk eQYOvOo`PX[ Nirc6R:g6R [hQ:g6R (u7bLub _>e'` >21  P!Implementation of CASE Repository""( oN] zOo`^vYؚ~R/f'YYpeFU(upenc^{t|~ Nvc/ecv YBgpenc~gvX[P Oo`[te'`hg yv{t Hr,gc6RNMn{t Bl*4/&  %&ThIndustry Standard for CASE Integration CSAE]wQƖbv]NhQ&5&$+ Oo`DnW[xQhQInformation Resource Dictionary Standard, IRDS, ANSI338-1988 0IRDSgR/f\O:NBlRgvpencW[xQhQ _Sv0vQ;Nyr_/fO(uY~CQ!jWv^:_Oo`DnvOS{t gRN(WvsQTvCASE]wQKN^zOo`S0[/ecCASE]wQ(W N Tvd\O|~s^SKNy i0 Atherton IDEC]wQƖbhQATIS 0ATIS]CASE Integration Standards Committee of Software Productivity ConsortiumǑ~0ATIS;N:_oN] zOo`^v;`SO~g[IN /ecMn{t0]wQƖb0penc[hQ'`Ns^Sy i0 lQqQADAcShQCAIS 0CAISO͑NADAoN_S]wQvƖb [:NُN]wQgbƖbSsX[INNcShQ0 Sy iv(usXPCTE 0PCTE/f'kqQSOESPRITRvNR0[]Europen Computer Manufacturer Association (ECMA)@bc~0  Z 2 B7  H. )  )Taxonomy of CASE ToolsBusiness process engineering tools Process modeling and management tools Project planning tools Risk analysis tools Project management tools Requirements tracing tools Metrics and management toolsTaxonomy of CASE ToolsDocumentation tools System software tools Quality assurance tools Database management tools Software configuration management tools Analysis and design tools PRO/SIM toolsTaxonomy of CASE ToolsInterface design and development tools Prototyping tools Programming tools Web development tools Integration and testing tools Static analysis tools Dynamic analysis tools Taxonomy of CASE ToolsETest management tools Client/server testing tools Reengineering toolsN*Formal Methodsb__Sel (xvz̀of [IN b__ !jWhncؚ|~S`'`@w{:g^(uvevnfS N)YbN]~_bS{:g|~SuEe@b&^egv_c1Y ޏ~ЏL]b:Ns(WY{:g|~vsQ.Bl NeSuEe ~bk|~ЏLۏL~b/f Ns[v  Xcؚ|~S`'`cؚSO^v_KmՋtesting b Nwsimulation elVT{|~N[l gُ7hN{| Verification SNNgN*N҉^VT{|~N[l gُ7hN{| N ۏNekcؚbN[|~S`'`vSO^h6  -n  , b__Selb__Sel/fc:NfT YBg{:g|~@bǑ(uvWNpef[v0b/gT]wQ0 b__Sel NnxO|~vS`'` FOvQSNǏc:y|~v NN'`0gkIN'`T N[Y'`egXRbN[|~vt z^ N cؚbN[|~S`'`vSO^0pp pb__b__SelSb fspecification verification b__Sb !jWhmodel checking cttheorem proving 4 1 9|n q!jWh!jWh/fNyꁨR gwzr`|~vb/g0 !jWhvW,g``/fǏMS|~!jWvr`zzegh|~!jW/f&Tn~[v'`(0  Ar!jWh(W!jWh-NmS$Nyb__f '`(f(uNc|~v'`(; !jWc(uNc|~v!jW0 !jWhb/g(uNh1u!jWccv|~!jW/f&Tn1u'`(fcv|~'`(0:,,'-i!jWh!jWh-NvsQ.b/g !jWh-NvsQ.b/g/fYUOpenc~gT{l (uNh:yTMS'Yĉ!jv|~!jWr`zz0 ㉳Q1uY*N|~!jWvv^L~T b_bvr`zzrp0KKJ㉳Qr`zzrpv_ tr`zzv&{Sh:y Symbolic representation of state space McMillan s ordered binary decision diagrams (OBDD), 1992, 10120 OP^ĉ~b/gPartial order reduction bab/gAbstraction [yb/gSymmetry X pA:9 TBx&  F       s!jWhsQNwQ ge^'`(vv^S|~v!jWhtTb/g(W]NLu]~_0R[Ev^(u0 vMR!jWhtTb/gvxvzpp]~lT[e|~ToN|~0 Ft[eTmb|~v!jWh  [N[e|~eg 1uNev_eQ vQr`zz/fewzv0lMSewzvr`zz ُ[xvzNXTeg/fN*Nevcb0vMRNNsQlv;NSb [xQW[e'`(_Sh{l c"}㉳Qr`zzǏ'Yv gHe_ 0R"S$awmb|~ mb|~Hybrid Systems /fN{| YBgv{:g|~ ُ{||~vЏLǏ z-Ne gޏ~vr`SS S gycevr`SS0JJ$*x mb|~[O y mb|~[O&4l{vc|~ RYr`e 4l{-N4lbvؚ^:N1[ 4llSb_e 4l{-N4lbNky1[v^ NGS 4llsQe 4l{-N4lbNky2[v^ NM vchVSQOSSb_sQ 4ll0R[ESb_sQ 4llKN g2yv^ߏ BlvchV\4l{-Nv4lbؚ^c6R(W112[KN0Ti$ j z,mbꁨR:ghybrid automata  {,mbꁨR:ghybrid automata XmbꁨR:g/f NS$R[v vMRVE NvsQWvxvzpp(WN[~bmbꁨR:gvS$R[P[Ɩ0,| ~'`ek'`( ~'`ek'`(SNǏ|~(WT*Nr` Nv/}yeeg~_g|~vL:N0N*N~'`ek'`(/fY Nb__v~'`yR NI{_ "i"e ci+"sid"M vQ-Nsih:y|~r` ci/f[W|pe M/f[pe0 YAY} ~'`ek'`( (W4l{vc|~-N,BlvchV\4l{-Nv4lbؚ^c6R(W112[KN SNh:ybN N~'`ek'`( +"s1 + +"s2 - 2(+"s3 + +"s4 ) 11 +"s1 + +"s2 - 2(+"s3 + +"s4 ) 0 =EB"=@~ n'` hmbꁨR:gv[N~'`ek'`(vn'` N*NmbꁨR:gnN*N~'`ek'`(S_NNS_mbꁨR:gv@b gL:Nn勿~'`ek'`(0(#,$+NmbꁨR:gvL:Nh:y  mbꁨR:gvL:NSNh:yY Ner`^R (s1, t1)^ (s2, t2)^& ^ (sm, tm) vQ-Nsih:y|~r` tih:y|~(Wsi Nv\PYue, t1, t2,& , tm_{nv^ve~_g0 4   3  &^ek~_gvĉRh_  (WĉRh_-N_eQek~_gb_b&^ek~_gvĉRh_0ek~_gh:ybY Nb__ a "i"e ci+"si b f[I>G&^ek~_gvĉRh_ R = e s0 (s0 ^ (s1 ,{+"s1 = 9}) ^ R1) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2, {+"s2 = 2})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 , {+"s2 = 2, 2+"s3 -+"s2 = 5})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 ^ s4, {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2})) vQ-N R1 = (s2 ^ s3 ^ s4^ s1 , {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2, +"s1 -2+"s4 = 5 })*                                                 "%X&^ek~_gvĉRh_ &^ek~_gvĉRh_ Nc@b gmbꁨR:gvL:N &^ek~_gvĉRh_[^NN{|mbꁨR:g [^N&^ek~_gvĉRh_vN{|mbꁨR:g/fS$R[v0NWN~'`ĉRv_ (u&^ek~_gvĉRh_cmbꁨR:gvL:N N ~'`ek'`(v[NmbꁨR:gvn'`lSb:Nv[NĉRh_vn'` AWN~'`ĉRv_ [N NS+T*Џ{&{v{USĉRh_ 1uNĉRh_-N@bS+Tvek~_gb_bNY~~'` NI{_ Te~'`ek'`(,gSN\O:Nv^vvhQpe Vdkn'`SNlS:NN~~'`ĉR [WN~'`ĉRv_ [NNaS+T*Џ{&{vN,ĉRh_R bNSN~bQN*N{USĉRh_R O_RTR (Wv[Ng*N~[v~'`ek'`(Pvn'` N/fI{Nv sS R n P S_NNS_ R n P N g~\n'`R_~:N~'`ĉR06KD].   !jWh]wQ8SMV http://www.cs.cmu.edu/modelcheck/code.html SPIN http://netlib.bell-labs.com/netlib/spin/whatisspin.html HyTech http://www-cad.eecs.berkeley.edu/tah/HyTech/ Kronos http://www.verimag.imag.fr/PEOPLE/Sergio.Yovine/kronos/index.html UPPAAL http://www.brics.dk/FormalMethods/UPPAAL/index.html/<1F9F9         O*Software Reuse oN Y(u VoN Y(u[IN oN Y(uǏ z oN Y(uy{|Tb__ oN Y(u~Nmf[ gN oNSO|~g +P oN Y(u[INoN Y(u/fcǏ[] goNvTy gsQwƋeg^zevoN ُNwƋSbWwƋ0_S~0~0Q[0SO|~g0Bl00x0KmՋTechI{0 oN Y(uvvv/fMNOoN_ST~bvb,g cؚoN_SHes cؚoNv(ϑ0(uL ' uQS Y(uvoN6RTCaper Jones[INNS\O:N Y(uP v10yoN6RTartifacts) yvRoNyvRvW,g~gTYQ[Yۏ^h0ΘiRg SNyv Y(u NQ\(uN6R[Rve0 b,g0O1uN N Tvyv-N~8^+T g{|fv Y(uP  dkY (u O~oN] zel_SvRg!jWYpencAmV _N/fS Y(uv0 (u O~el_SvSO|~g0penc0cSTǏ zS/f Y(uvP  |~T[a_N/fS Y(uv0**)*),  (RS Y(uvoN6RTnNx~Ǐv z^Nx/f Y(uvP 0 (u7bechTb/gechsSOyr[v^(u g@b N T FO~8^S Y(uR(u7bechTb/gech0 (u7bLubُ/fg^l Y(uvoN6RT01uN(u7bLubR~`SN*N^(uoNv60%vNxϑ VdkvQ Y(uHesgؚ0 penc(W'YYpe~8^ Y(uvoN6RT-N S Y(uvpencSbQh0U_~gNSeNT[tevpenc^0 KmՋHhONebNx Y(u RvQv^vKmՋHhO_N^ Y(u0 SoN Y(uvǏ zba[] goN6RTv{c N-NbS6RTv,g(Oo`sSS Y(uR O\_N~ S(u7b9hnc] goN6RTvba [~b0kT bgTNv6RTS Y(uN  yrS[] g6RTS Y(uN vO9ebb_b[vN*N[OOSTv Y(uN  Ɩb\OSTv Y(uNƖb:N^(u|~0ToN Y(uv|^NxTb Nxb/fcNq`v] g|~-NbWW0WbvQ-NvnNx b/fcbN'YWWNx RSvQ-NvQ~ FOOcv;`SOFhg0 ُ{| Y(uvyrp/fN]0[s0Ջ}Yv{|e(W^-Nvgyؚ~ z^fNQvnNxgN0 ُ{| Y(uvyrp/fgN,g/f:N Y(u _Sv S Y(ugNX[>e(WN*NO'Y[v^-N0X[>e(W^-NvgN^ gNk{fvc gN^_{cO gHevgNh"}Kbk O(uǏnSpee(WN*N^-N v^~N{USvc0ُy^_{[vQcO gHevh"} O(uǏo}Y[INvcSۏLƖb0 ُ{| Y(uvOp/fS Y(u'Y|^voN6RT O9ewQ g@\'`0vQ:p/fNbaQ{fvc X[>eSO|~gv^N{t04  XoN Y(uv|^^(ub^ubhVApplication Generators ^(u z^ubhV/fc Y(ute*NoN|~v SbteSOvoNSO|~g0SO|~g-Nv;NP[|~0yr[vpenc~gT{lI{0 ُ{| Y(uvyrp/fNؚB\vWyr[vĉ~ꁨRubN*N[tevSgbL|~ ubhVS9hnceQvĉ~kXEQSHQl g v~ [8^S[NNbqvW0 ُ{| Y(uvOp/fꁨRS z^ؚ Sg*Nyr[WvhQ Nўvb__Q~g^(u z^ vQ:p/fNg yr[v^(ub^ubhV04  $YoN Y(uv|^Wyr[voNSO|~g Domain-Specific Software Architecture, DSSA) DSSA Y(u/fc[yr[W-NX[(WvN*NlQqQSO|~gSvQgNv Y(u0 DSSAvyrp/f[W g{_vtMbۏLW^!j^/f[yr[WvW!jW0WQSO|~greference architecture T^@wWvSU\ NeSU\0 ُ{| Y(uvOp/f Y(uv z^ؚ [S Y(ugNv~TcONN*N(uFhg0vQ:p/fMRgbD_'Y04::T 1/=UoN Y(uvb__Wv_ Y(uT4ls^_ Y(u Wv_ Y(u/fc(W TN^(uW-Nv Y(u01uN TNW-Nv^(uX[(WYqQ'`bvfWvHev0@ _B _B`g N gN/fcSNfnxhƋvoN6RT [SN/fBlRgT6kvNT0Nx0KmՋHhO0echboN_SǏ z-NvvQNNT0 S Y(ugN/fcSvQN|~v_S Y(u N_SeoNvgN8^bNvgN;N/fcS Y(ugN 0 om ob[S Y(ugNvBl pgN^wQ gؚv(u z^ gN^fNte gN^fN~ň gN_{wQ gSh"}'` gN_{~ǏEQRvKmՋ 998cgN!jWj3CgN!jW i_/fsQN gNZPNHN vbac SNǏi_St㉄gNvR0i_SbcSĉ~TINc$NR0 Q[/fi_vwQSO[s cgNYUO[bi_@b;R;uvR0,g( N Q[/f[N,(u7b=vOo` S gNOVO9egNvNMbNُNOo`0 hTXcgNTYVsX(Wi_~TQ[~vsQ| ;R;ugNv^(usX :NgNv (uT^'`O9ecOc[0`  "dgN!jW REBOOTReuse Based on Object-Oriented Technology !jW REBOOT/fNyWNHTbfacet v!jW0Ǐ[WۏLRg _0RN~W,gvcyr_ ُNyr_y:NHTb0HTbSNcgNgbLvR0@bd\Ovpenc0gN^(uvhTXbNUOvQNyr_0N*NgN8^SbN NHTb 1 bagNi_vba'`c0 2 d\OgN@bcOvd\Ovc0 3 d\O[acd\Ov[a0 4 OVcgNNYLuvOVsQ|0 T9iJ9iJf  1UHfgN|~N*NgN|~/fcON~S Y(uyr'`v|~NT0ُNyr'`1uvNOVTvNޏcvOYgNSbTy{|W0vsQTvSTcvech egSOs0 N*NgN|~vĉ!jS'YS\ \vSS gQ*NgNSvQvsQvech0 gN|~-NvgNX[(WNNsQ| YN*NgNSNNvQNgN̑~bvQRSNSmo`~vQNgNSNNvQNgNsQT0/ecOS T]\OI{0 N*NgN|~ N/fNavS Y(ugNvƖT0gN|~8^ǏlQqQv}T TOS[0hQvYt:g6RT~NvcSOƖT-NvgNOS T]\Ov^] zS0e gN^{t@gNvR{|X[P gNh"} gN^8nȉ RdgN gNO(u`QċN!! g^ S Y(ugN4R^WgNvFhg g (u'`TSS'`:_vgNhR^WgNvFhg b (W^ gNe d^u_] gvi_TSRY ؏_{Q^(uWvyr_0Binder^(WeQN NsQ. hQpenc^xvz^(uW v^hƋQhQvhQ@\penc~gYeN~gT[tevpenc^ O_@b gvgNSN(uُNhQpenc~geg;R;u0 hQcSOS^^z N*NB\!kvPSOSgNQcS0gNYcSNSN:gcS0 z^!jg z^v~g!jWSN\O:Ne z^vSO|~gv!jg0 Ne^zN^(uWvhQpenc0hQcSOST z^!jg 1\ gNN*NS(WvQ-NR^vFhg &{Tُ*NFhgQegvegN(WNT勆Wv Y(u-N\O gfؚv Y(uis0TG`G R$1ig (u'`TSS'`:_vgN  :NNOgNY:N^l0W Y(u gN^wQ g:_v(u'`TSS'`0S_N*NgN N Tv^(u Y(ue gNvgNRSO9e0:Ndk bN(WgN Y(ueSSuSSvN*NbY*NMOn NhƋSSp Te:NSSpDRN*NbY*NSSO ُ7h1\b_bNN*NbavgN0S_gN Y(ue S9hnc N Tv^(uc[ N TvSSO ObagNOS N^yr[^(uv0ُ7h^ vgN1\wQ g:_v(u'`TSS'`0a oNSO|~goNSO|~g/fcoN;`SOFhg [1u~gCQƖ0~gb_NS~gt NR~b0~gCQƖ:NN~gbSO|~gKN~gCQgN 0 ~gCQ g N{| sSYtCQ0Oo`CQNޏcCQ0YtCQ:N[Oo`CQ[eSbcYt vgN Oo`CQ:N+T geNSbcKNS(uOo`vgN ޏcCQ:N(uNޏcvQNgNvgN0 ~gb_Sbyr'`NT|0yr'`(uN~_g~gCQv S T|R~_g N T~gCQKNvNNN~~0 ~gt;R;uSO|~gNXT SSO|~gΘ?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^`Oh+'0 hp  ( 4 @LTSeg_812HC:\Program Files\Microsoft Office\Templates\ʾĸ\ʱģ.pot Li Xuandong188Microsoft PowerPointoso@R@@Y+@ 22G g  .& &&#TNPP2OMi & TNPP &&TNPP    f--- !---&H 3--- !pH---ww@W ww w0- &---- --%-- --d]-- ---- ---- --%-- --e]-- ---- &3--- !PpPP--- --] U-- --,]%U-- --D]<U-- &&G& &Gy& --y@H-- w@D ww w0- .%2 еĸ߼;;;:;;:;;;.--yH-- w@Q ww w0- . 2 y+. . 2 y+. . 2 y+. ..2 Ͼѧѧ뼼ϵ+*++*++*++*++.--"System !w-&TNPP &՜.+,0$     bvQ[ Oo`NCASE]wQvƖb;Nhs:NCASE]wQ[sN[oN] zOo`^-NOo`[avgNd\OR0 Oo`NOo`KNvƖbcƖbsX_{wQ gh:y0~bOo`yv^)R(uOo`yKNvsQ|[bv^R\OvR YN'`T[te'`hg nx[Oo`yO9evq_T OdVI{0*~ ~> e.CASE Repository oN] zOo`^$oN] zOo`^/fƖbSsXv8h_ [:Nte*NCASEsXcO/ec0 oN] zOo`^[b[oNOo`yvX[P0g0O9eN RdI{d\O @bN[_{wQYnfpenc^{t|~v'YRW@xR0$BCASE RepositoryX ddkKNY :NN~ƖbSsXcOo}YvOo` gR oN] zOo`^؏/ec Oo`[te'`S_Oo`yvO9eb Rde ꁨRhgOo`yKNvN'` ꁨR[b[vsQOo`yv_te0 Oo`N]wQvƖbc6RCASE]wQT_SNXT[Oo`yv cOS}YvOo` gR0 Oo`NOo`vƖb^zv^~bOo`yKNvsQ|0 _Self[v_[N:_6R)R(uCQ!jW_[v^:_6R_SNXT cgqe[v_Self[[eoN_S0 echĉS9hncCQ!jW[T{|echv[IN ~NuboNech0 Hr,gc6RNMn{tX[PoNOo`yvTyHr,g :N_SNXTub6k'`bgbg~NTꁨR~TgeHr,g v^AQ(WKmՋǏ z-Neb` YeHr,g08.ZZ  $jZImplementation of CASE Repository oN] zOo`^v[s.!( #  Q0RoN_SǏ z-NT{|pencv~A~ YBg N c8^ĉel~~oN] zOo`^/felnBlv0^\oNOo`y N|^'Y\GWƉ:N[a Oo`^v~g~~:NCQ!jW |~ǏCQ!jW{t:g6R[sTyR0kkjPMetamodel in CASE Repository oN] zOo`^vCQ!jW$) $   0CQ!jW/f[TCASE]wQubvoN_SOo`yvCQ~c ;NQ[:N Oo`yv[IN'`c Sb{|W0^\'`0h:yel0uNNm9 I{I{0 (WTy|^~+R NvOo`yKNvsQ|TOV'`c0Sv|^~+R gpencAm zV~0pency~0Nxk~0 oNĉR0OYpencAm zVvs^aĉR pencAm zV-NlbcveQ0QAmNvQv^Ǐ zveQ0QSpevN'`ĉR0 oN_SǏ zv]\OAm zTNNvc Sb_S6kLu[0̑ zx[IN0Su0BlSf I{I{0 00Z(ZZZ $ Metamodel in CASE Repository 000d NQ[KNY CQ!jW؏[INNoNOo`v~~b__0CASE]wQToN_SNXTOo`yv_0penc[hQ'`T[te'`c6RelNS:N^evoN_Syv [s gCQ!jWۏLibEQvel0 ]]$<CASE Repository*000dCQ!jWY oN] zOo`^؏^S+TN NTebvoN_SOo` gsQ^(uSWvc0 T{|echBlf ech nNx KmՋeHhN(uOI{ 0 1uoN_Self[P[vĉRNc['`SR0 yvĉR0S(uDncT_SSSOo`0 000v[NCQ!jW N NT{|Oo`:Nvh~Oo`[a0P"ZWZZ"X!Implementation of CASE Repository""( oN] zOo`^v^ Ǐ zSNP(u O~vpenc^{t|~cOv Nb/gKbk eQYOvOo`PX[ Nirc6R:g6R [hQ:g6R (u7bLub _>e'` >21  P!Implementation of CASE Repository""( oN] zOo`^vYؚ~R/f'YYpeFU(upenc^{t|~ Nvc/ecv YBgpenc~gvX[P Oo`[te'`hg yv{t Hr,gc6RNMn{t Bl*4/&  %&ThIndustry Standard for CASE Integration CSAE]wQƖbv]NhQ&5&$+ Oo`DnW[xQhQInformation Resource Dictionary Standard, IRDS, ANSI338-1988 0IRDSgR/f\O:NBlRgvpencW[xQhQ _Sv0vQ;Nyr_/fO(uY~CQ!jWv^:_Oo`DnvOS{t gRN(WvsQTvCASE]wQKN^zOo`S0[/ecCASE]wQ(W N Tvd\O|~s^SKNy i0 Atherton IDEC]wQƖbhQATIS 0ATIS]CASE Integration Standards Committee of Software Productivity ConsortiumǑ~0ATIS;N:_oN] zOo`^v;`SO~g[IN /ecMn{t0]wQƖb0penc[hQ'`Ns^Sy i0 lQqQADAcShQCAIS 0CAISO͑NADAoN_S]wQvƖb [:NُN]wQgbƖbSsX[INNcShQ0 Sy iv(usXPCTE 0PCTE/f'kqQSOESPRITRvNR0[]Europen Computer Manufacturer Association (ECMA)@bc~0  Z 2 B7  H. )  )Taxonomy of CASE ToolsBusiness process engineering tools Process modeling and management tools Project planning tools Risk analysis tools Project management tools Requirements tracing tools Metrics and management toolsTaxonomy of CASE ToolsDocumentation tools System software tools Quality assurance tools Database management tools Software configuration management tools Analysis and design tools PRO/SIM toolsTaxonomy of CASE ToolsInterface design and development tools Prototyping tools Programming tools Web development tools Integration and testing tools Static analysis tools Dynamic analysis tools Taxonomy of CASE ToolsETest management tools Client/server testing tools Reengineering toolsN*Formal Methodsb__Sel (xvz̀of [IN b__ !jWhncؚ|~S`'`@w{:g^(uvevnfS N)YbN]~_bS{:g|~SuEe@b&^egv_c1Y ޏ~ЏL]b:Ns(WY{:g|~vsQ.Bl NeSuEe ~bk|~ЏLۏL~b/f Ns[v  Xcؚ|~S`'`cؚSO^v_KmՋtesting b Nwsimulation elVT{|~N[l gُ7hN{| Verification SNNgN*N҉^VT{|~N[l gُ7hN{| N ۏNekcؚbN[|~S`'`vSO^h6  -n  , b__Selb__Sel/fc:NfT YBg{:g|~@bǑ(uvWNpef[v0b/gT]wQ0 b__Sel NnxO|~vS`'` FOvQSNǏc:y|~v NN'`0gkIN'`T N[Y'`egXRbN[|~vt z^ N cؚbN[|~S`'`vSO^0pp pb__b__SelSb fspecification verification b__Sb !jWhmodel checking cttheorem proving 4 1 9|n q!jWh!jWh/fNyꁨR gwzr`|~vb/g0 !jWhvW,g``/fǏMS|~!jWvr`zzegh|~!jW/f&Tn~[v'`(0  Ar!jWh(W!jWh-NmS$Nyb__f '`(f(uNc|~v'`(; !jWc(uNc|~v!jW0 !jWhb/g(uNh1u!jWccv|~!jW/f&Tn1u'`(fcv|~'`(0:,,'-i!jWh!jWh-NvsQ.b/g !jWh-NvsQ.b/g/fYUOpenc~gT{l (uNh:yTMS'Yĉ!jv|~!jWr`zz0 ㉳Q1uY*N|~!jWvv^L~T b_bvr`zzrp0KKJ㉳Qr`zzrpv_ tr`zzv&{Sh:y Symbolic representation of state space McMillan s ordered binary decision diagrams (OBDD), 1992, 10120 OP^ĉ~b/gPartial order reduction bab/gAbstraction [yb/gSymmetry X pA:9 TBx&  F       s!jWhsQNwQ ge^'`(vv^S|~v!jWhtTb/g(W]NLu]~_0R[Ev^(u0 vMR!jWhtTb/gvxvzpp]~lT[e|~ToN|~0 Ft[eTmb|~v!jWh  [N[e|~eg 1uNev_eQ vQr`zz/fewzv0lMSewzvr`zz ُ[xvzNXTeg/fN*Nevcb0vMRNNsQlv;NSb [xQW[e'`(_Sh{l c"}㉳Qr`zzǏ'Yv gHe_ 0R"S$awmb|~ mb|~Hybrid Systems /fN{| YBgv{:g|~ ُ{||~vЏLǏ z-Ne gޏ~vr`SS S gycevr`SS0JJ$*x mb|~[O y mb|~[O&4l{vc|~ RYr`e 4l{-N4lbvؚ^:N1[ 4llSb_e 4l{-N4lbNky1[v^ NGS 4llsQe 4l{-N4lbNky2[v^ NM vchVSQOSSb_sQ 4ll0R[ESb_sQ 4llKN g2yv^ߏ BlvchV\4l{-Nv4lbؚ^c6R(W112[KN0Ti$ j z,mbꁨR:ghybrid automata  {,mbꁨR:ghybrid automata XmbꁨR:g/f NS$R[v vMRVE NvsQWvxvzpp(WN[~bmbꁨR:gvS$R[P[Ɩ0,| ~'`ek'`( ~'`ek'`(SNǏ|~(WT*Nr` Nv/}yeeg~_g|~vL:N0N*N~'`ek'`(/fY Nb__v~'`yR NI{_ "i"e ci+"sid"M vQ-Nsih:y|~r` ci/f[W|pe M/f[pe0 YAY} ~'`ek'`( (W4l{vc|~-N,BlvchV\4l{-Nv4lbؚ^c6R(W112[KN SNh:ybN N~'`ek'`( +"s1 + +"s2 - 2(+"s3 + +"s4 ) 11 +"s1 + +"s2 - 2(+"s3 + +"s4 ) 0 =EB"=@~ n'` hmbꁨR:gv[N~'`ek'`(vn'` N*NmbꁨR:gnN*N~'`ek'`(S_NNS_mbꁨR:gv@b gL:Nn勿~'`ek'`(0(#,$+NmbꁨR:gvL:Nh:y  mbꁨR:gvL:NSNh:yY Ner`^R (s1, t1)^ (s2, t2)^& ^ (sm, tm) vQ-Nsih:y|~r` tih:y|~(Wsi Nv\PYue, t1, t2,& , tm_{nv^ve~_g0 4   3  &^ek~_gvĉRh_  (WĉRh_-N_eQek~_gb_b&^ek~_gvĉRh_0ek~_gh:ybY Nb__ a "i"e ci+"si b f[I>G&^ek~_gvĉRh_ R = e s0 (s0 ^ (s1 ,{+"s1 = 9}) ^ R1) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2, {+"s2 = 2})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 , {+"s2 = 2, 2+"s3 -+"s2 = 5})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 ^ s4, {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2})) vQ-N R1 = (s2 ^ s3 ^ s4^ s1 , {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2, +"s1 -2+"s4 = 5 })*                                                 "%X&^ek~_gvĉRh_ &^ek~_gvĉRh_ Nc@b gmbꁨR:gvL:N &^ek~_gvĉRh_[^NN{|mbꁨR:g [^N&^ek~_gvĉRh_vN{|mbꁨR:g/fS$R[v0NWN~'`ĉRv_ (u&^ek~_gvĉRh_cmbꁨR:gvL:N N ~'`ek'`(v[NmbꁨR:gvn'`lSb:Nv[NĉRh_vn'` AWN~'`ĉRv_ [N NS+T*Џ{&{v{USĉRh_ 1uNĉRh_-N@bS+Tvek~_gb_bNY~~'` NI{_ Te~'`ek'`(,gSN\O:Nv^vvhQpe Vdkn'`SNlS:NN~~'`ĉR [WN~'`ĉRv_ [NNaS+T*Џ{&{vN,ĉRh_R bNSN~bQN*N{USĉRh_R O_RTR (Wv[Ng*N~[v~'`ek'`(Pvn'` N/fI{Nv sS R n P S_NNS_ R n P N g~\n'`R_~:N~'`ĉR06KD].   !jWh]wQ8SMV http://www.cs.cmu.edu/modelcheck/code.html SPIN http://netlib.bell-labs.com/netlib/spin/whatisspin.html HyTech http://www-cad.eecs.berkeley.edu/tah/HyTech/ Kronos http://www.verimag.imag.fr/PEOPLE/Sergio.Yovine/kronos/index.html UPPAAL http://www.brics.dk/FormalMethods/UPPAAL/index.html/<1F9F9         O*Software Reuse oN Y(u VoN Y(u[IN oN Y(uǏ z oN Y(uy{|Tb__ oN Y(u~Nmf[ gN oNSO|~g +P oN Y(u[INoN Y(u/fcǏ[] goNvTy gsQwƋeg^zevoN ُNwƋSbWwƋ0_S~0~0Q[0SO|~g0Bl00x0KmՋTechI{0 oN Y(uvvv/fMNOoN_ST~bvb,g cؚoN_SHes cؚoNv(ϑ0(uL ' uQS Y(uvoN6RTCaper Jones[INNS\O:N Y(uP v10yoN6RTartifacts) yvRoNyvRvW,g~gTYQ[Yۏ^h0ΘiRg SNyv Y(u NQ\(uN6R[Rve0 b,g0O1uN N Tvyv-N~8^+T g{|fv Y(uP  dkY (u O~oN] zel_SvRg!jWYpencAmV _N/fS Y(uv0 (u O~el_SvSO|~g0penc0cSTǏ zS/f Y(uvP  |~T[a_N/fS Y(uv0**)*),  (RS Y(uvoN6RTnNx~Ǐv z^Nx/f Y(uvP 0 (u7bechTb/gechsSOyr[v^(u g@b N T FO~8^S Y(uR(u7bechTb/gech0 (u7bLubُ/fg^l Y(uvoN6RT01uN(u7bLubR~`SN*N^(uoNv60%vNxϑ VdkvQ Y(uHesgؚ0 penc(W'YYpe~8^ Y(uvoN6RT-N S Y(uvpencSbQh0U_~gNSeNT[tevpenc^0 KmՋHhONebNx Y(u RvQv^vKmՋHhO_N^ Y(u0 SoN Y(uvǏ zba[] goN6RTv{c N-NbS6RTv,g(Oo`sSS Y(uR O\_N~ S(u7b9hnc] goN6RTvba [~b0kT bgTNv6RTS Y(uN  yrS[] g6RTS Y(uN vO9ebb_b[vN*N[OOSTv Y(uN  Ɩb\OSTv Y(uNƖb:N^(u|~0ToN Y(uv|^NxTb Nxb/fcNq`v] g|~-NbWW0WbvQ-N      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~vnNx b/fcbN'YWWNx RSvQ-NvQ~ FOOcv;`SOFhg0 ُ{| Y(uvyrp/fN]0[s0Ջ}Yv{|e(W^-Nvgyؚ~ z^fNQvnNxgN0 ُ{| Y(uvyrp/fgN,g/f:N Y(u _Sv S Y(ugNX[>e(WN*NO'Y[v^-N0X[>e(W^-NvgN^ gNk{fvc gN^_{cO gHevgNh"}Kbk O(uǏnSpee(WN*N^-N v^~N{USvc0ُy^_{[vQcO gHevh"} O(uǏo}Y[INvcSۏLƖb0 ُ{| Y(uvOp/fS Y(u'Y|^voN6RT O9ewQ g@\'`0vQ:p/fNbaQ{fvc X[>eSO|~gv^N{t04  XoN Y(uv|^^(ub^ubhVApplication Generators ^(u z^ubhV/fc Y(ute*NoN|~v SbteSOvoNSO|~g0SO|~g-Nv;NP[|~0yr[vpenc~gT{lI{0 ُ{| Y(uvyrp/fNؚB\vWyr[vĉ~ꁨRubN*N[tevSgbL|~ ubhVS9hnceQvĉ~kXEQSHQl g v~ [8^S[NNbqvW0 ُ{| Y(uvOp/fꁨRS z^ؚ Sg*Nyr[WvhQ Nўvb__Q~g^(u z^ vQ:p/fNg yr[v^(ub^ubhV04  $YoN Y(uv|^Wyr[voNSO|~g Domain-Specific Software Architecture, DSSA) DSSA Y(u/fc[yr[W-NX[(WvN*NlQqQSO|~gSvQgNv Y(u0 DSSAvyrp/f[W g{_vtMbۏLW^!j^/f[yr[WvW!jW0WQSO|~greference architecture T^@wWvSU\ NeSU\0 ُ{| Y(uvOp/f Y(uv z^ؚ [S Y(ugNv~TcONN*N(uFhg0vQ:p/fMRgbD_'Y04::T 1/=UoN Y(uvb__Wv_ Y(uT4ls^_ Y(u Wv_ Y(u/fc(W TN^(uW-Nv Y(u01uN TNW-Nv^(uX[(WYqQ'`bvfWvHev0@ _B _B`g N gN/fcSNfnxhƋvoN6RT [SN/fBlRgT6kvNT0Nx0KmՋHhO0echboN_SǏ z-NvvQNNT0 S Y(ugN/fcSvQN|~v_S Y(u N_SeoNvgN8^bNvgN;N/fcS Y(ugN 0 om ob[S Y(ugNvBl pgN^wQ gؚv(u z^ gN^fNte gN^fN~ň gN_{wQ gSh"}'` gN_{~ǏEQRvKmՋ 998cgN!jWj3CgN!jW i_/fsQN gNZPNHN vbac SNǏi_St㉄gNvR0i_SbcSĉ~TINc$NR0 Q[/fi_vwQSO[s cgNYUO[bi_@b;R;uvR0,g( N Q[/f[N,(u7b=vOo` S gNOVO9egNvNMbNُNOo`0 hTXcgNTYVsX(Wi_~TQ[~vsQ| ;R;ugNv^(usX :NgNv (uT^'`O9ecOc[0`  "dgN!jW REBOOTReuse Based on Object-Oriented Technology !jW REBOOT/fNyWNHTbfacet v!jW0Ǐ[WۏLRg _0RN~W,gvcyr_ ُNyr_y:NHTb0HTbSNcgNgbLvR0@bd\Ovpenc0gN^(uvhTXbNUOvQNyr_0N*NgN8^SbN NHTb 1 bagNi_vba'`c0 2 d\OgN@bcOvd\Ovc0 3 d\O[acd\Ov[a0 4 OVcgNNYLuvOVsQ|0 T9iJ9iJf  1UHfgN|~N*NgN|~/fcON~S Y(uyr'`v|~NT0ُNyr'`1uvNOVTvNޏcvOYgNSbTy{|W0vsQTvSTcvech egSOs0 N*NgN|~vĉ!jS'YS\ \vSS gQ*NgNSvQvsQvech0 gN|~-NvgNX[(WNNsQ| YN*NgNSNNvQNgN̑~bvQRSNSmo`~vQNgNSNNvQNgNsQT0/ecOS T]\OI{0 N*NgN|~ N/fNavS Y(ugNvƖT0gN|~8^ǏlQqQv}T TOS[0hQvYt:g6RT~NvcSOƖT-NvgNOS T]\Ov^] zS0e gN^{t@gNvR{|X[P gNh"} gN^8nȉ RdgN gNO(u`QċN!! g^ S Y(ugN4R^WgNvFhg g (u'`TSS'`:_vgNhR^WgNvFhg b (W^ gNe d^u_] gvi_TSRY ؏_{Q^(uWvyr_0Binder^(WeQN NsQ. hQpenc^xvz^(uW v^hƋQhQvhQ@\penc~gYeN~gT[tevpenc^ O_@b gvgNSN(uُNhQpenc~geg;R;u0 hQcSOS^^z N*NB\!kvPSOSgNQcS0gNYcSNSN:gcS0 z^!jg z^v~g!jWSN\O:Ne z^vSO|~gv!jg0 Ne^zN^(uWvhQpenc0hQcSOST z^!jg 1\ gNN*NS(WvQ-NR^vFhg &{Tُ*NFhgQegvegN(WNT勆Wv Y(u-N\O gfؚv Y(uis0TG`G R$1ig (u'`TSS'`:_vgN  :NNOgNY:N^l0W Y(u gN^wQ g:_v(u'`TSS'`0S_N*NgN N Tv^(u Y(ue gNvgNRSO9e0:Ndk bN(WgN Y(ueSSuSSvN*NbY*NMOn NhƋSSp Te:NSSpDRN*NbY*NSSO ُ7h1\b_bNN*NbavgN0S_gN Y(ue S9hnc N Tv^(uc[ N TvSSO ObagNOS N^yr[^(uv0ُ7h^ vgN1\wQ g:_v(u'`TSS'`0a oNSO|~goNSO|~g/fcoN;`SOFhg [1u~gCQƖ0~gb_NS~gt NR~b0~gCQƖ:NN~gbSO|~gKN~gCQgN 0 ~gCQ g N{| sSYtCQ0Oo`CQNޏcCQ0YtCQ:N[Oo`CQ[eSbcYt vgN Oo`CQ:N+T geNSbcKNS(uOo`vgN ޏcCQ:N(uNޏcvQNgNvgN0 ~gb_Sbyr'`NT|0yr'`(uN~_g~gCQv S T|R~_g N T~gCQKNvNNN~~0 ~gt;R;uSO|~gNXT SSO|~gΘ=djefgih./06RSWX/ !"#$%&'(< ;5mTNnQP4UV)kl3,21c     654,r$wq1v&iwC x1?@87 g4CdCdv 0p"ppp@ uʚ;2Nʚ;<4!d!d{ 0<4dddd{ 0? %oN] z-Nvؚ~  Ng [ N WSN'Yf[{:gyf[Nb/g|AA@Advanced Topics in SEComputer-Aided Software Engineering Formal Methods Software Reuse Reengineering Component-Based Software Engineering Cleanroom Software Engineering Client/Server Software Engineering Web Engineering u JXComputer - Aided Software Engineering CASE -,$. /ecoN_SuX[gvƖbS]wQ0b/gTel(  CASE ConceptsCASEb/gtechnology :NoN_S0~bTyv{tcOꁨRS0] zSQRvoNb/gSbꁨRS~gSelTꁨRS]wQ0 CASE]wQtool /ecyr[voNuX[g;mRꁨRS\RꁨRS voN]wQ0 CASE|~system qQNN*NlQ(uv(u7bLub0v^N(WlQ(uv{:gsX-NЏLvN~ƖbSvCASE]wQ0 CASE]wQ{toolkit N~ƖbSvCASE]wQ YO_oNuX[gvN*N6kbN*NyrkvoN]\Ov;mRꁨRSbRꁨRS 0Z 0" * CASE ConceptsLCASE]\OSworkbench N~ƖbSvCASE]wQ YO_te*NoNuX[ꁨRSbcOꁨRSR SbRg00xTKmՋ0 CASEelf[methodology Ny SꁨRS velf[ [[oN_ST~bv@b gebbgNeb[INN%NCASE Integration ƖbSCASEsXv;`SO~g$  ,LubƖbB\(u7bLub_S]wQS Lu bOS0 ]wQƖbB\SgbL:g6R O:g6R0 Oo`ƖbB\Oo`NCASE]wQvƖb Oo`NOo`vƖb0 oN] zOo`^CQ!jW oN_SOo`,3 >Interface Integration CASELubƖbB\$  LubƖbB\;N1uN*NhQSv(u7bLub_S]wQSNSTCASE]wQqQ Tu[vLubOS~b0 LubƖb g$Nebvvh 1 _SNXTS(W~N N/fRyvLubFhg Nd\O@b gvCASE]wQ [boN_SǏ z0 2 @b gCASE]wQv(u7bLubTd\OΘ e.CASE Repository oN] zOo`^$oN] zOo`^/fƖbSsXv8h_ [:Nte*NCASEsXcO/ec0 oN] zOo`^[b[oNOo`yvX[P0g0O9eN RdI{d\O @bN[_{wQYnfpenc^{t|~v'YRW@xR0$BCASE RepositoryX ddkKNY :NN~ƖbSsXcOo}YvOo` gR oN] zOo`^؏/ec Oo`[te'`S_Oo`yvO9eb Rde ꁨRhgOo`yKNvN'` ꁨR[b[vsQOo`yv_te0 Oo`N]wQvƖbc6RCASE]wQT_SNXT[Oo`yv cOS}YvOo` gR0 Oo`NOo`vƖb^zv^~bOo`yKNvsQ|0 _Self[v_[N:_6R)R(uCQ!jW_[v^:_6R_SNXT cgqe[v_Self[[eoN_S0 echĉS9hncCQ!jW[T{|echv[IN ~NuboNech0 Hr,gc6RNMn{tX[PoNOo`yvTyHr,g :N_SNXTub6k'`bgbg~NTꁨR~TgeHr,g v^AQ(WKmՋǏ z-Neb` YeHr,g08.ZZ  $jZImplementation of CASE Repository oN] zOo`^v[s.!( #  Q0RoN_SǏ z-NT{|pencv~A~ YBg N c8^ĉel~~oN] zOo`^/felnBlv0^\oNOo`y N|^'Y\GWƉ:N[a Oo`^v~g~~:NCQ!jW |~ǏCQ!jW{t:g6R[sTyR0kkjPMetamodel in CASE Repository oN] zOo`^vCQ!jW$) $   0CQ!jW/f[TCASE]wQubvoN_SOo`yvCQ~c ;NQ[:N Oo`yv[IN'`c Sb{|W0^\'`0h:yel0uNNm9 I{I{0 (WTy|^~+R NvOo`yKNvsQ|TOV'`c0Sv|^~+R gpencAm zV~0pency~0Nxk~0 oNĉR0OYpencAm zVvs^aĉR pencAm zV-NlbcveQ0QAmNvQv^Ǐ zveQ0QSpevN'`ĉR0 oN_SǏ zv]\OAm zTNNvc Sb_S6kLu[0̑ zx[IN0Su0BlSf I{I{0 00Z(ZZZ $ Metamodel in CASE Repository 000d NQ[KNY CQ!jW؏[INNoNOo`v~~b__0CASE]wQToN_SNXTOo`yv_0penc[hQ'`T[te'`c6RelNS:N^evoN_Syv [s gCQ!jWۏLibEQvel0 ]]$<CASE Repository*000dCQ!jWY oN] zOo`^؏^S+TN NTebvoN_SOo` gsQ^(uSWvc0 T{|echBlf ech nNx KmՋeHhN(uOI{ 0 1uoN_Self[P[vĉRNc['`SR0 yvĉR0S(uDncT_SSSOo`0 000v[NCQ!jW N NT{|Oo`:Nvh~Oo`[a0P"ZWZZ"X!Implementation of CASE Repository""( oN] zOo`^v^ Ǐ zSNP(u O~vpenc^{t|~cOv Nb/gKbk eQYOvOo`PX[ Nirc6R:g6R [hQ:g6R (u7bLub _>e'` >21  P!Implementation of CASE Repository""( oN] zOo`^vYؚ~R/f'YYpeFU(upenc^{t|~ Nvc/ecv YBgpenc~gvX[P Oo`[te'`hg yv{t Hr,gc6RNMn{t Bl*4/&  %&ThIndustry Standard for CASE Integration CSAE]wQƖbv]NhQ&5&$+ Oo`DnW[xQhQInformation Resource Dictionary Standard, IRDS, ANSI338-1988 0IRDSgR/f\O:NBlRgvpencW[xQhQ _Sv0vQ;Nyr_/fO(uY~CQ!jWv^:_Oo`DnvOS{t gRN(WvsQTvCASE]wQKN^zOo`S0[/ecCASE]wQ(W N Tvd\O|~s^SKNy i0 Atherton IDEC]wQƖbhQATIS 0ATIS]CASE Integration Standards Committee of Software Productivity ConsortiumǑ~0ATIS;N:_oN] zOo`^v;`SO~g[IN /ecMn{t0]wQƖb0penc[hQ'`Ns^Sy i0 lQqQADAcShQCAIS 0CAISO͑NADAoN_S]wQvƖb [:NُN]wQgbƖbSsX[INNcShQ0 Sy iv(usXPCTE 0PCTE/f'kqQSOESPRITRvNR0[]Europen Computer Manufacturer Association (ECMA)@bc~0  Z 2 B7  H. )  )Taxonomy of CASE ToolsBusiness process engineering tools Process modeling and management tools Project planning tools Risk analysis tools Project management tools Requirements tracing tools Metrics and management toolsTaxonomy of CASE ToolsDocumentation tools System software tools Quality assurance tools Database management tools Software configuration management tools Analysis and design tools PRO/SIM toolsTaxonomy of CASE ToolsInterface design and development tools Prototyping tools Programming tools Web development tools Integration and testing tools Static analysis tools Dynamic analysis tools Taxonomy of CASE ToolsETest management tools Client/server testing tools Reengineering toolsN*Formal Methodsb__Sel (xvz̀of [IN b__ !jWhncؚ|~S`'`@w{:g^(uvevnfS N)YbN]~_bS{:g|~SuEe@b&^egv_c1Y ޏ~ЏL]b:Ns(WY{:g|~vsQ.Bl NeSuEe ~bk|~ЏLۏL~b/f Ns[v  Xcؚ|~S`'`cؚSO^v_KmՋtesting b Nwsimulation elVT{|~N[l gُ7hN{| Verification SNNgN*N҉^VT{|~N[l gُ7hN{| N ۏNekcؚbN[|~S`'`vSO^h6  -n  , b__Selb__Sel/fc:NfT YBg{:g|~@bǑ(uvWNpef[v0b/gT]wQ0 b__Sel NnxO|~vS`'` FOvQSNǏc:y|~v NN'`0gkIN'`T N[Y'`egXRbN[|~vt z^ N cؚbN[|~S`'`vSO^0pp pb__b__SelSb fspecification verification b__Sb !jWhmodel checking cttheorem proving 4 1 9|n q!jWh!jWh/fNyꁨR gwzr`|~vb/g0 !jWhvW,g``/fǏMS|~!jWvr`zzegh|~!jW/f&Tn~[v'`(0  Ar!jWh(W!jWh-NmS$Nyb__f '`(f(uNc|~v'`(; !jWc(uNc|~v!jW0 !jWhb/g(uNh1u!jWccv|~!jW/f&Tn1u'`(fcv|~'`(0:,,'-i!jWh!jWh-NvsQ.b/g !jWh-NvsQ.b/g/fYUOpenc~gT{l (uNh:yTMS'Yĉ!jv|~!jWr`zz0 ㉳Q1uY*N|~!jWvv^L~T b_bvr`zzrp0KKJ㉳Qr`zzrpv_ tr`zzv&{Sh:y Symbolic representation of state space McMillan s ordered binary decision diagrams (OBDD), 1992, 10120 OP^ĉ~b/gPartial order reduction bab/gAbstraction [yb/gSymmetry X pA:9 TBx&  F       s!jWhsQNwQ ge^'`(vv^S|~v!jWhtTb/g(W]NLu]~_0R[Ev^(u0 vMR!jWhtTb/gvxvzpp]~lT[e|~ToN|~0 Ft[eTmb|~v!jWh  [N[e|~eg 1uNev_eQ vQr`zz/fewzv0lMSewzvr`zz ُ[xvzNXTeg/fN*Nevcb0vMRNNsQlv;NSb [xQW[e'`(_Sh{l c"}㉳Qr`zzǏ'Yv gHe_ 0R"S$awmb|~ mb|~Hybrid Systems /fN{| YBgv{:g|~ ُ{||~vЏLǏ z-Ne gޏ~vr`SS S gycevr`SS0JJ$*x mb|~[O y mb|~[O&4l{vc|~ RYr`e 4l{-N4lbvؚ^:N1[ 4llSb_e 4l{-N4lbNky1[v^ NGS 4llsQe 4l{-N4lbNky2[v^ NM vchVSQOSSb_sQ 4ll0R[ESb_sQ 4llKN g2yv^ߏ BlvchV\4l{-Nv4lbؚ^c6R(W112[KN0Ti$ j z,mbꁨR:ghybrid automata  {,mbꁨR:ghybrid automata XmbꁨR:g/f NS$R[v vMRVE NvsQWvxvzpp(WN[~bmbꁨR:gvS$R[P[Ɩ0,| ~'`ek'`( ~'`ek'`(SNǏ|~(WT*Nr` Nv/}yeeg~_g|~vL:N0N*N~'`ek'`(/fY Nb__v~'`yR NI{_ "i"e ci+"sid"M vQ-Nsih:y|~r` ci/f[W|pe M/f[pe0 YAY} ~'`ek'`( (W4l{vc|~-N,BlvchV\4l{-Nv4lbؚ^c6R(W112[KN SNh:ybN N~'`ek'`( +"s1 + +"s2 - 2(+"s3 + +"s4 ) 11 +"s1 + +"s2 - 2(+"s3 + +"s4 ) 0 =EB"=@~ n'` hmbꁨR:gv[N~'`ek'`(vn'` N*NmbꁨR:gnN*N~'`ek'`(S_NNS_mbꁨR:gv@b gL:Nn勿~'`ek'`(0(#,$+NmbꁨR:gvL:Nh:y  mbꁨR:gvL:NSNh:yY Ner`^R (s1, t1)^ (s2, t2)^& ^ (sm, tm) vQ-Nsih:y|~r` tih:y|~(Wsi Nv\PYue, t1, t2,& , tm_{nv^ve~_g0 4   3  &^ek~_gvĉRh_  (WĉRh_-N_eQek~_gb_b&^ek~_gvĉRh_0ek~_gh:ybY Nb__ a "i"e ci+"si b f[I>G&^ek~_gvĉRh_ R = e s0 (s0 ^ (s1 ,{+"s1 = 9}) ^ R1) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2, {+"s2 = 2})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 , {+"s2 = 2, 2+"s3 -+"s2 = 5})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 ^ s4, {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2})) vQ-N R1 = (s2 ^ s3 ^ s4^ s1 , {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2, +"s1 -2+"s4 = 5 })*                                                 "%X&^ek~_gvĉRh_ &^ek~_gvĉRh_ Nc@b gmbꁨR:gvL:N &^ek~_gvĉRh_[^NN{|mbꁨR:g [^N&^ek~_gvĉRh_vN{|mbꁨR:g/fS$R[v0NWN~'`ĉRv_ (u&^ek~_gvĉRh_cmbꁨR:gvL:N N ~'`ek'`(v[NmbꁨR:gvn'`lSb:Nv[NĉRh_vn'` AWN~'`ĉRv_ [N NS+T*Џ{&{v{USĉRh_ 1uNĉRh_-N@bS+Tvek~_gb_bNY~~'` NI{_ Te~'`ek'`(,gSN\O:Nv^vvhQpe Vdkn'`SNlS:NN~~'`ĉR [WN~'`ĉRv_ [NNaS+T*Џ{&{vN,ĉRh_R bNSN~bQN*N{USĉRh_R O_RTR (Wv[Ng*N~[v~'`ek'`(Pvn'` N/fI{Nv sS R n P S_NNS_ R n P N g~\n'`R_~:N~'`ĉR06KD].   !jWh]wQ8SMV http://www.cs.cmu.edu/modelcheck/code.html SPIN http://netlib.bell-labs.com/netlib/spin/whatisspin.html HyTech http://www-cad.eecs.berkeley.edu/tah/HyTech/ Kronos http://www.verimag.imag.fr/PEOPLE/Sergio.Yovine/kronos/index.html UPPAAL http://www.brics.dk/FormalMethods/UPPAAL/index.html/<1F9F9         O*Software Reuse oN Y(u VoN Y(u[IN oN Y(uǏ z oN Y(uy{|Tb__ oN Y(u~Nmf[ gN oNSO|~g +P oN Y(u[INoN Y(u/fcǏ[] goNvTy gsQwƋeg^zevoN ُNwƋSbWwƋ0_S~0~0Q[0SO|~g0Bl00x0KmՋTechI{0 oN Y(uvvv/fMNOoN_ST~bvb,g cؚoN_SHes cؚoNv(ϑ0(uL ' uQS Y(uvoN6RTCaper Jones[INNS\O:N Y(uP v10yoN6RTartifacts) yvRoNyvRvW,g~gTYQ[Yۏ^h0ΘiRg SNyv Y(u NQ\(uN6R[Rve0 b,g0O1uN N Tvyv-N~8^+T g{|fv Y(uP  dkY (u O~oN] zel_SvRg!jWYpencAmV _N/fS Y(uv0 (u O~el_SvSO|~g0penc0cSTǏ zS/f Y(uvP  |~T[a_N/fS Y(uv0**)*),  (RS Y(uvoN6RTnNx~Ǐv z^Nx/f Y(uvP 0 (u7bechTb/gechsSOyr[v^(u g@b N T FO~8^S Y(uR(u7bechTb/gech0 (u7bLubُ/fg^l Y(uvoN6RT01uN(u7bLubR~`SN*N^(uoNv60%vNxϑ VdkvQ Y(uHesgؚ0 penc(W'YYpe~8^ Y(uvoN6RT-N S Y(uvpencSbQh0U_~gNSeNT[tevpenc^0 KmՋHhONebNx Y(u RvQv^vKmՋHhO_N^ Y(u0 SoN Y(uvǏ zba[] goN6RTv{c N-NbS6RTv,g(Oo`sSS Y(uR O\_N~ S(u7b9hnc] goN6RTvba [~b0kT bgTNv6RTS Y(uN  yrS[] g6RTS Y(uN vO9ebb_b[vN*N[OOSTv Y(uN  Ɩb\OSTv Y(uNƖb:N^(u|~0ToN Y(uv|^NxTb Nxb/fcNq`v] g|~-NbWW0WbvQ-NvnNx b/fcbN'YWWNx RSvQ-NvQ~ FOOcv;`SOFhg0 ُ{| Y(uvyrp/fN]0[s0Ջ}Yv{|e(W^-Nvgyؚ~ z^fNQvnNxgN0 ُ{| Y(uvyrp/fgN,g/f:N Y(u _Sv S Y(ugNX[>e(WN*NO'Y[v^-N0X[>e(W^-NvgN^ gNk{fvc gN^_{cO gHevgNh"}Kbk O(uǏnSpee(WN*N^-N v^~N{USvc0ُy^_{[vQcO gHevh"} O(uǏo}Y[INvcSۏLƖb0 ُ{| Y(uvOp/fS Y(u'Y|^voN6RT O9ewQ g@\'`0vQ:p/fNbaQ{fvc X[>eSO|~gv^N{t04  XoN Y(uv|^^(ub^ubhVApplication Generators ^(u z^ubhV/fc Y(ute*NoN|~v SbteSOvoNSO|~g0SO|~g-Nv;NP[|~0yr[vpenc~gT{lI{0 ُ{| Y(uvyrp/fNؚB\vWyr[vĉ~ꁨRubN*N[tevSgbL|~ ubhVS9hnceQvĉ~kXEQSHQl g v~ [8^S[NNbqvW0 ُ{| Y(uvOp/fꁨRS z^ؚ Sg*Nyr[WvhQ Nўvb__Q~g^(u z^ vQ:p/fNg yr[v^(ub^ubhV04  $YoN Y(uv|^Wyr[voNSO|~g Domain-Specific Software Architecture, DSSA) DSSA Y(u/fc[yr[W-NX[(WvN*NlQqQSO|~gSvQgNv Y(u0 DSSAvyrp/f[W g{_vtMbۏLW^!j^/f[yr[WvW!jW0WQSO|~greference architecture T^@wWvSU\ NeSU\0 ُ{| Y(uvOp/f Y(uv z^ؚ [S Y(ugNv~TcONN*N(uFhg0vQ:p/fMRgbD_'Y04::T 1/=UoN Y(uvb__Wv_ Y(uT4ls^_ Y(u Wv_ Y(u/fc(W TN^(uW-Nv Y(u01uN TNW-Nv^(uX[(WYqQ'`bvfWvHev0@ _B _B`g N gN/fcSNfnxhƋvoN6RT [SN/fBlRgT6kvNT0Nx0KmՋHhO0echboN_SǏ z-NvvQNNT0 S Y(ugN/fcSvQN|~v_S Y(u N_SeoNvgN8^bNvgN;N/fcS Y(ugN 0 om ob[S Y(ugNvBl pgN^wQ gؚv(u z^ gN^fNte gN^fN~ň gN_{wQ gSh"}'` gN_{~ǏEQRvKmՋ 998cgN!jWj3CgN!jW i_/fsQN gNZPNHN vbac SNǏi_St㉄gNvR0i_SbcSĉ~TINc$NR0 Q[/fi_vwQSO[s cgNYUO[bi_@b;R;uvR0,g( N Q[/f[N,(u7b=vOo` S gNOVO9egNvNMbNُNOo`0 hTXcgNTYVsX(Wi_~TQ[~vsQ| ;R;ugNv^(usX :NgNv (uT^'`O9ecOc[0`  "dgN!jW REBOOTReuse Based on Object-Oriented Technology !jW REBOOT/fNyWNHTbfacet v!jW0Ǐ[WۏLRg _0RN~W,gvcyr_ ُNyr_y:NHTb0HTbSNcgNgbLvR0@bd\Ovpenc0gN^(uvhTXbNUOvQNyr_0N*NgN8^SbN NHTb 1 bagNi_vba'`c0 2 d\OgN@bcOvd\Ovc0 3 d\O[acd\Ov[a0 4 OVcgNNYLuvOVsQ|0 T9iJ9iJf  1UHfgN|~N*NgN|~/fcON~S Y(uyr'`v|~NT0ُNyr'`1uvNOVTvNޏcvOYgNSbTy{|W0vsQTvSTcvech egSOs0 N*NgN|~vĉ!jS'YS\ \vSS gQ*NgNSvQvsQvech0 gN|~-NvgNX[(WNNsQ| YN*NgNSNNvQNgN̑~bvQRSNSmo`~vQNgNSNNvQNgNsQT0/ecOS T]\OI{0 N*NgN|~ N/fNavS Y(ugNvƖT0gN|~8^ǏlQqQv}T TOS[0hQvYt:g6RT~NvcSOƖT-NvgNOS T]\Ov^] zS0e gN^{t@gNvR{|X[P gNh"} gN^8nȉ RdgN gNO(u`QċN!! g^ S Y(ugN4R^WgNvFhg g (u'`TSS'`:_vgNhR^WgNvFhg b (W^ gNe d^u_] gvi_TSRY ؏_{Q^(uWvyr_0Binder^(WeQN NsQ. hQpenc^xvz^(uW v^hƋQhQvhQ@\penc~gYeN~gT[tevpenc^ O_@b gvgNSN(uُNhQpenc~geg;R;u0 hQcSOS^^z N*NB\!kvPSOSgNQcS0gNYcSNSN:gcS0 z^!jg z^v~g!jWSN\O:Ne z^vSO|~gv!jg0 Ne^zN^(uWvhQpenc0hQcSOST z^!jg 1\ gNN*NS(WvQ-NR^vFhg &{Tُ*NFhgQegvegN(WNT勆Wv Y(u-N\O gfؚv Y(uis0TG`G R$1ig (u'`TSS'`:_vgN  :NNOgNY:N^l0W Y(u gN^wQ g:_v(u'`TSS'`0S_N*NgN N Tv^(u Y(ue gNvgNRSO9e0:Ndk bN(WgN Y(ueSSuSSvN*NbY*NMOn NhƋSSp Te:NSSpDRN*NbY*NSSO ُ7h1\b_bNN*NbavgN0S_gN Y(ue S9hnc N Tv^(uc[ N TvSSO ObagNOS N^yr[^(uv0ُ7h^ vgN1\wQ g:_v(u'`TSS'`0a oNSO|~goNSO|~g/fcoN;`SOFhg [1u~gCQƖ0~gb_NS~gt NR~b0~gCQƖ:NN~gbSO|~gKN~gCQgN 0 ~gCQ g N{| sSYtCQ0Oo`CQNޏcCQ0YtCQ:N[Oo`CQ[eSbcYt vgN Oo`CQ:N+T geNSbcKNS(uOo`vgN ޏcCQ:N(uNޏcvQNgNvgN0 ~gb_Sbyr'`NT|0yr'`(uN~_g~gCQv S T|R~_g N T~gCQKNvNNN~~0 ~gt;R;uSO|~gNXT SSO|~gΘ=djefgih./06RSWX/ !"#$%&'(< ;5mTNnQP4UV)kl3,21c     654,r$wq1v&iwC x1?@87 g4CdCdv 0p"ppp@ uʚ;2Nʚ;<4!d!d{ 0<4dddd{ 0? %oN] z-Nvؚ~  Ng [ N WSN'Yf[{:gyf[Nb/g|AA@Advanced Topics in SEComputer-Aided Software Engineering Formal Methods Software Reuse Reengineering Component-Based Software Engineering Cleanroom Software Engineering Client/Server Software Engineering Web Engineering u JXComputer - Aided Software Engineering CASE -,$. /ecoN_SuX[gvƖbS]wQ0b/gTel(  CASE ConceptsCASEb/gtechnology :NoN_S0~bTyv{tcOꁨRS0] zSQRvoNb/gSbꁨRS~gSelTꁨRS]wQ0 CASE]wQtool /ecyr[voNuX[g;mRꁨRS\RꁨRS voN]wQ0 CASE|~system qQNN*NlQ(uv(u7bLub0v^N(WlQ(uv{:gsX-NЏLvN~ƖbSvCASE]wQ0 CASE]wQ{toolkit N~ƖbSvCASE]wQ YO_oNuX[gvN*N6kbN*NyrkvoN]\Ov;mRꁨRSbRꁨRS 0Z 0" * CASE ConceptsLCASE]\OSworkbench N~ƖbSvCASE]wQ YO_te*NoNuX[ꁨRSbcOꁨRSR SbRg00xTKmՋ0 CASEelf[methodology Ny SꁨRS velf[ [[oN_ST~bv@b gebbgNeb[INN%NCASE Integration ƖbSCASEsXv;`SO~g$  ,LubƖbB\(u7bLub_S]wQS Lu bOS0 ]wQƖbB\SgbL:g6R O:g6R0 Oo`ƖbB\Oo`NCASE]wQvƖb Oo`NOo`vƖb0 oN] zOo`^CQ!jW oN_SOo`,3 >Interface Integration CASELubƖbB\$  LubƖbB\;N1uN*NhQSv(u7bLub_S]wQSNSTCASE]wQqQ Tu[vLubOS~b0 LubƖb g$Nebvvh 1 _SNXTS(W~N N/fRyvLubFhg Nd\O@b gvCASE]wQ [boN_SǏ z0 2 @b gCASE]wQv(u7bLubTd\OΘ e.CASE Repository oN] zOo`^$oN] zOo`^/fƖbSsXv8h_ [:Nte*NCASEsXcO/ec0 oN] zOo`^[b[oNOo`yvX[P0g0O9eN RdI{d\O @bN[_{wQYnfpenc^{t|~v'YRW@xR0$BCASE RepositoryX ddkKNY :NN~ƖbSsXcOo}YvOo` gR oN] zOo`^؏/ec Oo`[te'`S_Oo`yvO9eb Rde ꁨRhgOo`yKNvN'` ꁨR[b[vsQOo`yv_te0 Oo`N]wQvƖbc6RCASE]wQT_SNXT[Oo`yv cOS}YvOo` gR0 Oo`NOo`vƖb^zv^~bOo`yKNvsQ|0 _Self[v_[N:_6R)R(uCQ!jW_[v^:_6R_SNXT cgqe[v_Self[[eoN_S0 echĉS9hncCQ!jW[T{|echv[IN ~NuboNech0 Hr,gc6RNMn{tX[PoNOo`yvTyHr,g :N_SNXTub6k'`bgbg~NTꁨR~TgeHr,g v^AQ(WKmՋǏ z-Neb` YeHr,g08.ZZ  $jZImplementation of CASE Repository oN] zOo`^v[s.!( #  Q0RoN_SǏ z-NT{|pencv~A~ YBg N c8^ĉel~~oN] zOo`^/felnBlv0^\oNOo`y N|^'Y\GWƉ:N[a Oo`^v~g~~:NCQ!jW |~ǏCQ!jW{t:g6R[sTyR0kkjPMetamodel in CASE Repository oN] zOo`^vCQ!jW$) $   0CQ!jW/f[TCASE]wQubvoN_SOo`yvCQ~c ;NQ[:N Oo`yv[IN'`c Sb{|W0^\'`0h:yel0uNNm9 I{I{0 (WTy|^~+R NvOo`yKNvsQ|TOV'`c0Sv|^~+R gpencAm zV~0pency~0Nxk~0 oNĉR0OYpencAm zVvs^aĉR pencAm zV-NlbcveQ0QAmNvQv^Ǐ zveQ0QSpevN'`ĉR0 oN_SǏ zv]\OAm zTNNvc Sb_S6kLu[0̑ zx[IN0Su0BlSf I{I{0 00Z(ZZZ $ Metamodel in CASE Repository 000d NQ[KNY CQ!jW؏[INNoNOo`v~~b__0CASE]wQToN_SNXTOo`yv_0penc[hQ'`T[te'`c6RelNS:N^evoN_Syv [s gCQ!jWۏLibEQvel0 ]]$<CASE Repository*000dCQ!jWY oN] zOo`^؏^S+TN NTebvoN_SOo` gsQ^(uSWvc0 T{|echBlf ech nNx KmՋeHhN(uOI{ 0 1uoN_Self[P[vĉRNc['`SR0 yvĉR0S(uDncT_SSSOo`0 000v[NCQ!jW N NT{|Oo`:Nvh~Oo`[a0P"ZWZZ"X!Implementation of CASE Repository""( oN] zOo`^v^ Ǐ zSNP(u O~vpenc^{t|~cOv Nb/gKbk eQYOvOo`PX[ Nirc6R:g6R [hQ:g6R (u7bLub _>e'` >21  P!Implementation of CASE Repository""( oN] zOo`^vYؚ~R/f'YYpeFU(upenc^{t|~ Nvc/ecv YBgpenc~gvX[P Oo`[te'`hg yv{t Hr,gc6RNMn{t Bl*4/&  %&ThIndustry Standard for CASE Integration CSAE]wQƖbv]NhQ&5&$+ Oo`DnW[xQhQInformation Resource Dictionary Standard, IRDS, ANSI338-1988 0IRDSgR/f\O:NBlRgvpencW[xQhQ _Sv0vQ;Nyr_/fO(uY~CQ!jWv^:_Oo`DnvOS{t gRN(WvsQTvCASE]wQKN^zOo`S0[/ecCASE]wQ(W N Tvd\O|~s^SKNy i0 Atherton IDEC]wQƖbhQATIS 0ATIS]CASE Integration Standards Committee of Software Productivity ConsortiumǑ~0ATIS;N:_oN] zOo`^v;`SO~g[IN /ecMn{t0]wQƖb0penc[hQ'`Ns^Sy i0 lQqQADAcShQCAIS 0CAISO͑NADAoN_S]wQvƖb [:NُN]wQgbƖbSsX[INNcShQ0 Sy iv(usXPCTE 0PCTE/f'kqQSOESPRITRvNR0[]Europen Computer Manufacturer Association (ECMA)@bc~0  Z 2 B7  H. )  )Taxonomy of CASE ToolsBusiness process engineering tools Process modeling and management tools Project planning tools Risk analysis tools Project management tools Requirements tracing tools Metrics and management toolsTaxonomy of CASE ToolsDocumentation tools System software tools Quality assurance tools Database management tools Software configuration management tools Analysis and design tools PRO/SIM toolsTaxonomy of CASE ToolsInterface design and development tools Prototyping tools Programming tools Web development tools Integration and testing tools Static analysis tools Dynamic analysis tools Taxonomy of CASE ToolsETest management tools Client/server testing tools Reengineering toolsN*Formal Methodsb__Sel (xvz̀of [IN b__ !jWhncؚ|~S`'`@w{:g^(uvevnfS N)YbN]~_bS{:g|~SuEe@b&^egv_c1Y ޏ~ЏL]b:Ns(WY{:g|~vsQ.Bl NeSuEe ~bk|~ЏLۏL~b/f Ns[v  Xcؚ|~S`'`cؚSO^v_KmՋtesting b Nwsimulation elVT{|~N[l gُ7hN{| Verification SNNgN*N҉^VT{|~N[l gُ7hN{| N ۏNekcؚbN[|~S`'`vSO^h6  -n  , b__Selb__Sel/fc:NfT YBg{:g|~@bǑ(uvWNpef[v0b/gT]wQ0 b__Sel NnxO|~vS`'` FOvQSNǏc:y|~v NN'`0gkIN'`T N[Y'`egXRbN[|~vt z^ N cؚbN[|~S`'`vSO^0pp pb__b__SelSb fspecification verification b__Sb !jWhmodel checking cttheorem proving 4 1 9|n q!jWh!jWh/fNyꁨR gwzr`|~vb/g0 !jWhvW,g``/fǏMS|~!jWvr`zzegh|~!jW/f&Tn~[v'`(0  Ar!jWh(W!jWh-NmS$Nyb__f '`(f(uNc|~v'`(; !jWc(uNc|~v!jW0 !jWhb/g(uNh1u!jWccv|~!jW/f&Tn1u'`(fcv|~'`(0:,,'-i!jWh!jWh-NvsQ.b/g !jWh-NvsQ.b/g/fYUOpenc~gT{l (uNh:yTMS'Yĉ!jv|~!jWr`zz0 ㉳Q1uY*N|~!jWvv^L~T b_bvr`zzrp0KKJ㉳Qr`zzrpv_ tr`zzv&{Sh:y Symbolic representation of state space McMillan s ordered binary decision diagrams (OBDD), 1992, 10120 OP^ĉ~b/gPartial order reduction bab/gAbstraction [yb/gSymmetry X pA:9 TBx&  F       s!jWhsQNwQ ge^'`(vv^S|~v!jWhtTb/g(W]NLu]~_0R[Ev^(u0 vMR!jWhtTb/gvxvzpp]~lT[e|~ToN|~0 Ft[eTmb|~v!jWh  [N[e|~eg 1uNev_eQ vQr`zz/fewzv0lMSewzvr`zz ُ[xvzNXTeg/fN*Nevcb0vMRNNsQlv;NSb [xQW[e'`(_Sh{l c"}㉳Qr`zzǏ'Yv gHe_ 0R"S$awmb|~ mb|~Hybrid Systems /fN{| YBgv{:g|~ ُ{||~vЏLǏ z-Ne gޏ~vr`SS S gycevr`SS0JJ$*x mb|~[O y mb|~[O&4l{vc|~ RYr`e 4l{-N4lbvؚ^:N1[ 4llSb_e 4l{-N4lbNky1[v^ NGS 4llsQe 4l{-N4lbNky2[v^ NM vchVSQOSSb_sQ 4ll0R[ESb_sQ 4llKN g2yv^ߏ BlvchV\4l{-Nv4lbؚ^c6R(W112[KN0Ti$ j z,mbꁨR:ghybrid automata  {,mbꁨR:ghybrid automata XmbꁨR:g/f NS$R[v vMRVE NvsQWvxvzpp(WN[~bmbꁨR:gvS$R[P[Ɩ0,| ~'`ek'`( ~'`ek'`(SNǏ|~(WT*Nr` Nv/}yeeg~_g|~vL:N0N*N~'`ek'`(/fY Nb__v~'`yR NI{_ "i"e ci+"sid"M vQ-Nsih:y|~r` ci/f[W|pe M/f[pe0 YAY} ~'`ek'`( (W4l{vc|~-N,BlvchV\4l{-Nv4lbؚ^c6R(W112[KN SNh:ybN N~'`ek'`( +"s1 + +"s2 - 2(+"s3 + +"s4 ) 11 +"s1 + +"s2 - 2(+"s3 + +"s4 ) 0 =EB"=@~ n'` hmbꁨR:gv[N~'`ek'`(vn'` N*NmbꁨR:gnN*N~'`ek'`(S_NNS_mbꁨR:gv@b gL:Nn勿~'`ek'`(0(#,$+NmbꁨR:gvL:Nh:y  mbꁨR:gvL:NSNh:yY Ner`^R (s1, t1)^ (s2, t2)^& ^ (sm, tm) vQ-Nsih:y|~r` tih:y|~(Wsi Nv\PYue, t1, t2,& , tm_{nv^ve~_g0 4   3  &^ek~_gvĉRh_  (WĉRh_-N_eQek~_gb_b&^ek~_gvĉRh_0ek~_gh:ybY Nb__ a "i"e ci+"si b f[I>G&^ek~_gvĉRh_ R = e s0 (s0 ^ (s1 ,{+"s1 = 9}) ^ R1) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2, {+"s2 = 2})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 , {+"s2 = 2, 2+"s3 -+"s2 = 5})) (s0 ^ (s1 ,{+"s1 = 9}) ^ R1 ^ (s2 ^ s3 ^ s4, {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2})) vQ-N R1 = (s2 ^ s3 ^ s4^ s1 , {+"s2 = 2, 2+"s3 -+"s2 = 5, +"s2 = 2, +"s1 -2+"s4 = 5 })*                                                 "%X&^ek~_gvĉRh_ &^ek~_gvĉRh_ Nc@b gmbꁨR:gvL:N &^ek~_gvĉRh_[^NN{|mbꁨR:g [^N&^ek~_gvĉRh_vN{|mbꁨR:g/fS$R[v0NWN~'`ĉRv_ (u&^ek~_gvĉRh_cmbꁨR:gvL:N N ~'`ek'`(v[NmbꁨR:gvn'`lSb:Nv[NĉRh_vn'` AWN~'`ĉRv_ [N NS+T*Џ{&{v{USĉRh_ 1uNĉRh_-N@bS+Tvek~_gb_bNY~~'` NI{_ Te~'`ek'`(,gSN\O:Nv^vvhQpe Vdkn'`SNlS:NN~~'`ĉR [WN~'`ĉRv_ [NNaS+T*Џ{&{vN,ĉRh_R bNSN~bQN*N{USĉRh_R O_RTR (Wv[Ng*N~[v~'`ek'`(Pvn'` N/fI{Nv sS R n P S_NNS_ R n P N g~\n'`R_~:N~'`ĉR06KD].   !jWh]wQ8SMV http://www.cs.cmu.edu/modelcheck/code.html SPIN http://netlib.bell-labs.com/netlib/spin/whatisspin.html HyTech http://www-cad.eecs.berkeley.edu/tah/HyTech/ Kronos http://www.verimag.imag.fr/PEOPLE/Sergio.Yovine/kronos/index.html UPPAAL http://www.brics.dk/FormalMethods/UPPAAL/index.html/<1F9F9         O*Software Reuse oN Y(u VoN Y(u[IN oN Y(uǏ z oN Y(uy{|Tb__ oN Y(u~Nmf[ gN oNSO|~g +P oN Y(u[INoN Y(u/fcǏ[] goNvTy gsQwƋeg^zevoN ُNwƋSbWwƋ0_S~0~0Q[0SO|~g0Bl00x0KmՋTechI{0 oN Y(uvvv/fMNOoN_ST~bvb,g cؚoN_SHes cؚoNv(ϑ0(uL ' uQS Y(uvoN6RTCaper Jones[INNS\O:N Y(uP v10yoN6RTartifacts) yvRoNyvRvW,g~gTYQ[Yۏ^h0ΘiRg SNyv Y(u NQ\(uN6R[Rve0 b,g0O1uN N Tvyv-N~8^+T g{|fv Y(uP  dkY (u O~oN] zel_SvRg!jWYpencAmV _N/fS Y(uv0 (u O~el_SvSO|~g0penc0cSTǏ zS/f Y(uvP  |~T[a_N/fS Y(uv0**)*),  (RS Y(uvoN6RTnNx~Ǐv z^Nx/f Y(uvP 0 (u7bechTb/gechsSOyr[v^(u g@b N T FO~8^S Y(uR(u7bechTb/gech0 (u7bLubُ/fg^l Y(uvoN6RT01uN(u7bLubR~`SN*N^(uoNv60%vNxϑ VdkvQ Y(uHesgؚ0 penc(W'YYpe~8^ Y(uvoN6RT-N S Y(uvpencSbQh0U_~gNSeNT[tevpenc^0 KmՋHhONebNx Y(u RvQv^vKmՋHhO_N^ Y(u0 SoN Y(uvǏ zba[] goN6RTv{c N-NbS6RTv,g(Oo`sSS Y(uR O\_N~ S(u7b9hnc] goN6RTvba [~b0kT bgTNv6RTS Y(uN  yrS[] g6RTS Y(uN vO9ebb_b[vN*N[OOSTv Y(uN  Ɩb\OSTv Y(uNƖb:N^(u|~0ToN Y(uv|^NxTb Nxb/fcNq`v] g|~-NbWW0WbvQ-NvnNx b/fcbN'YWWNx RSvQ-NvQ~ FOOcv;`SOFhg0 ُ{| Y(uvyrp/fN]0[s0Ջ}Yv{|e(W^-Nvgyؚ~ z^fNQvnNxgN0 ُ{| Y(uvyrp/fgN,g/f:N Y(u _Sv S Y(ugNX[>e(WN*NO'Y[v^-N0X[>e(W^-NvgN^ gNk{fvc gN^_{cO gHevgNh"}Kbk O(uǏnSpee(WN*N^-N v^~N{USvc0ُy^_{[vQcO gHevh"} O(uǏo}Y[INvcSۏLƖb0 ُ{| Y(uvOp/fS Y(u'Y|^voN6RT O9ewQ g@\'`0vQ:p/fNbaQ{fvc X[>eSO|~gv^N{t04  XoN Y(uv|^^(ub^ubhVApplication Generators ^(u z^ubhV/fc Y(ute*NoN|~v SbteSOvoNSO|~g0SO|~g-Nv;NP[|~0yr[vpenc~gT{lI{0 ُ{| Y(uvyrp/fNؚB\vWyr[vĉ~ꁨRubN*N[tevSgbL|~ ubhVS9hnceQvĉ~kXEQSHQl g v~ [8^S[NNbqvW0 ُ{| Y(uvOp/fꁨRS z^ؚ Sg*Nyr[WvhQ Nўvb__Q~g^(u z^ vQ:p/fNg yr[v^(ub^ubhV04  $YoN Y(uv|^Wyr[voNSO|~g Domain-Specific Software Architecture, DSSA) DSSA Y(u/fc[yr[W-NX[(WvN*NlQqQSO|~gSvQgNv Y(u0 DSSAvyrp/f[W g{_vtMbۏLW^!j^/f[yr[WvW!jW0WQSO|~greference architecture T^@wWvSU\ NeSU\0 ُ{| Y(uvOp/f Y(uv z^ؚ [S Y(ugNv~TcONN*N(uFhg0vQ:p/fMRgbD_'Y04::T 1/=UoN Y(uvb__Wv_ Y(uT4ls^_ Y(u Wv_ Y(u/fc(W TN^(uW-Nv Y(u01uN TNW-Nv^(uX[(WYqQ'`bvfWvHev0@ _B _B`g N gN/fcSNfnxhƋvoN6RT [SN/fBlRgT6kvNT0Nx0KmՋHhO0echboN_SǏ z-NvvQNNT0 S Y(ugN/fcSvQN|~v_S Y(u N_SeoNvgN8^bNvgN;N/fcS Y(ugN 0 om ob[S Y(ugNvBl pgN^wQ gؚv(u z^ gN^fNte gN^fN~ň gN_{wQ gSh"}'` gN_{~ǏEQRvKmՋ 998cgN!jWj3CgN!jW i_/fsQN gNZPNHN vbac SNǏi_St㉄gNvR0i_SbcSĉ~TINc$NR0 Q[/fi_vwQSO[s cgNYUO[bi_@b;R;uvR0,g( N Q[/f[N,(u7b=vOo` S gNOVO9egNvNMbNُNOo`0 hTXcgNTYVsX(Wi_~TQ[~vsQ| ;R;ugNv^(usX :NgNv (uT^'`O9ecOc[0`  "dgN!jW REBOOTReuse Based on Object-Oriented Technology !jW REBOOT/fNyWNHTbfacet v!jW0Ǐ[WۏLRg _0RN~W,gvcyr_ ُNyr_y:NHTb0HTbSNcgNgbLvR0@bd\Ovpenc0gN^(uvhTXbNUOvQNyr_0N*NgN8^SbN NHTb 1 bagNi_vba'`c0 2 d\OgN@bcOvd\Ovc0 3 d\O[acd\Ov[a0 4 OVcgNNYLuvOVsQ|0 T9iJ9iJf  1UHfgN|~N*NgN|~/fcON~S Y(uyr'`v|~NT0ُNyr'`1uvNOVTvNޏcvOYgNSbTy{|W0vsQTvSTcvech egSOs0 N*NgN|~vĉ!jS'YS\ \vSS gQ*NgNSvQvsQvech0 gN|~-NvgNX[(WNNsQ| YN*NgNSNNvQNgN̑~bvQRSNSmo`~vQNgNSNNvQNgNsQT0/ecOS T]\OI{0 N*NgN|~ N/fNavS Y(ugNvƖT0gN|~8^ǏlQqQv}T TOS[0hQvYt:g6RT~NvcSOƖT-NvgNOS T]\Ov^] zS0e gN^{t@gNvR{|X[P gNh"} gN^8nȉ RdgN gNO(u`QċN!! g^ S Y(ugN4R^WgNvFhg g (u'`TSS'`:_vgNhR^WgNvFhg b (W^ gNe d^u_] gvi_TSRY ؏_{Q^(uWvyr_0Binder^(WeQN NsQ. hQpenc^xvz^(uW v^hƋQhQvhQ@\penc~gYeN~gT[tevpenc^ O_@b gvgNSN(uُNhQpenc~geg;R;u0 hQcSOS^^z N*NB\!kvPSOSgNQcS0gNYcSNSN:gcS0 z^!jg z^v~g!jWSN\O:Ne z^vSO|~gv!jg0 Ne^zN^(uWvhQpenc0hQcSOST z^!jg 1\ gNN*NS(WvQ-NR^vFhg &{Tُ*NFhgQegvegN(WNT勆Wv Y(u-N\O gfؚv Y(uis0TG`G R$1ig (u'`TSS'`:_vgN  :NNOgNY:N^l0W Y(u gN^wQ g:_v(u'`TSS'`0S_N*NgN N Tv^(u Y(ue gNvgNRSO9e0:Ndk bN(WgN Y(ueSSuSSvN*NbY*NMOn NhƋSSp Te:NSSpDRN*NbY*NSSO ُ7h1\b_bNN*NbavgN0S_gN Y(ue S9hnc N Tv^(uc[ N TvSSO ObagNOS N^yr[^(uv0ُ7h^ vgN1\wQ g:_v(u'`TSS'`0a oNSO|~goNSO|~g/fcoN;`SOFhg [1u~gCQƖ0~gb_NS~gt NR~b0~gCQƖ:NN~gbSO|~gKN~gCQgN 0 ~gCQ g N{| sSYtCQ0Oo`CQNޏcCQ0YtCQ:N[Oo`CQ[eSbcYt vgN Oo`CQ:N+T geNSbcKNS(uOo`vgN ޏcCQ:N(uNޏcvQNgNvgN0 ~gb_Sbyr'`NT|0yr'`(uN~_g~gCQv S T|R~_g N T~gCQKNvNNN~~0 ~gt;R;uSO|~gNXT SSO|~gΘ