Лекции: Текстовые лекции

Файл скачан с сайта StudIzba.com

При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник

Возможно не удалось распознать кодировку файла

Возможно не удалось распознать кодировку файла

Возможно не удалось распознать кодировку файла

Возможно не удалось распознать кодировку файла

’¥¬  2. „¨ £à ¬¬ë ‚§ ¨¬®¤¥©á⢨ï

дǓ:

- à áᬮâà¥âì á।á⢠ ï§ëª  ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï

- ­ ãç¨âì ç¨â âì ¤¨ £à ¬¬ë ¢§ ¨¬®¤¥©á⢨ï

- ­ ãç¨âì ¨á¯®«ì§®¢ ­¨î ï§ëª  ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï

®¡®ç­ë¥ 楫¨:

- ®¯¨á ­¨¥  ¯¯ à â  £à ä¨ç¥áª¨å £à ¬¬ â¨ª

‘®¤¥à¦ ­¨¥:

«®ª 1: ‚¢¥¤¥­¨¥

«®ª 2: ®â æ¨ï: ®¯¨á ­¨¥ £à ä¨ç¥áª®£® ᨭ⠪á¨á 

«®ª 3:  §®¢ë¥ ¤¨ £à ¬¬ë

«®ª 4: ‘âàãªâãà­ë¥ á।á⢠

«®ª 5: à¨¬¥à

1.  §­ ç¥­¨¥

2. ˆáâ®à¨ï

3. ®â æ¨ï

4. Žá­®¢­ë¥ ¯®­ïâ¨ï

4.1 „¨ £à ¬¬ 

4.2 Ž¡ê¥ªâ

4.3 ‘¥¬ ­â¨ª  ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï

5. ‘®¡ëâ¨ï

5.1 ‚§ ¨¬®¤¥©á⢨¥

5.2 „¥©á⢨¥

5.3 ‘®§¤ ­¨¥ ®¡ê¥ªâ 

5.4 “­¨ç⮦¥­¨¥ ®¡ê¥ªâ 

5.5 Š®­â஫¨àã¥¬ë© ¨­â¥à¢ «

5.6 ¥ã¯®à冷祭­ ï ®¡« áâì

6. ‘âàãªâãà­ë¥ á।á⢠

6.1 Š®¬¯®§¨æ¨ï ¨ ¤¥ª®¬¯®§¨æ¨ï ¤¨ £à ¬¬ ¯®á।á⢮¬ á®áâ®ï­¨©

6.1.1. ‘®¡ëâ¨ï

6.1.2. Š®¬¯®§¨æ¨ï ¤¨ £à ¬¬ ¯®á।á⢮¬ á®áâ®ï­¨©

6.1.3. „¥ª®¬¯®§¨æ¨ï ¤¨ £à ¬¬ ¯®á।á⢮¬ á®áâ®ï­¨©

6.1.4. ‚¨¤ë ª®¬¯®§¨æ¨¨ ¤¨ £à ¬¬

6.1.4.1. ®á«¥¤®¢ â¥«ì­ ï ª®¬¯®§¨æ¨ï

6.1.4.2. €«ìâ¥à­ â¨¢­ ï ª®¬¯®§¨æ¨ï

6.1.4.3. –¨ª«¨ç¥áª ï ª®¬¯®§¨æ¨ï

6.1.4.4.  à ««¥«ì­ ï ª®¬¯®§¨æ¨ï

6.2 ˆ¥à àå¨ç¥áª ï ¤¥ª®¬¯®§¨æ¨ï ®¡ê¥ªâ 

7. à¨¬¥à "„¨¯«®¬­ ï  ¡®â "

à¨«®¦¥­¨¥ 1. „¨ £à ¬¬ë ¯à¨¬¥à  "„¨¯«®¬­ ï à ¡®â "

à¨«®¦¥­¨¥ 2. ’¥ªá⮢®¥ ¯à¥¤áâ ¢«¥­¨¥ ¯à¨¬¥à  "„¨¯«®¬­ ï  ¡®â "

à¨«®¦¥­¨¥ 3. Žá­®¢­ë¥ ¯®­ïâ¨ï ï§ëª  ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï

