ДВ1. Основные понятия языка диаграмм взаимодействия. 
     Построить информационную модель, в которой объектами являются 
     основные понятия языка диаграмм взаимодействия, и показать 
     отношения между ними.

1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 11;
INST ab:t1, cd:t2;
  INSTANCE ab:t1;
    OUT abc(1,2) FROM cd;
    IN abc(1,2) FROM cd;
  ENDINSTANCE;

  INSTANCE cd;
    IN cd FROM ENV;
    OUT abc(1,2) TO ab;
    OUT de TO ENV;
  ENDINSTANCE;
ENDMSC;

MSC 17;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO abc;
    CONDITION xxx SHARED abc, bcd;
    IN a FROM abc;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    OUT b TO abc;
    CONDITION xxx SHARED abc, bcd;
  ENDINSTANCE;
ENDMSC;

2. Дана основная диаграмма взаимодействия и набор диаграмм декомпозиции. 
   Указать, какие диаграммы декомпозиции могут считаться декомпозицией 
   исходной диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;

SUBMSC a COMMENT from MSC main;
/* 1 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    CONDITION abc SHARED a1,a2;
    IN a FROM ENV;
    OUT b TO a2;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    CONDITION abc SHARED a1,a2;
    IN b FROM a1;
    OUT d TO ENV;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main;
/* 14 */
INST a1,a2;
  INSTANCE a1;
    IN a FROM ENV;
    OUT d TO a2;
    CONDITION xxx SHARED a1,a2;
    OUT b TO ENV;
    OUT d TO a2;
 ENDINSTANCE;

  INSTANCE a2;
    IN d FROM a1;
    CONDITION xxx SHARED a1,a2;
    IN d FROM a1;
    OUT d TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
   
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 1_1; INST a,b,c,d;
CONDITION s2 SHARED a,b,c,d;
  INSTANCE a;
    OUT d TO d;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE c;
    OUT a TO b;
    STOP;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE b;
   IN a FROM c;
   OUT d TO ENV;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE d;
    IN d FROM a;
    CONDITION s2 SHARED a,b,d;
  ENDINSTANCE;
ENDMSC;

MSC 1_2; INST a,b,c;
  INSTANCE a;
    CONDITION s1 SHARED a,b;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE b;
    CONDITION s1 SHARED a,b;
    IN a FROM ENV;
    CONCURRENT;
      IN b FROM ENV;
      IN d FROM ENV;
    ENDCONCURRENT;
    CREATE c;
  ENDINSTANCE;
  INSTANCE c;
  ENDINSTANCE;
CONDITION s2 SHARED a,b,c;
ENDMSC;
ENDMSCDOCUMENT;

-----
ДВ2. Основные понятия графического синтаксиса языка диаграмм взаимодействия.
     Построить информационную модель, на которой объектами являются основные
     понятия графического синтаксиса диаграмм взаимодействия, и показать 
     отношения между ними.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 13;
INST abc, bcd;
 INSTANCE abc;
   OUT a TO bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN a FROM abc;
   OUT b TO abc;
 ENDINSTANCE;
ENDMSC;

MSC 16;
INST abc, bcd;
 INSTANCE abc;
   CONDITION xxx SHARED abc, bcd;
   OUT a TO bcd;
   OUT b TO bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM abc;
   IN a FROM abc;
 ENDINSTANCE;
ENDMSC:

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;

SUBMSC A COMMENT from MSC main;
/* 2 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    IN a FROM ENV;
    ACTION abc;
    OUT b TO a2;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    IN b FROM a1;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main;
/* 11 */
INST a1,a2;
  INSTANCE a1;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    IN a FROM ENV;
    CONCURRENT;
      OUT b TO ENV;
      OUT d TO ENV;
    ENDCONCURRENT;
  ENDINSTANCE;
ENDSUBMSC;

3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 2_1; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;

MSC 2_2; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;
ENDMSCDOCUMENT;
-----
ДВ3. Основные понятия семантики языка диаграмм взаимодействия.
     Построить информационную модель, в которой объектами являются основные 
     семантические понятия языка диаграмм взаимодействия, и показать 
     отношения   между ними.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 15;
INST abc, bcd;
  INSTANCE abc;
    CONDITION xxx SHARED abc, bcd;
    IN abc FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    SET T(3);
    CONDITION xxx SHARED abc, bcd;
    TIMEOUT T;
  ENDINSTANCE;
