-----
ИМ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;