à¨«®¦¥­¨¥ 4. ‘®®â¢¥á⢨¥ ¬¥¦¤ã  ­ £«¨©áª¨¬¨ ¨ àãá᪨¬¨ ­ §¢ ­¨ï¬¨

­¥â¥à¬¨­ «ì­ëå ᨬ¢®«®¢ £à ä¨ç¥áª®£® ᨭ⠪á¨á 

à¨«®¦¥­¨¥ 5. ‘¨­â ªá¨á ⥪á⮢®£® ¯à¥¤áâ ¢«¥­¨ï ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï

1.  §­ ç¥­¨¥

Ÿ§ëª ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï (Message Sequence Charts, MSC) íâ® ï§ëª

®¯¨á ­¨ï âà áá.   âà áá å ¯à¥¤áâ ¢«ïîâáï ¯®á«¥¤®¢ â¥«ì­®á⨠ᮡë⨩.

‘®¡ëâ¨ï ¬®£ã⠮⭮á¨âìáï ª ®â¤¥«ì­ë¬ í«¥¬¥­â ¬ á¨á⥬ë, ª ¢§ ¨¬®¤¥©á⢨ï¬

¬¥¦¤ã í«¥¬¥­â ¬¨ á¨áâ¥¬ë «¨¡® ª ¢§ ¨¬®¤¥©áâ¢¨î ¬¥¦¤ã á¨á⥬®© ¨ ¥¥

®ªà㦥­¨¥¬. Žá­®¢­®¥ ­ §­ ç¥­¨¥ ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï - ®¯¨á ­¨¥

¯®á«¥¤®¢ â¥«ì­®á⥩ ¤®¯ãá⨬ëå ¢§ ¨¬®¤¥©á⢨©

¬¥¦¤ã í«¥¬¥­â ¬¨ á¨áâ¥¬ë ¨ á¨á⥬®© ¨ ¥¥ ®ªà㦥­¨¥¬.

€¯¯ à â ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©áâ¢¨ï ®ç¥­ì 㤮¡¥­ ¤«ï ®¯¨á ­¨ï ¢­¥è­¥£®

(­ ¡«î¤ ¥¬®£®) ¯®¢¥¤¥­¨ï á¨á⥬ë.

2. ˆáâ®à¨ï

 §­®¢¨¤­®á⨠¤¨ £à ¬¬ ¢§ ¨¬®¤¥©áâ¢¨ï ¨á¯®«ì§ãîâáï ¯à¨ à §à ¡®âª¥

á¨á⥬ ॠ«ì­®£® ¢à¥¬¥­¨ á 60å £®¤®¢. Žá®¡®¥ à á¯à®áâà ­¥­¨¥ ¤¨ £à ¬¬ë

¢§ ¨¬®¤¥©áâ¢¨ï ¯®«ã稫¨ ¢ ®¡« á⨠ࠧࠡ®âª¨ ⥫¥ª®¬¬ã­¨ª æ¨®­­ëå á¨á⥬.

‘®¡á⢥­­® ï§ëª ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©á⢨ï áâ ­¤ à⨧®¢ ­ ¢ 1992 £. Œ¥¦¤ã­ à®¤­ë¬

’¥«¥ª®¬¬ã­¨ª æ¨®­­ë¬ ‘®î§®¬ (¥ª®¬¬¥­¤ æ¨ï Z.120 1992). ‚ ­ áâ®ï饥 ¢à¥¬ï

¯à¨­ïâ  ­®¢ ï, §­ ç¨â¥«ì­® à áè¨à¥­­ ï ¢¥àá¨ï áâ ­¤ àâ  (¥ª®¬¬¥­¤ æ¨ï

Z.120 1996). ‚ «¥ªæ¨ïå ï§ëª ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©áâ¢¨ï ®¯¨á뢠¥âáï ¢ à ¬ª å

áâ ­¤ àâ  1992 £.

¥ª®â®àë¥ ãâ®ç­¥­¨ï ᥬ ­â¨ª¨ ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©áâ¢¨ï ¯à¥¤« £ îâáï ­ ¬¨.