ENDMSC;
 
MSC 14;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO bcd;
    CONDITION xxx SHARED abc, bcd;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    IN a FROM abc;
    CONDITION xxx SHARED abc, bcd;
    OUT b TO abc;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;

SUBMSC A COMMENT from MSC main;
/* 3 */
INST a1,a2;
  INSTANCE a1;
    IN b FROM a2;
    ACTION abc;
    IN b FROM a2;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    IN a FROM ENV;
    OUT b TO a1;
    CONDITION abc;
    OUT b TO a1;
  ENDINSTANCE;
ENDSUBMSC;


SUBMSC A COMMENT from MSC main;
/* 12 */
INST a1,a2;
  INSTANCE a1;
    OUT a TO a2;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    OUT a TO ENV;
    OUT d TO ENV;
    IN a FROM a1;
  ENDINSTANCE;
ENDSUBMSC;

3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 3_1; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;

MSC 3_2; INST a,b;
CONDITION s1 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
ENDMSC;
ENDMSCDOCUMENT;
-----
РМ1. Основные понятия техники ролевого моделирования.
     Построить информационную модель, в которой объектами являются основные 
     понятия языка ролевых моделей, и показать отношения   между ними.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 17;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO abc;
    CONDITION xxx SHARED abc, bcd;
    IN a FROM abc;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    OUT b TO abc;
    CONDITION xxx SHARED abc, bcd;
  ENDINSTANCE;
ENDMSC;

MSC 10;
INST abc, bcd;
  INSTANCE bcd;
    IN abc(1,2) FROM abc;
    CONDITION xxx SHARED abc, bcd;
    OUT abc(3) TO abc;
  ENDINSTANCE;

  INSTANCE abc;
    OUT abc(1,2) TO bcd;
    CONDITION xxx SHARED abc, bcd;
    IN abc(3) FROM bcd;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;

SUBMSC A COMMENT from MSC main;
/* 4 */
INST a1,a2;
  INSTANCE a2;
     IN a FROM ENV;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a1;
     OUT b TO ENV;
     ACTION abc;
     OUT d TO a2;
  ENDINSTANCE;
ENDSUBMSC;
 

SUBMSC A COMMENT from MSC main;
/* 15 */
INST a1,a2;
  INSTANCE a1;
     IN a FROM ENV;
     OUT a TO a2;
     CONDITION abc SHARED a1,a2;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
     IN a FROM a1;
     CONDITION abc SHARED a1,a2;
     OUT b TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
   
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 4_1; INST a,b,c;
CONDITION s2 SHARED a,b,c;
  INSTANCE a;
    OUT a TO ENV;
  CONDITION s1 SHARED a,b;
  ENDINSTANCE;
  INSTANCE c;
    OUT a TO b;
    STOP;
  CONDITION s1 SHARED a,b;
  ENDINSTANCE;
  INSTANCE b;
   IN a FROM c;
   OUT d TO ENV;
  CONDITION s1 SHARED a,b;
  ENDINSTANCE;
ENDMSC;

MSC 4_2; INST a,b,c;
  INSTANCE a;
    CONDITION s1 SHARED a,b;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE b;
    CONDITION s1 SHARED a,b;
    IN a FROM ENV;
    CONCURRENT;
      IN b FROM ENV;
      IN d FROM ENV;
    ENDCONCURRENT;
    CREATE c;
  ENDINSTANCE;
  INSTANCE c;
  ENDINSTANCE;
CONDITION s2 SHARED a,b,c;
ENDMSC;
ENDMSCDOCUMENT;
-----
РМ2. Основные документы  ролевой модели.
     Построить информационную модель, в которой объектами являются документы
     ролевых моделей, и показать отношения   между ними.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.
MSC 6;
INST abc, bcd;
  INSTANCE abc;
   IN a FROM bcd;
   OUT b TO bcd;
   OUT c TO bcd;
  ENDINSTANCE;

  INSTANCE bcd;
   IN b FROM abc;
   OUT a TO abc;
   IN c FROM abc;
ENDMSC;

MSC 10;
INST abc, bcd;
  INSTANCE bcd;
    IN abc(1,2) FROM abc;
    CONDITION xxx SHARED abc, bcd;
    OUT abc(3) TO abc;
  ENDINSTANCE;

  INSTANCE abc;
    OUT abc(1,2) TO bcd;
    CONDITION xxx SHARED abc, bcd;
    IN abc(3) FROM bcd;
  ENDINSTANCE;
