*)
ENTITY Project_assignment;
assigned_project: Project;
role: STRING;
items : SET[1:?] OF project_item;
END_ENTITY;
(*
Определения атрибутов
assigned_project - объект Project, с которым устанавливается связь;
role - текст, определяющий сущность объекта Project по отношению к связанному с ним изделию или действию. При определении действий, включенных в программу работ по проекту, атрибуту role должно быть присвоено значение 'work program (программа работ)';
items - совокупность экземпляров объектных типов данных, присутствующих в выбираемом типе данных project_item, которые связаны с объектом Project. Тип данных project_item должен содержать по крайней мере один объектный тип данных для объекта Project_assignment.
4.3.3 Объект Project_relationship
Объект Project_relationship представляет связь между двумя экземплярами объекта Project с идентификацией и описанием их взаимосвязи.
EXPRESS-спецификация:
*)
ENTITY Project_relationship;
relation_type: STRING;
description: OPTIONAL STRING;
relating_project: Project;
related_project: Project;
END_ENTITY;
(*
Определения атрибутов
relation_type - текст, определяющий сущность взаимосвязи. В соответствующих случаях должны использоваться следующие значения данного атрибута:
- 'decomposition (декомпозиция)': прикладной объект определяет взаимосвязь, при которой зависимый проект является компонентом ведущего проекта;
- 'dependency (зависимость)': завершение зависимого проекта зависит от завершения ведущего проекта;
- 'sequence (очередность)': прикладной объект определяет взаимосвязь, при которой ведущий проект должен быть завершен до начала зависимого проекта;
- 'succession (преемственность)': зависимый проект является преемником ведущего проекта;
description - текст, содержащий дополнительную информацию о данной взаимосвязи. Значение данного атрибута может быть не определено;
relating_project - один из экземпляров объекта Project, являющийся частью взаимосвязи;
related_project - другой экземпляр объекта Project, являющийся частью взаимосвязи. Если один элемент взаимосвязи зависит от другого, то данный атрибут представляет зависимый элемент.
Неформальное утверждение
IP1 - граф экземпляров объекта Project, связанных экземплярами объекта Project_relationship, должен быть ациклическим.
*)
END_SCHEMA; -- Project_arm
(*
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином "прикладной элемент" понимается любой объектный тип данных, определенный в разделе 4, любой из его явных атрибутов и любое ограничение на подтипы. Термин "элемент ИММ" обозначает любой объектный тип данных, определенный в 5.2 или импортированный с помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атрибутов и любое ограничение на подтипы, определенное в 5.2 или импортированное с помощью оператора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как каждый прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или несколько элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном пункте. Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержащего спецификацию отображения данного объекта. Каждая спецификация отображения содержит до пяти секций.
Секция "Заголовок" содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименование атрибута рассматриваемого объекта ПЭМ, если данный атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных, либо
- составное выражение вида: "связь объекта <наименование объекта ПЭМ> с объектом <тип данных, на который дана ссылка>, представляющим атрибут <наименование атрибута>", если данный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных.
Секция "Элемент ИММ" содержит в зависимости от рассматриваемого прикладного элемента следующие составляющие:
- наименование одного или более объектных типов данных ИММ;
- наименование атрибута объекта ИММ, представленное в виде синтаксической конструкции <наименование объекта>.<наименование атрибута>, если рассматриваемый атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующих в прикладном утверждении, отображаются на тот же самый экземпляр объектного типа данных ИММ;