3. ®â æ¨ï

Ÿ§ëª ¤¨ £à ¬¬ ¢§ ¨¬®¤¥©áâ¢¨ï ¨¬¥¥â ⥪áâ®¢ë© ¨ £à ä¨ç¥áª¨© ᨭ⠪á¨á.

ƒà ä¨ç¥áª¨© ᨭ⠪á¨á

®á®¡¥­­® 㤮¡¥­ ¨ ¤ ¥â ¨­âã¨â¨¢­®¥ ¨ ¯à®§à ç­®¥ ®¯¨á ­¨¥ ¯®¢¥¤¥­¨ï á¨á⥬ë.

’¥ªáâ®¢ë© á¨­â ªá¨á ®¡ëç­® ¨á¯®«ì§ã¥âáï ¤«ï ®¡¬¥­  ᯥæ¨ä¨ª æ¨ï¬¨,

á®åà ­¥­¨ï ᯥæ¨ä¨ª æ¨© ¢ á¨á⥬ å ã¯à ¢«¥­¨ï ¢¥àá¨ï¬¨,

  â ª¦¥ à §«¨ç­ë¬¨ ¨­áâà㬥­â «ì­ë¬¨ á।á⢠¬¨.

Ž¯¨á ­¨¥ £à ä¨ç¥áª®£® ᨭ⠪á¨á 

à®¡«¥¬ : ®¯¨á ­¨¥ ¯à®áâà ­á⢥­­ëå ®â­®è¥­¨© ¬¥¦¤ã ᨬ¢®« ¬¨.

„«ï ®¯¨á ­¨ï áâàãªâãàë «¨­¥©­®£® ⥪áâ , ¯®à®¦¤¥­­®£® ®¯¥à æ¨¥© ª®­ª â¥­ æ¨¨,

¨á¯®«ì§ã¥âáï  ¯¯ à â (ª®­â¥ªáâ­®-᢮¡®¤­ëå) £à ¬¬ â¨ª. „¨ £à ¬¬  ¨¬¥¥â

¯à®áâà ­á⢥­­ãî áâàãªâãàã. ‘âàãªâãà  ¤¨ £à ¬¬ë ¯®à®¦¤ ¥âáï ®¯¥à æ¨¥©

à §¬¥é¥­¨ï £à ä¨ç¥áª¨å ᨬ¢®«®¢ ­  ¯«®áª®áâ¨. €­ «®£®¬ ®¯¥à æ¨¨ ª®­ª â¥­ æ¨¨

ï¥âáï á¢ï§ë¢ ­¨¥ £à ä¨ç¥áª¨å ᨬ¢®«®¢, â.¥. ᮯਪ®á­®¢¥­¨¥ ¤¢ãå

£à ä¨ç¥áª¨å ᨬ¢®«®¢ ᢮¨¬¨ £à ­¨æ ¬¨ ­  ¯«®áª®áâ¨.

„«ï ®¯¨á ­¨ï £à ä¨ç¥áª®£® ᨭ⠪á¨á  ¡ã¤¥¬ ¨á¯®«ì§®¢ âì  ¯¯ à â £à ä¨ç¥áª¨å

£à ¬¬ â¨ª. ƒà ä¨ç¥áª ï £à ¬¬ â¨ª  á®á⮨⠨§ á«¥¤ãîé¨å ᥬ¨ ç á⥩:

1) ­ ¡®à ¯à¨¬¨â¨¢­ëå £à ä¨ç¥áª¨å ᨬ¢®«®¢;

2) ®¯¨á ­¨¥ ⥪á⮢®© «¥ªá¨ª¨ ¤«ï  âਡã⮢

¯à¨¬¨â¨¢­ëå £à ä¨ç¥áª¨å ᨬ¢®«®¢;

3) ­ ¡®à á®áâ ¢­ëå £à ä¨ç¥áª¨å ᨬ¢®«®¢;

4) ®¯¨á ­¨¥  âਡã⮢ ¯à¨¬¨â¨¢­ëå £à ä¨ç¥áª¨å ᨬ¢®«®¢;