ENDMSC;
  
2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC A COMMENT from MSC main;
/* 9 */
INST a1,a2;
  INSTANCE a1;
     IN a FROM ENV;
     OUT a TO a2;
     SET t;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
     IN a FROM a1;
     OUT b TO ENV;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main; 
/* 11 */
INST a1,a2;
  INSTANCE a2;
     IN a FROM ENV;
     CONCURRENT;
     OUT b TO ENV;
     OUT d TO ENV;
     ENDCONCURRENT;
   ENDINSTANCE;

  INSTANCE a2;
     OUT b TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
 
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 5_1; INST a,b;
CONDITION s1 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;

MSC 5_2; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;
ENDMSCDOCUMENT;
-----
РМ4. Определение действующего лица в технике ролевого моделирования.   
     Построить информационную модель, в которой объектами являются понятия, 
     используемые в определении действующего лица,  и показать отношения   
     между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 11;
INST ab:t1, cd:t2;
  INSTANCE ab:t1;
    OUT abc(1,2) FROM cd;
    IN abc(1,2) FROM cd;
  ENDINSTANCE;

  INSTANCE cd;
    IN cd FROM ENV;
    OUT abc(1,2) TO ab;
    OUT de TO ENV;
  ENDINSTANCE;
ENDMSC;

MSC 17;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO abc;
    CONDITION xxx SHARED abc, bcd;
    IN a FROM abc;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    OUT b TO abc;
    CONDITION xxx SHARED abc, bcd;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC A COMMENT from MSC main;
/* 2 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    IN a FROM ENV;
    ACTION abc;
    OUT b TO a2;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    IN b FROM a1;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main;
/* 11 */
INST a1,a2;
  INSTANCE a1;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    IN a FROM ENV;
    CONCURRENT;
      OUT b TO ENV;
      OUT d TO ENV;
    ENDCONCURRENT;
  ENDINSTANCE;
ENDSUBMSC;

3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 1_1; INST a,b,c,d;
CONDITION s2 SHARED a,b,c,d;
  INSTANCE a;
    OUT d TO d;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE c;
    OUT a TO b;
    STOP;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE b;
   IN a FROM c;
   OUT d TO ENV;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE d;
    IN d FROM a;
    CONDITION s2 SHARED a,b,d;
  ENDINSTANCE;
ENDMSC;

MSC 1_2; INST a,b,c;
  INSTANCE a;
    CONDITION s1 SHARED a,b;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE b;
    CONDITION s1 SHARED a,b;
    IN a FROM ENV;
    CONCURRENT;
      IN b FROM ENV;
      IN d FROM ENV;
    ENDCONCURRENT;
    CREATE c;
  ENDINSTANCE;
  INSTANCE c;
  ENDINSTANCE;
CONDITION s2 SHARED a,b,c;
ENDMSC;
ENDMSCDOCUMENT;
-----
РМ5. Определение роли в технике ролевого моделирования.    
     Построить информационную модель, в которой объектами являются 
     понятия, используемые в определении роли,  и показать отношения  
     между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 13;
INST abc, bcd;
 INSTANCE abc;
   OUT a TO bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN a FROM abc;
   OUT b TO abc;
 ENDINSTANCE;
ENDMSC;

MSC 16;
INST abc, bcd;
 INSTANCE abc;
   CONDITION xxx SHARED abc, bcd;
   OUT a TO bcd;
   OUT b TO bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM abc;
   IN a FROM abc;
 ENDINSTANCE;
ENDMSC:

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC A COMMENT from MSC main;
/* 4 */
INST a1,a2;
  INSTANCE a2;
     IN a FROM ENV;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a1;
     OUT b TO ENV;
     ACTION abc;
     OUT d TO a2;
  ENDINSTANCE;
ENDSUBMSC;
 

SUBMSC A COMMENT from MSC main;
/* 15 */
INST a1,a2;
  INSTANCE a1;
     IN a FROM ENV;
     OUT a TO a2;
     CONDITION abc SHARED a1,a2;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
     IN a FROM a1;
     CONDITION abc SHARED a1,a2;
     OUT b TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
   
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 2_1; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;