5) ®¯¨á ­¨¥ á®áâ ¢­ëå £à ä¨ç¥áª¨å ᨬ¢®«®¢;

6) ®¯¨á ­¨¥ ¯à®áâà ­á⢥­­ëå á¢ï§¥© ¬¥¦¤ã £à ä¨ç¥áª¨¬¨ ᨬ¢®« ¬¨;

7) ­ ç «ì­ë© ᨬ¢®« £à ä¨ç¥áª®© £à ¬¬ â¨ª¨;

— á⨠1) ¨ 2) ᮮ⢥áâ¢ãîâ  «ä ¢¨âã â¥à¬¨­ «ì­ëå ᨬ¢®«®¢ ¢ ⥪á⮢ëå

£à ¬¬ â¨ª å. — áâì 2) ®¯¨á뢠¥â ¯à ¢¨«  ¯®áâ஥­¨ï ­ ¤¯¨á¥© ­  ¤¨ £à ¬¬¥.

— áâì 3) ᮮ⢥âáâ¢ã¥â  «ä ¢¨âã ­¥â¥à¬¨­ «ì­ëå ᨬ¢®«®¢ ¢ ⥪á⮢ëå

£à ¬¬ â¨ª å. “á«®¢¨¬áï § ª«îç âì ­¥â¥à¬¨­ «ì­ë¥ ᨬ¢®«ë ¢ 㣫®¢ë¥ ᪮¡ª¨ < >

— á⨠4), 5) ¨ 6) £à ä¨ç¥áª®© £à ¬¬ â¨ª¨ ᮮ⢥âáâ¢ãî⠯ࠢ¨« ¬

⥪á⮢ëå £à ¬¬ â¨ª. — áâì 4) ®¯¨á ­¨¥  âਡã⮢ ¯à¨¬¨â¨¢­ëå

£à ä¨ç¥áª¨å ᨬ¢®«®¢ ¨á¯®«ì§ã¥âáï ¤«ï ¯à¨¢ï§ª¨ ⥪á⮢ëå ­ ¤¯¨á¥© ª

£à ä¨ç¥áª¨¬ ᨬ¢®« ¬ ­  ¤¨ £à ¬¬¥. ® ®¯à¥¤¥«¥­¨î,  âਡãâ

¯à¥¤áâ ¢«ï¥â ᮡ®© ®¡ï§ â¥«ì­ë© í«¥¬¥­â ­¥ª®â®à®£® ­¥â¥à¬¨­ «ì­®£® ᨬ¢®« .

Ž¡ëç­®,  âਡãâ «¨è¥­ ᮡá⢥­­®© ¢­ãâ७­¥© áâàãªâãàë, â.¥.

ï¥âáï â¥à¬¨­ «ì­ë¬ ᨬ¢®«®¬. ‡ ¬¥â¨¬, çâ® à §¤¥«¥­¨¥ áâàãªâãàë

­¥â¥à¬¨­ «ì­ëå ᨬ¢®«®¢ ­   âਡãâë ¨ ¯à®ç¨¥ (­¥®¡ï§ â¥«ì­ë¥) í«¥¬¥­âë

¯à¨¡«¨¦ ¥â  ¯¯ à â £à ¬¬ â¨ª ª  ¯¯ à âã ®¯¨á ­¨ï ª« áᮢ ¢

®¡ê¥ªâ­®-®à¨¥­â¨à®¢ ­­®¬ ¯®¤å®¤¥.

— áâì 6) ®¯¨á ­¨¥ ¯à®áâà ­á⢥­­ëå á¢ï§¥© ®âáãâáâ¢ã¥â ¢ ⥪á⮢ëå

£à ¬¬ â¨ª å.

— áâì 7) ­ ç «ì­ë© £à ä¨ç¥áª¨© ᨬ¢®« ᮮ⢥âáâ¢ã¥â ­ ç «ì­®¬ã

­¥â¥à¬¨­ «ì­®¬ã ᨬ¢®«ã ¢ ⥪á⮢ëå £à ¬¬ â¨ª å.

„«ï ®¯¨á ­¨ï ¯à ¢¨« ¯®áâ஥­¨ï á®áâ ¢­ëå £à ä¨ç¥áª¨å ᨬ¢®«®¢

¡ã¤¥¬ ¨á¯®«ì§®¢ âì à áè¨à¥­­ë¥ ä®à¬ë íªãá - ãà .

 ¯à¨¬¥à, ¯à ¢¨«® ¢¨¤ :

<composite symbol> ::= <element 1> { <element 2> | <element 3> }+

{ <element 4> }* [ <element 5> ]

Ž§­ ç ¥â, çâ® á®áâ ¢­®© ᨬ¢®« <composite symbol> á®á⮨â

á«¥¤ãîé¨å ç¥âëà¥å ç á⥩:

- ᨬ¢®«  <element 1>,

- ­¥¯ãá⮩ ¯®á«¥¤®¢ â¥«ì­®á⨠ᨬ¢®«®¢ <element 2> ¨ <element 3>,

- ¯®á«¥¤®¢ â¥«ì­®á⨠ᨬ¢®«®¢ <element 4> (ª®â®à ï ¬®¦¥â ¡ëâì ¯ãá⮩),

- ᨬ¢®«  <element 5> (ª®â®àë© ­¥ ï¥âáï ®¡ï§ â¥«ì­ë¬ ¨ ¬®¦¥â ®¯ã᪠âìáï).

„«ï ®¯¨á ­¨ï  ââàã¡ã⮢ £à ä¨ç¥áª¨å ᨬ¢®«®¢ ¨ ¯à®áâà ­á⢥­­ëå á¢ï§¥© ¬¥¦¤ã

£à ä¨ç¥áª¨¬¨ ᨬ¢®« ¬¨ à áè¨à¨¬ (à áè¨à¥­­ë¥) ä®à¬ë íªãá - ãà 

á«¥¤ãî騬¨ ª«î祢묨 á«®¢ ¬¨:

X is associated with Y X ¯à¨¢ï§ ­ ª Y

ᨬ¢®« Y ï¥âáï  âਡã⮬ ᨬ¢®«  X

X contains Y X ᮤ¥à¦¨â Y

ᨬ¢®« Y à á¯®«®¦¥­ ¢­ãâਠᨬ¢®«  X

X is connected to Y X ᮥ¤¨­¥­ á Y

ᨬ¢®«ë X ¨ Y ᮯਪ á îâáï (®¡ëç­® ¡®ª®¢ë¬¨)

£à ­¨æ ¬¨

X is followed by Y X ¯à¥¤è¥áâ¢ã¥â Y

ᯥ樠«ì­ë© á«ãç © ᮥ¤¨­¥­¨ï ᨬ¢®«®¢;

X ¨ Y - ᨬ¢®«ë, ­ å®¤ï騥áï ­  ®¤­®© ¢¥à⨪ «ì­®©

®á¨, ¯à¨ç¥¬ ¢¥àå­ïï £à ­¨æ  ᨬ¢®«  Y ᮯਪ á ¥âáï

á ­¨¦­¥© £à ­¨æ¥© ᨬ¢®«  X

4. Žá­®¢­ë¥ ¯®­ïâ¨ï

„¨ £à ¬¬  ¢§ ¨¬®¤¥©áâ¢¨ï ®¯¨á뢠¥â ¯®á«¥¤®¢ â¥«ì­®á⨠ᮡë⨩, ¯à®¨á室ïé¨å

á ­ ¡®à®¬ ®¡ê¥ªâ®¢ (á¨á⥬®© ¢§ ¨¬®á¢ï§ ­­ëå í«¥¬¥­â®¢). „®¯®«­¨â¥«ì­®,

ª ¦¤ ï á¨á⥬  à áᬠâਢ ¥âáï ª ª ®âªàëâ ï, â.¥. ¯®¤à §ã¬¥¢ ¥âáï ­ «¨ç¨¥

­¥ª®â®à®£® "®ªà㦥­¨ï á¨á⥬ë", á ª®â®àë¬ á¨á⥬  á¢ï§ ­ .

Žá­®¢­®¥ ¯®­ï⨥ ¤¨ £à ¬¬ë ¢§ ¨¬®¤¥©á⢨© - "âà áá " ®¡ê¥ªâ . „«ï ª ¦¤®£®