MSC 2_2; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;
ENDMSCDOCUMENT;
-----
РМ6. Определение сценария в технике ролевого моделирования. 
     Построить информационную модель, в которой объектами являются понятия,
     используемые в определении  сценария,  и показать отношения   
     между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 15;
INST abc, bcd;
  INSTANCE abc;
    CONDITION xxx SHARED abc, bcd;
    IN abc FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    SET T(3);
    CONDITION xxx SHARED abc, bcd;
    TIMEOUT T;
  ENDINSTANCE;
ENDMSC;
 
MSC 14;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO bcd;
    CONDITION xxx SHARED abc, bcd;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    IN a FROM abc;
    CONDITION xxx SHARED abc, bcd;
    OUT b TO abc;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;

SUBMSC A COMMENT from MSC main;
/* 3 */
INST a1,a2;
  INSTANCE a1;
    IN b FROM a2;
    ACTION abc;
    IN b FROM a2;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    IN a FROM ENV;
    OUT b TO a1;
    CONDITION abc;
    OUT b TO a1;
  ENDINSTANCE;
ENDSUBMSC;


SUBMSC A COMMENT from MSC main;
/* 12 */
INST a1,a2;
  INSTANCE a1;
    OUT a TO a2;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    OUT a TO ENV;
    OUT d TO ENV;
    IN a FROM a1;
  ENDINSTANCE;
ENDSUBMSC;

3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 6_1; INST a,b,c;
CONDITION s2 SHARED a,b,c;
  INSTANCE a;
    OUT d TO ENV;
  ENDINSTANCE;
  INSTANCE c;
    CONDITION a;
    OUT a TO b;
    CONDITION a;
    STOP;
  ENDINSTANCE;
  INSTANCE b;
   IN a FROM c;
   OUT d TO ENV;
  ENDINSTANCE;
ENDMSC;

MSC 6_2; INST a,b,c;
  INSTANCE a;
    CONDITION s1 SHARED a,b;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE b;
    CONDITION s1 SHARED a,b;
    IN a FROM ENV;
    CONCURRENT;
      IN b FROM ENV;
      IN d FROM ENV;
    ENDCONCURRENT;
    CREATE c;
  ENDINSTANCE;
  INSTANCE c;
  ENDINSTANCE;
CONDITION s2 SHARED a,b,c;
ENDMSC;
ENDMSCDOCUMENT;
-----
РМ7. Определение текущих условий в технике ролевого моделирования. 
     Построить информационную модель, в которой объектами являются понятия,
     используемые в определении текущих условий сценария,  и показать 
     отношения   между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.
MSC 6;
INST abc, bcd;
  INSTANCE abc;
   IN a FROM bcd;
   OUT b TO bcd;
   OUT c TO bcd;
  ENDINSTANCE;

  INSTANCE bcd;
   IN b FROM abc;
   OUT a TO abc;
   IN c FROM abc;
ENDMSC;

MSC 10;
INST abc, bcd;
  INSTANCE bcd;
    IN abc(1,2) FROM abc;
    CONDITION xxx SHARED abc, bcd;
    OUT abc(3) TO abc;
  ENDINSTANCE;

  INSTANCE abc;
    OUT abc(1,2) TO bcd;
    CONDITION xxx SHARED abc, bcd;
    IN abc(3) FROM bcd;
  ENDINSTANCE;
ENDMSC;
  
2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;

SUBMSC A COMMENT from MSC main;
/* 2 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    IN a FROM ENV;
    ACTION abc;
    OUT b TO a2;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    IN b FROM a1;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main;
/* 11 */
INST a1,a2;
  INSTANCE a1;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    IN a FROM ENV;
    CONCURRENT;
      OUT b TO ENV;
      OUT d TO ENV;
    ENDCONCURRENT;
  ENDINSTANCE;
ENDSUBMSC;

3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 2_1; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;

MSC 2_2; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;
ENDMSCDOCUMENT;
-----
РМ8. Определение атомарных действий в технике ролевого моделирования. 
     Построить информационную  модель, в которой объектами являются понятия,
     используемые в определении атомарных действий сценария,  и 
     показать отношения  между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 11;
INST ab:t1, cd:t2;
  INSTANCE ab:t1;
    OUT abc(1,2) FROM cd;
    IN abc(1,2) FROM cd;
  ENDINSTANCE;

  INSTANCE cd;
    IN cd FROM ENV;
    OUT abc(1,2) TO ab;
    OUT de TO ENV;
  ENDINSTANCE;