®¡ê¥ªâ  ­  ¤¨ £à ¬¬¥ ¨¬¥¥âáï ®â¤¥«ì­ ï ¢¥à⨪ «ì­ ï ®áì.   í⮩ ®á¨

®âª« ¤ë¢ îâáï ᮡëâ¨ï, ¨¬¥î騥 ®â­®è¥­¨¥ ª ¤ ­­®¬ã ®¡ê¥ªâã. ‘ç¨â ¥âáï,

çâ® ¢á¥ ®¡ê¥ªâë áãé¥áâ¢ãîâ ®¤­®¢à¥¬¥­­® ¨ ¯®á«¥¤®¢ â¥«ì­®á⨠ᮡë⨩

®¡ê¥ªâ®¢ à §¢¨¢ îâáï ¯ à ««¥«ì­®.

Žá­®¢­ ï à §­®¢¨¤­®áâì ᮡëâ¨ï - íâ® ¢§ ¨¬®¤¥©á⢨¥ ¤¢ãå ®¡ê¥ªâ®¢, «¨¡®

¢§ ¨¬®¤¥©á⢨¥ ®¡ê¥ªâ  ¨ ®ªà㦥­¨ï á¨á⥬ë. ‚§ ¨¬®¤¥©á⢨¥ ¬¥¦¤ã ®¡ê¥ªâ ¬¨

(  â ª¦¥ ¬¥¦¤ã ®¡ê¥ªâ®¬ ¨ ®ªà㦥­¨¥¬ á¨á⥬ë) ®áãé¥á⢫ï¥âáï ⮫쪮

¯à¨ ¯®¬®é¨ ®¡¬¥­  á®®¡é¥­¨ï¬¨.

5.1. „¨ £à ¬¬ 

Возможно не удалось распознать кодировку файла

Тема 2. Диаграммы Взаимодействия (продолжение)

Цель:

- рассмотреть средства языка диаграмм взаимодействия

- научить читать диаграммы взаимодействия

- научить использованию языка диаграмм взаимодействия

Содержание:

6. Структурные средства

6.1 Композиция и декомпозиция диаграмм посредством состояний

6.1.1. События

6.1.2. Композиция диаграмм посредством состояний

6.1.3. Декомпозиция диаграмм посредством состояний

6.1.4. Виды композиции диаграмм

6.1.4.1. Последовательная композиция

6.1.4.2. Альтернативная композиция

6.1.4.3. Циклическая композиция

6.1.4.4. Параллельная композиция

6.2 Иерархическая декомпозиция объектов

6. Структурные средства

Основным структурным средством языка диаграмм взаимодействия является

композиция и декомпозиция посредством состояний. Композиция диаграмм

посредством состояний позволяет разбивать описывать сложное множество

допустимых трасс по частям (т.н. горизонтальная композиция).

Дополнительным структурным средством является иерархическая декомпозиция

объекта (т.н. вертикальная декомпозиция).

6.1. Композиция и декомпозиция диаграмм посредством состояний

6.1.1. Состояния

Состояния предназначены

того, чтобы объединять несколько диаграмм для описания сложного поведения

множества объектов. Состояние - это особое событие на трассе объекта.

В отличие от прочих событий, одно и то же состояние может разделяться

одним, двумя и более объектами. По числу объектов на диаграмме,

разделяющих некоторое состояние, различают глобальные состояния

(общее для всех объектов), разделяемые состояния (разделяемые несколькими,

но не всеми объектами) и локальные состояния (разделяемое единственным

объектом).

Состояние называется начальным (для объекта на диаграмме), если данное

состояние предшествует всем остальным событиям на трассе данного объекта.

Состояние называется завершающим (для объекта на данной диаграмме), если

на диаграмме нет событий, которым данное состояние предшествует.

Остальные состояния называются промежуточными (для объекта на данной

диаграмме).

Наибольший интерес для композиции представляют глобальные состояния.

Глобальное состояние называется начальным (на некоторой диаграмме), если оно

является начальным для всех объектов на данной диаграмме. Глобальное