ENDMSC;

MSC 17;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO abc;
    CONDITION xxx SHARED abc, bcd;
    IN a FROM abc;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    OUT b TO abc;
    CONDITION xxx SHARED abc, bcd;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC A COMMENT from MSC main;
/* 4 */
INST a1,a2;
  INSTANCE a2;
     IN a FROM ENV;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a1;
     OUT b TO ENV;
     ACTION abc;
     OUT d TO a2;
  ENDINSTANCE;
ENDSUBMSC;
 

SUBMSC A COMMENT from MSC main;
/* 15 */
INST a1,a2;
  INSTANCE a1;
     IN a FROM ENV;
     OUT a TO a2;
     CONDITION abc SHARED a1,a2;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
     IN a FROM a1;
     CONDITION abc SHARED a1,a2;
     OUT b TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
   
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 1_1; INST a,b,c,d;
CONDITION s2 SHARED a,b,c,d;
  INSTANCE a;
    OUT d TO d;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE c;
    OUT a TO b;
    STOP;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE b;
   IN a FROM c;
   OUT d TO ENV;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE d;
    IN d FROM a;
    CONDITION s2 SHARED a,b,d;
  ENDINSTANCE;
ENDMSC;

MSC 1_2; INST a,b,c;
  INSTANCE a;
    CONDITION s1 SHARED a,b;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE b;
    CONDITION s1 SHARED a,b;
    IN a FROM ENV;
    CONCURRENT;
      IN b FROM ENV;
      IN d FROM ENV;
    ENDCONCURRENT;
    CREATE c;
  ENDINSTANCE;
  INSTANCE c;
  ENDINSTANCE;
CONDITION s2 SHARED a,b,c;
ENDMSC;
ENDMSCDOCUMENT;
-----
ИМ1. Основные понятия техники информационного моделирования.
     Построить информационную модель, в которой объектами являются 
     основные понятия языка информационных моделей, и показать отношения   
     между ними.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 13;
INST abc, bcd;
 INSTANCE abc;
   OUT a TO bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN a FROM abc;
   OUT b TO abc;
 ENDINSTANCE;
ENDMSC;

MSC 16;
INST abc, bcd;
 INSTANCE abc;
   CONDITION xxx SHARED abc, bcd;
   OUT a TO bcd;
   OUT b TO bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM abc;
   IN a FROM abc;
 ENDINSTANCE;
ENDMSC:

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC a COMMENT from MSC main;
/* 1 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    CONDITION abc SHARED a1,a2;
    IN a FROM ENV;
    OUT b TO a2;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    CONDITION abc SHARED a1,a2;
    IN b FROM a1;
    OUT d TO ENV;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main;
/* 14 */
INST a1,a2;
  INSTANCE a1;
    IN a FROM ENV;
    OUT d TO a2;
    CONDITION xxx SHARED a1,a2;
    OUT b TO ENV;
    OUT d TO a2;
 ENDINSTANCE;

  INSTANCE a2;
    IN d FROM a1;
    CONDITION xxx SHARED a1,a2;
    IN d FROM a1;
    OUT d TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
  
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 7_1; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s2 SHARED a,b;
ENDMSC;

MSC 7_2; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
CONDITION s2 SHARED a,b;
ENDMSC;
ENDMSCDOCUMENT;
-----
ИМ2. Основные документы  информационной модели.
     Построить информационную модель, в которой объектами являются 
     документы информационных моделей, и показать отношения   между ними.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 11;
INST ab:t1, cd:t2;
  INSTANCE ab:t1;
    OUT abc(1,2) FROM cd;
    IN abc(1,2) FROM cd;
  ENDINSTANCE;

  INSTANCE cd;
    IN cd FROM ENV;
    OUT abc(1,2) TO ab;
    OUT de TO ENV;
  ENDINSTANCE;
ENDMSC;

MSC 17;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO abc;
    CONDITION xxx SHARED abc, bcd;
    IN a FROM abc;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    OUT b TO abc;
    CONDITION xxx SHARED abc, bcd;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC A COMMENT from MSC main;
/* 15 */
INST a1,a2;
  INSTANCE a1;
     IN a FROM ENV;
     OUT a TO a2;
     CONDITION abc SHARED a1,a2;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
     IN a FROM a1;
     CONDITION abc SHARED a1,a2;
     OUT b TO ENV;
  ENDINSTANCE;
ENDSUBMSC;


SUBMSC a COMMENT from MSC main;
/* 1 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    CONDITION abc SHARED a1,a2;
    IN a FROM ENV;
    OUT b TO a2;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    CONDITION abc SHARED a1,a2;
    IN b FROM a1;
    OUT d TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
   
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 1_1; INST a,b,c,d;
CONDITION s2 SHARED a,b,c,d;
  INSTANCE a;
    OUT d TO d;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE c;
    OUT a TO b;
    STOP;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE b;
   IN a FROM c;
   OUT d TO ENV;
  CONDITION s1 SHARED a,b,d;
  ENDINSTANCE;
  INSTANCE d;
    IN d FROM a;
    CONDITION s2 SHARED a,b,d;
  ENDINSTANCE;
ENDMSC;

MSC 1_2; INST a,b,c;
  INSTANCE a;
    CONDITION s1 SHARED a,b;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE b;
    CONDITION s1 SHARED a,b;
    IN a FROM ENV;
    CONCURRENT;
      IN b FROM ENV;
      IN d FROM ENV;
    ENDCONCURRENT;
    CREATE c;
  ENDINSTANCE;
  INSTANCE c;
  ENDINSTANCE;
CONDITION s2 SHARED a,b,c;
ENDMSC;
ENDMSCDOCUMENT;
-----
ИМ4. Определение доменов в технике информационного моделирования.   
     Построить информационную модель, в которой объектами являются 
     понятия, используемые в определении  домена,  и показать отношения   
     между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.
MSC 6;
INST abc, bcd;
  INSTANCE abc;
   IN a FROM bcd;
   OUT b TO bcd;
   OUT c TO bcd;
  ENDINSTANCE;

  INSTANCE bcd;
   IN b FROM abc;
   OUT a TO abc;
   IN c FROM abc;
ENDMSC;

MSC 10;
INST abc, bcd;
  INSTANCE bcd;
    IN abc(1,2) FROM abc;
    CONDITION xxx SHARED abc, bcd;
    OUT abc(3) TO abc;
  ENDINSTANCE;

  INSTANCE abc;
    OUT abc(1,2) TO bcd;
    CONDITION xxx SHARED abc, bcd;
    IN abc(3) FROM bcd;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC A COMMENT from MSC main;
/* 2 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    IN a FROM ENV;
    ACTION abc;
    OUT b TO a2;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    IN b FROM a1;
  ENDINSTANCE;
ENDSUBMSC;


SUBMSC A COMMENT from MSC main;
/* 4 */
INST a1,a2;
  INSTANCE a2;
     IN a FROM ENV;
     OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a1;
     OUT b TO ENV;
     ACTION abc;
     OUT d TO a2;
  ENDINSTANCE;
ENDSUBMSC;
 
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 2_1; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;

MSC 2_2; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;
ENDMSCDOCUMENT;
-----
ИМ5. Определение объекта в технике информационного моделирования.    
     Построить информационную модель, в которой объектами являются 
     понятия, используемые в определении  объекта,  и показать отношения   
     между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 15;
INST abc, bcd;
  INSTANCE abc;
    CONDITION xxx SHARED abc, bcd;
    IN abc FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    SET T(3);
    CONDITION xxx SHARED abc, bcd;
    TIMEOUT T;
  ENDINSTANCE;
ENDMSC;
 
MSC 14;
INST abc, bcd;
  INSTANCE abc;
    OUT a TO bcd;
    CONDITION xxx SHARED abc, bcd;
    IN b FROM bcd;
  ENDINSTANCE;

  INSTANCE bcd;
    IN a FROM abc;
    CONDITION xxx SHARED abc, bcd;
    OUT b TO abc;
  ENDINSTANCE;
ENDMSC;

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC A COMMENT from MSC main;
/* 2 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    IN a FROM ENV;
    ACTION abc;
    OUT b TO a2;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    IN b FROM a1;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main;
/* 11 */
INST a1,a2;
  INSTANCE a1;
    OUT b TO ENV;
  ENDINSTANCE;

  INSTANCE a2;
    IN a FROM ENV;
    CONCURRENT;
      OUT b TO ENV;
      OUT d TO ENV;
    ENDCONCURRENT;
  ENDINSTANCE;
ENDSUBMSC;