состояние называется завершающим (на диаграмме), если оно является

завершающим для всех объектов на диаграмме. Остальные глобальные состояния

называются промежуточными глобальными состояниями.

Графический синтаксис:

<condition area> ::= <local condition area> | <shared condition area>

<local condition area> ::= <condition symbol> contains <condition name>

<condition symbol> ::= ___|___

_/ \_

\_______/

|

<shared condition area> ::= <condition start area> |

<condition intermediate area> | <condition end area>

<condition start area> ::= <condition start symbol> is associated with

<condition name> is connected to

{ <condition intermediate area> | <condition end area> }

<condition start symbol> ::= __

_/

\__

<condition intermediate area> ::= <condition intermediate symbol>

is connected to

{ <condition intermediate area> | <condition end area> }

<condition intermediate symbol> ::= <condition intermediate symbol1>

| <condition intermediate symbol2>

<condition intermediate symbol1> ::=

<condition intermediate symbol2> ::=

<condition end area> ::= <condition end symbol>

<condition end symbol> ::= __

\_

__/

<condition name> ::= <name>

Дополнительные правила построения диаграмм:

Состояния и сообщения:

1) Если два объекта разделяют одно и то же состояние, то

сопряженные события приема и посылки сообщений должны происходить либо

оба до соответствующего состояния, либо оба после соответствующего

состояния (т.е. символы передачи собщений не должны пересекать символы

состояний).

Семантика:

1) Состояние является событием для объекта.

2) Разделяемые состояния НЕ определяют отношения порядка между событиями

различных объектов.

3) Состояния определяют возможные композиции и декомпозиции диаграмм

взаимодействия.

4) Семантика диаграммы с состояними ПОЛНОСТЬЮ ЭКВИВАЛЕНТНА семантике

данной диаграммы с удаленными состояниями.

6.1.2. Композиция диаграмм посредством состояний

Правило композиции для диаграмм взаимодействия определяется следующим образом.

Пусть имеется две диаграммы взаимодействия, причем множества объектов у них

совпадают. Тогда, если на первой диаграмме имеется завершающее глобальное

состояние с некоторым именем, а на второй диаграмме - начальное состояния с

тем же именем, то вторая диаграмма может служить ПРОДОЛЖЕНИЕМ первой.

Операцию продолжения диаграммы можно уточнить следующим образом:

для каждого объекта на новой диаграмме последовательность событий

будет состоять из всех событий, описанных на первой диаграмме (в той же

последовательности); затем всех событий, описанных на второй диаграмме

(в той же последовательности).

Заметим, что вместе две диаграммы, одна из которых может быть продолжением

другой, описывают НОВОЕ ПОВЕДЕНИЕ соответствующего множества объектов.

Правило композиции диаграмм посредством состояний формулируется для

более общего случая следующим образом. Пусть две диаграммы описывают

некоторое общее множество объектов i (дополнительно, каждая диаграмма

может описывать объекты, отсутствующие на другой диаграмме). Тогда,

одна диаграмма (msc1) может служить продолжением другой диаграммы (msc2),

если на msc1 объекты из множества i оканчивается состояниями с именами si,

и объекты из множества i на msc2 начинаются с соответствующих состояний.

При этом, некоторые (или даже все) состояния si могут быть разделяемыми.

Трассы объектов, не входящие в множество i (на msc1 и msc2), добавляются

к объединенной диаграмме. Очевидно, что множество взаимодействий между

объектами из msc1 и msc2 должно быть пусто для объектов, не входящих в общее

множество i. Ситуация, когда объект на msc1 посылает сообщение в окружение,

а это сообщение на самом деле предназначается одному из объектов на msc2

(т.н. "композиция посредством окружения") не выразима средствами языка

диаграмм взаимодействия.

6.1.3. Декомпозиция диаграмм посредством состояний

Определим секцию как такую диаграмму, у

которой имеется начальное и завершающие глобальные состояния и не имеется

промежуточных состояний. Глобальные состояния разбивают диаграмму на секции

Возможно не удалось распознать кодировку файла

Возможно не удалось распознать кодировку файла

Возможно не удалось распознать кодировку файла