3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 8_1; INST a,b,c;
CONDITION s2 SHARED a,b,c;
  INSTANCE a;
    OUT d TO d;
  CONDITION s1 SHARED a,b;
  ENDINSTANCE;
  INSTANCE c;
    OUT a TO b;
    STOP;
  CONDITION s1 SHARED a,b;
  ENDINSTANCE;
  INSTANCE b;
   IN a FROM c;
   OUT d TO ENV;
  CONDITION s1 SHARED a,b;
  ENDINSTANCE;
ENDMSC;

MSC 8_2; INST a,b,c;
  INSTANCE a;
    CONDITION s1 SHARED a,b;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE b;
    CONDITION s1 SHARED a,b;
    IN a FROM ENV;
    CONCURRENT;
      IN b FROM ENV;
      IN d FROM ENV;
    ENDCONCURRENT;
    CREATE c;
  ENDINSTANCE;
  INSTANCE c;
  ENDINSTANCE;
CONDITION s2 SHARED a,b,c;
ENDMSC;
ENDMSCDOCUMENT;
-----
ИМ6. Определение связи в технике информационного моделирования. 
     Построить информационную модель, в которой объектами являются 
     понятия, используемые в определении связи,  и показать отношения   
     между этими понятиями.
1. Даны несколько диаграмм взаимодействия в текстовом представлении.
   Указать, какие из них являются семантически правильными.

MSC 13;
INST abc, bcd;
 INSTANCE abc;
   OUT a TO bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN a FROM abc;
   OUT b TO abc;
 ENDINSTANCE;
ENDMSC;

MSC 16;
INST abc, bcd;
 INSTANCE abc;
   CONDITION xxx SHARED abc, bcd;
   OUT a TO bcd;
   OUT b TO bcd;
 ENDINSTANCE;

 INSTANCE bcd;
   CONDITION xxx SHARED abc, bcd;
   IN b FROM abc;
   IN a FROM abc;
 ENDINSTANCE;
ENDMSC:

2. Дана диаграмма взаимодействия и набор диаграмм декомпозиции. Указать,
   какие диаграммы декомпозиции могут считаться декомпозицией исходной
   диаграммы.

MSC main;
INST a,b;
  INSTANCE a DECOMPOSED;
    IN a FROM ENV;
    CONDITION abc SHARED a,b;
    OUT b TO b;
    OUT d TO ENV;
  ENDINSTANCE;

  INSTANCE b;
    CONDITION abc SHARED a,b;
    IN b FROM a;
    OUT c TO ENV;
  ENDINSTANCE;
ENDMSC;


SUBMSC a COMMENT from MSC main;
/* 1 */
INST a1, a2;
  INSTANCE a1;
    IN b FROM a2;
    CONDITION abc SHARED a1,a2;
    IN a FROM ENV;
    OUT b TO a2;
  ENDINSTANCE;

  INSTANCE a2;
    OUT b TO a1;
    CONDITION abc SHARED a1,a2;
    IN b FROM a1;
    OUT d TO ENV;
  ENDINSTANCE;
ENDSUBMSC;

SUBMSC A COMMENT from MSC main;
/* 14 */
INST a1,a2;
  INSTANCE a1;
    IN a FROM ENV;
    OUT d TO a2;
    CONDITION xxx SHARED a1,a2;
    OUT b TO ENV;
    OUT d TO a2;
 ENDINSTANCE;

  INSTANCE a2;
    IN d FROM a1;
    CONDITION xxx SHARED a1,a2;
    IN d FROM a1;
    OUT d TO ENV;
  ENDINSTANCE;
ENDSUBMSC;
  
3. Дан набор диаграмм взаимодействия (описывающий некоторый сценарий). 
   Привести полное (и, по возможности, недвусмысленное) описание данного 
   сценария на русском языке.

MSCDOCUMENT;
MSC 2_1; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE a;
    IN b FROM b;
  ENDINSTANCE;
  INSTANCE b;
    IN a FROM ENV;
    OUT b TO a;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;

MSC 2_2; INST a,b;
CONDITION s2 SHARED a,b;
  INSTANCE b;
    IN b FROM ENV;
    OUT b TO ENV;
  ENDINSTANCE;
  INSTANCE a;
    IN b FROM a;
    OUT b TO ENV;
  ENDINSTANCE;
CONDITION s1 SHARED a,b;
ENDMSC;
ENDMSCDOCUMENT;
-----