• Текст документа
  • Статус
Оглавление
Поиск в тексте
Действующий


ГОСТ Р 55346-2012/
ISO/PAS 20542:2006

Группа Т 58

     
     
НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы промышленной автоматизации и интеграция

ПРЕДСТАВЛЕНИЕ И ОБМЕН ПРОИЗВОДСТВЕННЫМИ ДАННЫМИ. БАЗОВАЯ МОДЕЛЬ ИНЖЕНЕРНОГО ПРОЕКТИРОВАНИЯ СИСТЕМ

Industrial automation systems and integration. Product data representation and exchange. Reference model for systems engineering



ОКС 25.040.40

Дата введения 2014-01-01

     
     
Предисловие

1 ПОДГОТОВЛЕН АНО "Международная академия менеджмента и качества бизнеса" на основе собственного аутентичного перевода на русский язык стандарта, указанного в пункте 4

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 100 "Стратегический и инновационный менеджмент"

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 29 ноября 2012 г. N 1707-ст

4 Настоящий стандарт идентичен международному документу ISO/PAS 20542:2006* "Системы промышленной автоматизации и интеграция. Представление и обмен производственными данными. Базовая модель инженерного проектирования систем" (ISO/PAS 20542:2006 Industrial automation systems and integration - Product data representation and exchange - Reference model for systems engineering).
________________
* Доступ к международным и зарубежным документам, упомянутым в тексте, можно получить, обратившись в Службу поддержки пользователей. - Примечание изготовителя базы данных.


При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты Российской Федерации, сведения о которых приведены в дополнительном приложении ДА

5 ВВЕДЕН ВПЕРВЫЕ


Правила применения настоящего стандарта установлены в ГОСТ Р 1.0-2012 (раздел 8). Информация об изменениях к настоящему стандарту публикуются в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.gost.ru)

Введение


Комплекс международных стандартов ИСО 10303 предназначен для представления информации о продукции и для обмена данными о продукции в компьютерно-интепретируемой электронной форме. Основной целью данного комплекса является создание нейтрального механизма, способного описывать продукцию на протяжении всего жизненного цикла. Этот механизм подходит не только для файлового обмена, но также для использования в качестве базиса с целью архивирования и распространения баз данных с информацией о продукции.

Настоящий стандарт по своему содержанию очень близок к стандартам серии ИСО 10303.

Общедоступные спецификации (PAS) определяют обмен данными и совместное использование протокола данных системного проектирования. Он определяет контекст, цели и требования для различных этапов разработки информационной системы. Настоящий стандарт может применяться для любых систем (воздушные суда, автомобили, морские суда, железнодорожный транспорт и производственные предприятия).

В контексте космической и авиационной техники, например, термин "система" включает в себя различные значения: авиационная электронная система (например, программная, навигационная, с интерфейсом человек - система); система конструкции летательного средства (например, эвакуационная для экипажа и пассажиров, производства и распределения электроэнергии, контроля за окружающей средой, управления топливными ресурсами). Выше перечислены системы, которые входят в состав более крупных информационных систем (формирование систем из подсистем), которые могут быть частью авиационной техники, наземных вспомогательных служб, систем, обеспечивающих логистическую поддержку и обучение. Подобные системы выполнены преимущественно из активных компонентов, сенсоров, дисплеев, приводных механизмов, которые соединены между собой напрямую или с помощью коммуникационных средств. Систему нельзя рассматривать как простую совокупность из отдельных компонентов; требуется обязательно принимать во внимание и контролировать поведение интегрированных компонентов и свойств системы (которые по большей части работают в реальном времени).

Следующие утверждения представляют основные преимущества в процессе системного проектирования продукции:

- высокая стоимость разработки распространяется на небольшое количество производимых единиц;

- риск в равной степени разделяется на все вовлеченные стороны;

- необходимость сокращения времени пребывания на рынке;

- включение в себя различных технологий;

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

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

Общедоступные спецификации (PAS), на которых основан настоящий стандарт, очень тесно связаны с признанными стандартами по системному проектированию [IEEE 1220], [EIA 632] и [ИСО 15288]. Системное проектирование не зависит от технологий, "горизонтальная" интеграционная дисциплина применяется к любому типу системы. Системное проектирование пересекается с техническими и аналитическими дисциплинами в течение всего жизненного цикла существования системы. С точки зрения специалистов по системному проектированию, необходимо осуществлять техническую поддержку на протяжении всего жизненного цикла продукции, а также проводить ее верификацию и валидацию. При системном проектировании необходимо учитывать двунаправленную связь между системами - участниками взаимодействия. В процессе анализа требования предъявляются как к входным, так и выходным данным.

Жизненный цикл системы может быть разделен на несколько этапов:

- оценку применимости;

- системное проектирование;

- реализацию;

- функционирование;

- техническую поддержку;

- вывод из эксплуатации.

Проектирование системы можно разделить на две части: на работу с предметной областью и на разработку самой системы. Несмотря на то что системное проектирование является наиболее важной фазой в процессе проектирования системы, также необходимо уделять пристальное внимание и другим этапам, в частности техническому предложению. Настоящий стандарт содержит требования к этапу системного проектирования для обмена данными, в особенности когда речь идет об интеграции в единый комплекс, мультидисциплинарной, многотехнологичной системе или продукции.

Настоящий стандарт определяет контекст, цель и требования к данным для обмена информацией между заинтересованными сторонами в процессе системного проектирования и конкретизирует набор сущностей и атрибутов для выполнения данных требований.

Настоящий стандарт устанавливает основу для дальнейшего развития и тестовые комплексы для проверки совместимости и возможности дальнейшего развития.

1 Область применения


Настоящий стандарт устанавливает область применения и информационные требования к проектированию систем.

Настоящий стандарт распространяется на:

- технические аспекты проектирования систем, определяющие функциональную и физическую архитектуру (что рассматриваемая система делает, как делает, и насколько хорошо она это делает);

- техническое управление проектированием: разработку календарного плана, оформление документов, сопутствующее проектирование, процедуры проверки достоверности, процедуры верификации;

- управление проектом: управление отслеживаемостью и конфигурацией системы, анализ компромиссных решений;

- промышленное управление (управление кооперацией промышленных партнеров);

- определение других систем, с которыми взаимодействует рассматриваемая система;

- контекст системы в каждой фазе ее жизненного цикла;

- поддержку методик иерархического разделения и объектно-ориентированного моделирования;

- функциональные и нефункциональные требования систем в каждой фазе жизненного цикла системы;

- определение статического и динамического поведения систем;

- фазу жизненного цикла проектирования систем;

- данные описания систем;

- данные спецификаций требований систем;

- данные, определяющие статическое поведение систем в терминах функций и потоков между функциями;

- данные, определяющие динамическое поведение систем;

- данные, определяющие физическую архитектуру;

- данные, определяющие разделение систем;

- данные, определяющие верификацию и проверку достоверности систем;

- данные, определяющие проектирование и промышленное управление;

- данные, определяющие управление конфигурацией.

Настоящий стандарт не распространяется на:

- дисциплины специалистов;

- фазы жизненного цикла проектирования;

- фазы жизненного цикла внедрения системы, управления системой, технического обслуживания системы, вывода системы из эксплуатации;

- особые данные области применения;

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

2 Нормативные ссылки


В настоящем стандарте использованы нормативные ссылки на следующие стандарты*, которые необходимо учитывать при использовании настоящего стандарта. В случае ссылок на документы, у которых указана дата утверждения, необходимо пользоваться только указанной редакцией. В случае когда дата утверждения не приведена, следует пользоваться последней редакцией ссылочных документов, включая любые поправки и изменения к ним:
_______________
* Таблицу соответствия национальных стандартов международным см. по ссылке. - Примечание изготовителя базы данных.


ИСО/МЭК 8824-1:2002 Информационные технологии. Абстрактные синтаксические обозначения. Версия 1 (ASN.1). Часть 1: Спецификация базовых обозначений (ISO/IEC 8824-1:2002 Information technology - Abstract Syntax Notation One (ASN.1): Specification of basic notation);

ИСО 10303-1:1994 Системы промышленной автоматизации и интеграция. Представление и обмен производственными данными. Часть 1: Обзор и фундаментальные принципы (ISO 10303-1:1994 Industrial automation systems and integration - Product data representation and exchange - Part 1: Overview and fundamental principles);

ИСО 10303-11:2004 Системы промышленной автоматизации и интеграция. Представление и обмен производственными данными. Часть 11: Методы описания: Описание языка EXPRESS (ISO 10303-11:2004 Industrial automation systems and integration - Product data representation and exchange - Part 11: Description methods: The EXPRESS language reference manual);

ИСО 10303-21:2002 Системы промышленной автоматизации и интеграция. Представление и обмен данных продукта. Часть 21: Методы практической реализации: Кодирование открытого текста структуры обмена (ISO 10303-21:2002 Industrial automation systems and integration - Product data representation and exchange - Part 21: Implementation methods: Clear text encoding of the exchange structure);

ИСО 10303-22:1998 Системы промышленной автоматизации и интеграция. Представление и обмен производственными данными. Часть 22: Методы практической реализации: доступ к интерфейсу для стандартных данных (ISO 10303-22:1998 Industrial automation systems and integration - Product data representation and exchange - Part 22: Implementation methods: Standard data access interface).

3 Термины и определения

3.1 Термины, определенные в ИСО 10303-1:1994


В ИСО 10303-1:1994 определены следующие термины, используемые в настоящем стандарте:

- приложение;

- объект приложения;

- модель действия приложения;

- модель, интерпретированная для приложения;

- протокол приложения;

- базовая модель приложения;

- класс соответствия;

- данные;

- обмен данными;

- информация;

- интегрированный ресурс;

- продукция;

- производственные данные;

- функциональный модуль.

3.2 Термины, определенные в работах Института прикладной математики (Institut fur Instrumentelle Mathematik) IIM-2:1962

     3.2 Термины, определенные в работах Института прикладной математики (Institut ГОСТ Р 55346-2012/ISO/PAS 20542:2006 Системы промышленной автоматизации и интеграция. Представление и обмен производственными данными. Базовая модель инженерного проектирования систем Instrumentelle Mathematik) IIM-2:1962


Нижеприведенный термин, используемый в настоящем стандарте, определен в работах Института прикладной математики IIM-2:1962:

- Сети Петри.

3.3 Прочие определения


В настоящем стандарте используются следующие термины с соответствующими определениями:

3.3.1 система (system): Упорядоченный набор элементов, людей, продуктов (устройств, программного обеспечения), а также процессов (производственных мощностей, оборудования, материалов и процедур), которые являются связанными между собой, чье поведение удовлетворяет требованиям заказчика или производственным потребностям, а также обеспечивает жизненный цикл продукции.

3.3.2 инженерное проектирование систем (systems engineering): Междисциплинарный кооперативный подход к получению, разработке и подтверждению сбалансированного обеспечения жизненного цикла системы, удовлетворяющего ожиданиям заказчика и общественным потребностям.

3.4 Аббревиатуры


Нижеследующие аббревиатуры используются в настоящем стандарте:

ААМ - модель действия приложения (Application activity model);

АР - протокол приложения (Application protocol);

ARM - ссылочная модель приложения (Application reference model);

СС - класс соответствия (Conformance class);

UoF - функциональный модуль (Unit of functionality);

URL - унифицированный указатель [информационного] ресурса (Universal resource locator);

ASCII - американский стандартный код обмена информацией (American Standard Code for Information Interchange);

cb - причинное поведение (Causal behaviour);

fsm - конечное состояние машины (Finite state machine);

N/A - неприменимый (Not applicable);

OO - объектно-ориентированный (Object oriented);

OOSE - объектно-ориентированное проектирование системы (Object oriented systems engineering);

PAS - общедоступная спецификация (Publicly Available Specification).

4 Информационные требования


В данном разделе устанавливаются информационные требования к ссылочной модели приложения для общедоступной спецификации проектирования систем.

Информационные требования приведены как набор функциональных блоков и объектов приложения. Информационные требования определены с помощью терминологии, приведенной в настоящем стандарте.

Примечание 1 - Информационные требования соответствуют действиям, идентифицированным внутри области применения протокола приложения, описанного в приложении D.

Примечание 2 - Графическое представление информационных требований приведено в приложении Е.

4.1 Функциональные модули


Данный подраздел устанавливает функциональные модули (UoFs) в рассматриваемой PAS-спецификации, а также элементы поддержки, необходимые для ее определения. Данная спецификация устанавливает следующие функциональные модули и прикладные компоненты.

- Change_Management;

- Element_Classification;

- Element_Prioritization;

- Explicit_Functional_Reference;

- Explicit_Physical_Reference;

- External_Document_Reference_Mechanism;

- Functional_Allocation;

- Functional_Behaviour_Basics;

- Functional_Behaviour_Causal_Chain;

- Functional_Behaviour_Finite_State_Machine;

- Functional_Behaviour_lnteraction;

- Functional_Hierarchy;

- Functional_Performance;

- Graphics;

- Measurement_Unit;

- OO_Behaviour;

- OO_Common;

- OO_lmplementation;

- OO_Static_Structure;

- OO_Use_Case;

- Person_Organization;

- Physical_Architecture;

- Properties;

- Relationship_Cardinality;

- Requirement_Allocation;

- Requirement_Representation;

- Requirement_Representation_lmplied_Functionality;

- Requirement_Representation_Structured_Formats;

- Structured_Text;

- System_Architecture;

- System_Validation;

- System_Verification;

- Version_Management;

- Work_Management.

В настоящем стандарте отсутствуют описания других функциональных модулей.

Функциональные модули и описания поддерживающих их функций приведены ниже.

4.1.1 Функциональный модуль Change_Management

Функциональный модуль Change_Management содержит компоненты для представления процесса внесения изменений, начиная от идентификации объектов и заканчивая созданием протокола внесения изменений.

В функциональном модуле Change_Management определены следующие прикладные компоненты:

- change_order;

- change_order_relationship;

- change_report;

- change_report_element_assignment;

- change_request;

- critical_issue;

- critical_issue_impact;

- critical_issue_relationship;

- issue_source_relationship;

- issue_system_assignment.

4.1.2 Функциональный модуль Elements_Classification

Функциональный модуль Elements_Classification содержит компоненты для представления элементов классификационных деревьев с целью предоставления набора критериев, используемых для повышения пригодности и возможности повторного использования.

В функциональном модуле Element_Classification определены следующие прикладные компоненты:

- package;

- package_classification_assignment;

- package_classification_system;

- package_element_assignment;

- package_hierarchy_relationship;

- selection_package.

4.1.3 Функциональный модуль Element_Prioritization

Функциональный модуль Element_Prioritization содержит компоненты для определения дискретного диапазона приоритетов и присвоения элементам спецификации определенных уровней приоритетности.

В функциональном модуле Element_Prioritization определены следующие прикладные компоненты:

- rank_assignment;

- rank_group;

- rank_relation;

- ranking_element;

- ranking_system.

4.1.4 Функциональный модуль Explicit_Functional_Reference

Функциональный модуль Explicit_Functional_Reference содержит компоненты для выполнения однозначных ссылок на объекты в иерархии функций.

В функциональном модуле Explicit_Functional_Reference определены следующие прикладные компоненты:

- functional_link_reference;

- functional_reference_configuration;

- functionality_instance_reference;

- functionality_reference_composition_relationship;

- functionality_reference_relationship;

- persistent_storage_equivalence_relationship;

- persistent_storage_reference.

4.1.5 Функциональный модуль Explicit_Physical_Reference

Функциональный модуль Explicit_Physical_Reference содержит элементы для выполнения однозначных ссылок на физические иерархии.

В функциональном модуле Explicit_Physical_Reference определены следующие прикладные компоненты:

- physical_instance_reference;

- physical_reference_configuration;

- physical_reference_relationship;

- system_physical_configuration.

4.1.6 Функциональный модуль External_Document_Reference_Mechanism

Функциональный модуль External_Document_Reference_Mechanism содержит объекты для ссылок на внешние документы из системной спецификации. Эти документы могут представляться в любом формате как для обработки на компьютере, так и без него.

В функциональном модуле External_Document_Reference_Mechanism определены следующие прикладные компоненты:

- digital_document;

- document_assignment;

- documentation_reference;

- documentation_relationship;

- non_digital_document;

- partial_document_assignment.

4.1.7 Функциональный модуль Functional_Allocation

Функциональный модуль Functional_Allocation содержит объекты, фиксирующие связи размещения, начиная от элементов функциональной архитектуры и заканчивая элементами физической архитектуры.

В функциональном модуле Functional_Allocation определены следующие прикладные компоненты:

- clock_reference_context_relationship;

- functional_link_allocation_relationship;

- functionality_allocation_relationship.

4.1.8 Функциональный модуль Functional_Behaviour_Basics

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

В функциональном модуле Functional_Behaviour_Basics определены следующие прикладные компоненты:

- functional_behaviour_model;

- functional_behaviour_model_assignment.

4.1.9 Функциональный модуль Functional_Behaviour_Causal_Chain

Функциональный модуль Functional_Behaviour_Causal_Chain содержит объекты, определяющие функциональное поведение, основанное на графе причинности. Данный функциональный модуль дает возможность представлять функциональные характеристики, обнаруживаемые в RDD-диаграммах поведения и ViTECH-CORE-EFFBD-диаграммах. Элементы данного функционального модуля используют расширенную систему обозначений сетей Петри.

В функциональном модуле Functional_Behaviour_Causal_Chain определены следующие прикладные компоненты:

- causal_block_bound;

- cb_firing_condition;

- cb_functional_behaviour_model;

- cb_functional_place;

- cb_functional_transition;

- cb_initial_marking;

- cb_input_relationship;

- cb_output_relationship;

- cb_place;

- cb_place_function_association;

- cb_place_reference;

- cb_transition;

- cb_transition_relationship;

- cb_transition_unbounded_weight.

4.1.10 Функциональный модуль Functional_Behaviour_Finite_State_Machine

Функциональный модуль Functional_Behaviour_Finite_State_Machine (fsm) содержит объекты, определяющие функциональное поведение автоматов с конечным числом состояний. Данный функциональный модуль включает поддержку спецификации, представленной в кодах конечных автоматов (в стиле Мура и Мили) и диаграммами состояний.

В функциональном модуле Functional_Behaviour_Finite_State_Machine определены следующие прикладные компоненты:

- formal_data_interaction_port;

- fsm_and_state;

- fsm_command_interaction_relationship;

- fsm_data_interaction_binding;

- fsm_data_interaction_relationship;

- fsm_generic_state;

- fsm_initial_state_transition;

- fsm_model;

- fsm_or_state;

- fsm_state;

- fsm_state_composition_relationship;

- fsm_state_transition;

- fsm_transient_state;

- function_reference;

- functional_state_context;

- generic_state_context;

- initial_state_transition_specification_assignment;

- name_binding;

- specification_state_assignment;

- state_context_relationship;

- state_function_interaction_port;

- state_machine_functional_behaviour_model;

- state_transition_specification_assignment.

4.1.11 Функциональный модуль Functional_Behaviour_lnteraction

Функциональный модуль Functional_Behaviour_lnteraction содержит объекты, определяющие взаимодействие между функциями, и порядок использования сигналов взаимодействия для активации и деактивации этих функций. Указанный функциональный модуль также содержит объекты, определяющие тип элемента обмениваемой информации. Данный модуль тесно связан с их функциональной иерархией в том смысле, что элементы, определенные таким образом, являются необходимым условием применения функционального модуля взаимодействия для функционального поведения.

В функциональном модуле Functional_Behaviour_lnteraction определены следующие прикладные компоненты:

- abstract_data_type_definition;

- abstract_data_type_member;

- actual_io_port;

- aggregate_data_type_definition;

- bi_directional_port_indicator;

- binary_data_type_definition;

- complex_data_type_definition;

- complex_value;

- compound_value;

- control_io_port;

- data_field;

- data_instance;

- derived_data_type_definition;

- elementary_maths_space;

- event_data_type_definition;

- finite_integer_interval;

- finite_real_interval;

- finite_space;

- formal_io_port;

- functional_link;

- functional_link_group;

- hibound_integer_interval;

- hibound_real_interval;

- integer_data_type_definition;

- integer_interval;

- io_buffer;

- io_composition_port;

- io_port;

- io_port_binding;

- lobound_integer_interval;

- lobound_real_interval;

- logical_data_type_definition;

- maths_space;

- real_data_type_definition;

- real_interval;

- record_data_type_definition;

- record_data_type_member;

- recursive_data_type_definition;

- string_data_type_definition;

- undefined_data_type_definition;

- union_data_type_definition;

- union_data_type_member;

- user_defined_data_type_definition.

4.1.12 Функциональный модуль Functional_Hierarchy

Функциональный модуль Functional_Hierarchy включает сущности, определяющие функциональное разбиение структуры системы.

В функциональном модуле Functional_Hierarchy определены следующие прикладные компоненты:

- composite_function_definition;

- function_instance;

- functional_decomposition_relationship;

- general_function_definition;

- general_functionality_instance;

- io_split_join;

- leaf_function_definition;

- persistent_storage.

4.1.13 Функциональный модуль Functional_Performance

Функциональный модуль Functional_Performance содержит объекты, представляющие временные ограничения на функциональные элементы спецификации.

В функциональном модуле Functional_Performance определены следующие прикладные компоненты:

- clock;

- clock_assignment_relationship;

- execution_time.

4.1.14 Функциональный модуль Graphics

Функциональный модуль Graphics содержит объекты, определяющие простое представление типа "узел - звено" в спецификации системы. Данный функциональный модуль упрощает приближенное формирование схемы спецификации системы.

В функциональном модуле Graphics определены следующие прикладные компоненты:

- actual_port_position;

- coordinate_translation_information;

- formal_port_position;

- graphics_link;

- graphics_node;

- graphics_point;

- graphics_view;

- multi_level_view;

- view_relationship;

- visual_element.

4.1.15 Функциональный модуль Measurement_Unit

Функциональный модуль Measurement_Unit содержит объекты, представляющие единицы измерения в спецификации.

В функциональном модуле Measurement_Unit определен следующий прикладной компонент:

- unit.

4.1.16 Функциональный модуль OO_Behaviour

Функциональный модуль OO_Behaviour содержит объекты, представляющие поведение объектно-ориентированной спецификации.

В функциональном модуле OO_Behaviour определены следующие прикладные компоненты:

- oo_action;

- oo_action_state;

- oo_action_state_transition;

- oo_action_temporal_relationship;

- oo_association_end_role;

- oo_association_role;

- oo_attribute_link_end_association;

- oo_call_action;

- oo_classifier_role;

- oo_collaboration;

- oo_create_action;

- oo_interaction;

- oo_link;

- oo_link_end;

- oo_message;

- oo_message_temporal_relationship;

- oo_reception;

- oo_send_action;

- oo_signal;

- oo_signal_behavioural_feature_relationship;

- oo_stimulus;

- oo_stimulus_argument.

4.1.17 Функциональный модуль OO_Common

Функциональный модуль OO_Common содержит объекты, общие для множества объектно-ориентированных представлений спецификации.

В функциональном модуле OO_Common определены следующие прикладные компоненты:

- oo_constraint;

- oo_constraint_model_element_relationship;

- oo_dependency;

- oo_element_import;

- oo_generalization;

- oo_instance_classifier_relationship;

- oo_model_element_stereotype_relationship;

- oo_model_element_tagged_value_relationship;

- oo_stereotype;

- oo_tagged_value;

- oo_view;

- oo_view_context_element_relationship;

- oo_view_relationship;

- oo_view_system_view_relationship.

4.1.18 Функциональный модуль OO_Implementation

Функциональный модуль OO_lmplementation содержит объекты, предназначенные для представления объектно-ориентированной системной спецификации.

В функциональном модуле OO_Implementation определены следующие прикладные компоненты:

- oo_component;

- oo_component_allocation;

- oo_element_residence.

4.1.19 Функциональный модуль OO_Static_Structure

Функциональный модуль OO_Static_Structure содержит объекты, предназначенные для представления диаграмм классов в объектно-ориентированной парадигме.

В функциональном модуле OO_Static_Structure определены следующие прикладные компоненты:

- oo_argument;

- oo_association;

- oo_association_class;

- oo_association_end;

- oo_association_end_classifier_relationship;

- oo_association_end_qualifier_association;

- oo_attribute;

- oo_attribute_instance;

- oo_behavioural_feature;

- oo_class;

- oo_interface;

- oo_method;

- oo_object;

- oo_operation;

- oo_operation_interface_association;

- oo_package;

- oo_parameter.

4.1.20 Функциональный модуль OO_Use_Case

Функциональный модуль OO_Use_Case содержит объекты, предназначенные для представления точек зрения на объектно-ориентированную спецификацию.

В функциональном модуле OO_Use_Case определены следующие прикладные компоненты:

- oo_actor;

- oo_extension;

- oo_extension_point;

- oo_inclusion;

- oo_use_case.

4.1.21 Функциональный модуль Person_Organization

Функциональный модуль Person_Organization содержит объекты, предназначенные для представления информации о персонале и его роли в организации.

В функциональном модуле Person_Organization определены следующие прикладные компоненты:

- address;

- date_and_person_assignment;

- date_and_person_organization;

- date_assignment;

- date_time;

- organization;

- organization_relationship;

- person;

- person_in_organization;

- person_organization_assignment.

4.1.22 Функциональный модуль Physical_Architecture

Функциональный модуль Physical_Architecture содержит объекты, предназначенные для представления физической архитектуры системы. Модель устанавливает абстрактный подход и не выдает никаких предположений относительно технологии или области для элементов физической архитектуры.

В функциональном модуле Physical_Architecture определены следующие прикладные компоненты:

- actual_physical_port;

- formal_physical_port;

- functional_representation_relationship;

- general_physical_definition;

- physical_binding;

- physical_composition_relationship;

- physical_connection;

- physical_instance;

- physical_link_definition;

- physical_node_definition;

- physical_port.

4.1.23 Функциональный модуль Properties

Функциональный модуль Properties содержит объекты, определяющие общий способ указания задаваемых пользователем атрибутов для широкого круга объектов в других прикладных компонентах модели. Его возможности поддерживаются из-за того, что модель не может содержать атрибуты, удовлетворяющие всем областям инженерного проектирования систем.

В функциональном модуле Properties определены следующие прикладные компоненты:

- nominal_value;

- plus_minus_bounds;

- property_assignment;

- property_definition;

- property_relationship;

- property_value;

- property_value_function;

- property_value_relationship;

- requirement_allocation_property_relationship;

- value_limit;

- value_list;

- value_range;

- value_with_unit.

4.1.24 Функциональный модуль Relationship_Cardinality

Функциональный модуль Relationship_Cardinality содержит объекты, определяющие ограниченные и неограниченные выражения для кардинальности.

В функциональном модуле Relationship_Cardinality определены следующие прикладные компоненты:

- cardinality_list;

- cardinality_range;

- infinite_cardinaIity;

- single_cardinality.

4.1.25 Функциональный модуль Requirement_Allocation

Функциональный модуль Requirement_Allocation содержит объекты, предназначенные для представления связей распределения и подконтрольности между требованиями и элементами в функциональной и физической архитектуре.

В функциональном модуле Requirement_Allocation определены следующие прикладные компоненты:

- requirement_allocation_relationship;

- specific_requirement_allocation_relationship.

4.1.26 Функциональный модуль Requirement_Representation

Функциональный модуль Requirement_Representation содержит объекты, предназначенные для представления требований к фиксации связей между ними и представлению требований различным системам. Требования представляются в текстовой форме.

В функциональном модуле Requirement_Representation определены следующие прикладные компоненты:

- effectiveness_measure;

- effectiveness_measure_assignment;

- effectiveness_measure_relationship;

- requirement_class;

- requirement_class_relationship;

- requirement_composition_relationship;

- requirement_definition;

- requirement_instance;

- requirement_occurence;

- requirement_relationship;

- requirement_relationship_input_assignment;

- requirement_relationship_resulting_relationship;

- requirement_requirement_class_assignment;

- requirement_traces_to_requirement_relationship;

- textual_requirement_definition.

4.1.27 Функциональный модуль Requirement_Representation_lmplied_Functionality

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

В функциональном модуле Requirement_Representation_lmplied_Functionality определены следующие прикладные компоненты:

- data_transfer;

- implied_external_interaction.

4.1.28 Функциональный модуль Requirement_Representation_Structured_Formats

Функциональный модуль Requirement_Representation_Structured_Formats содержит объекты, предназначенные для представления требований, выражаемых в структурированных форматах или моделях.

В функциональном модуле Requirement_Representation_Structured_Formats определены следующие прикладные компоненты:

- model_defined_requirement_definition;

- structured_requirement_definition.

4.1.29 Функциональный модуль Structured_Text

Функциональный модуль Structured_Text содержит объекты, предназначенные для представления текстовых элементов, например отдельных текстовых строк, структурированных текстовых потоков, таблиц и аннотированных на каком-либо языке текстовых элементов.

В функциональном модуле Structured_Text определены следующие прикладные компоненты:

- textual_paragraph;

- textual_section;

- textual_specification;

- textual_table.

4.1.30 Функциональный модуль System_Architecture

Функциональный модуль System_Architecture содержит объекты, предназначенные для представления системы согласно ее спецификации и положению в иерархии систем. Каждая система может описываться с использованием любого числа ее представлений в различных жизненных циклах, сценариях и режимах эксплуатации. Модуль также поддерживает представление интерфейса между системами с помощью системной модели особого вида.

Объекты для представления системы работают как коллекторы, предоставляющие строительные блоки для элементов системной спецификации, например, для представления требований, функциональной и физической архитектуры.

В функциональном модуле System_Architecture определены следующие прикладные компоненты:

- context_function_relationship;

- context_physical_relationship;

- partial_system_view;

- partial_system_view_relationship;

- requirement_relationship_context_assignment;

- requirement_system_view_assignment;

- root_requirement_system_view_assignment;

- system_composition_relationship;

- system_definition;

- system_instance;

- system_instance_relationship;

- system_instance_relationship_port;

- system_instance_replication_relationship;

- system_substitution_relationship;

- system_view;

- system_view_assignment;

- system_view_context;

- triggered_system_view_reIationship;

- verification_specification_system_view_relationship.

4.1.31 Функциональный модуль System_Validation

Функциональный модуль System_Validation содержит объекты, предназначенные для представления различных аспектов контрольной информации, формируемой в процессе инженерного проектирования системы, например, о персонале и организации (в виде текстовых элементов и комментариев).

В функциональном модуле System_Validation определены следующие прикладные компоненты:

- approval;

- approval_assignment;

- approval_person_organization;

- approval_relationship;

- assessment;

- assessment_relationship;

- justification;

- justification_relationship.

4.1.32 Функциональный модуль System_Verification

Функциональный модуль System_Verification содержит объекты, предназначенные для представления требований к методам испытаний и валидации. Элементы верификации системы могут присваиваться элементам архитектуры системы, анализа требований, прикладным компонентам функциональной и физической архитектуры.

В функциональном модуле System_Verification определены следующие прикладные компоненты:

- realized_system;

- realized_system_composition_relationship;

- verification_report_for_verification_specification;

- verification_result;

- verification_specification;

- verification_specification_allocation.

4.1.33 Функциональный модуль Version_Management

Функциональный модуль Version_Management содержит объекты, предназначенные для фиксации характера развития элементов спецификации по времени. Этот модуль является основополагающим, поскольку может использоваться во многих элементах большого числа прикладных компонентов. Он отражается в определениях конкретных объектов в каждом прикладном компоненте.

В функциональном модуле Version_Management определены следующие прикладные компоненты:

- configuration_element;

- configuration_element_relationship;

- configuration_element_version;

- configuration_element_version_relationship;

- element_identifier.

4.1.34 Функциональный модуль Work_Management

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

В функциональном модуле Work_Management определены следующие прикладные компоненты:

- effectivity;

- effectivity_assignment;

- effectivity_relationship;

- engineering_process_activity;

- engineering_process_activity_element_assignment;

- engineering_process_activity_relationship;

- project;

- project_event_reference;

- project_relationship;

- start_order;

- start_request;

- work_order;

- work_request.

4.2 Определения типов ARM-модели


В данном подразделе определены типы прикладных компонентов и приведены их описания.

4.2.1 Прикладной компонент approval_assignment_select

EXPRESS-описание:
*)
TYPE approval_assignment_select = SELECT WITH (change_report, configuration_element, configuration_element_version, critical_issue, critical_issue_impact, document_assignment, element_critical_issue_relationship, engineering_process_activity, instance_definition_select, package_element_assignment, partial_system_view_relationship, project, requirement_allocation_relationship, work_order, work_request);
END_TYPE;
(*

4.2.2 Прикладной компонент assessment_assignment_select

EXPRESS-описание:

*)
TYPE assigned_requirement_relationship_select = SELECT WITH (requirement_allocation_relationship, requirement_relationship);
END_TYPE;
(*

4.2.3 Прикладной компонент assigned_requirement_relationship_select

EXPRESS-описание:

*)
TYPE assigned_requirement_relationship_select = SELECT WITH (requirement_relationship);
END_TYPE;
(*

4.2.4 Прикладной компонент basic_identifier

EXPRESS-описание:

*)
TYPE basic_identifier = STRING;
END_TYPE;
(*

4.2.5 Прикладной компонент boolean_value

EXPRESS-описание:

*)
TYPE boolean_value = BOOLEAN;
END_TYPE;
(*

4.2.6 Прикладной компонент buffer_synchronisation_enumeration

EXPRESS-описание:

*)
TYPE buffer_synchronisation_enumeration = ENUMERATION OF (asynchronous, synchronouos);
END_TYPE;
(*

4.2.7 Прикладной компонент cardinality_association_select

EXPRESS-описание:

*)
TYPE cardinality_association_select = SELECT WITH (cardinality_list, cardinality_range, single_cardinality);
END_TYPE;
(*

4.2.8 Прикладной компонент causal_weight_select

EXPRESS-описание:

*)
TYPE causal_weight_select = SELECT WITH (cb_transition_unbounded_weight, natural_number);
END_TYPE;
(*

4.2.9 Прикладной компонент change_element_select

EXPRESS-описание:

*)
TYPE change_element_select = SELECT WITH (instance_definition_select);
END_TYPE;
(*

4.2.10 Прикладной компонент change_report_element_select

EXPRESS-описание:

*)
TYPE change_report_element_select = SELECT WITH (instance_definition_select);
END_TYPE;
(*

4.2.11 Прикладной компонент control_characters

EXPRESS-описание:

*)
TYPE control_characters = ENUMERATION OF (cr,tab);
END_TYPE;
(*

4.2.12 Прикладной компонент control_type_enumeration

EXPRESS-описание:

*)
TYPE control_type_enumeration = ENUMERATION OF
(activate, activate_deactivate);
END_TYPE;
(*

4.2.13 Прикладной компонент data_composition_select

EXPRESS-описание:

*)
TYPE data_composition_select = SELECT WITH (actual_io_port, formal_io_port, io_composition_port);
END_TYPE;
(*

4.2.14 Прикладной компонент data_direction

EXPRESS-описание:

*)
TYPE data_direction = ENUMERATION OF
(from_system, to_system);
END_TYPE;
(*

4.2.15 Прикладной компонент data_type_definition_select

EXPRESS-описание:

*)
TYPE data_type_definition_select = SELECT WITH (maths_space, user_defined_data_type_definition);
END_TYPE;
(*

4.2.16 Прикладной компонент data_type_value_select

EXPRESS-описание:

*)
TYPE data_type_value_select = SELECT WITH (boolean_value, complex_value, compound_value, integer_value, logical_value, real_value, text);
END_TYPE;
(*

4.2.17 Прикладной компонент date_assignment_select

EXPRESS-описание:

*)
TYPE date_assignment_select = SELECT WITH (approval, approval_assignment, assessment, configuration_element, configuration_element_version, configuration_element_version_relationship, context_physical_relationship, critical_issue, critical_issue_impact, document_assignment, documentation_relationship, element_critical_issue_relationship, engineering_process_activity, engineering_process_activity_element_assignment, instance_definition_select, justification, justification_relationship, package_element_assignment, partial_system_view_relationship, project, requirement_allocation_relationship, requirement_system_view_assignment, work_order, work_request);
END_TYPE;
(*

4.2.18 Прикладной компонент default_context_select

EXPRESS-описание:

*)
TYPE default_context_select = SELECT WITH (fsm_generic_state, functional_state_context);
END_TYPE;
(*

4.2.19 Прикладной компонент definition_select

EXPRESS-описание:

*)
TYPE definition_select = SELECT WITH (fsm_state, functional_state_context, general_function_definition, general_physical_definition, oo_view, system_view);
END_TYPE;
(*

4.2.20 Прикладной компонент effective_element_select

EXPRESS-описание:

*)
TYPE effective_element_select = SELECT WITH (instance_definition_select, person_organization_assignment);
END_TYPE;
(*

4.2.21 Прикладной компонент event_or_date_select

EXPRESS-описание:

*)
TYPE event_or_date_select = SELECT WITH (date_time, project_event_reference);
END_TYPE;
(*

4.2.22 Прикладной компонент external_element_select

EXPRESS-описание:

*)
TYPE external_element_select = SELECT WITH (function_instance, physical_instance);
END_TYPE;
(*

4.2.23 Прикладной компонент fsm_interaction_select

EXPRESS-описание:

*)
TYPE fsm_interaction_select = SELECT WITH (initial_state_transition_specification_assignment, specification_state_assignment, state_transition_specification_assignment);
END_TYPE;
(*

4.2.24 Прикладной компонент function_role_enumeration

EXPRESS-описание:

*)
TYPE function_role_enumeration = ENUMERATION OF (external_element, system_function);
END_TYPE;
(*

4.2.25 Прикладной компонент identifier

EXPRESS-описание:

*)
TYPE identifier = STRING;
END_TYPE;
(*

4.2.26 Прикладной компонент instance_definition_select

EXPRESS-описание:

*)
TYPE instance_definition_select = SELECT WITH (clock, clock_assignment_relationship, data_instance, documentation_reference, functionality_instance_reference, general_function_definition, general_functionality_instance, general_physical_definition, oo_model_element_select, physical_instance, physical_instance_reference, realized_systemp, requirement_definition, requirement_instance, system_instance, system_view);
END_TYPE;
(*

4.2.27 Прикладной компонент integer_value

EXPRESS-описание:

*)
TYPE integer_value = INTEGER;
END_TYPE;
(*

4.2.28 Прикладной компонент issue_source_select

EXPRESS-описание:

*)
TYPE issue_source_select = SELECT WITH (instance_definition_select);
END_TYPE;
(*

4.2.29 Прикладной компонент justification_assignment_select

EXPRESS-описание:

*)
TYPE justification_assignment_select = SELECT WITH (engineering_process_activityp, instance_definition_select, partial_system_view_relationship, requirement_allocation_relationship);
END_TYPE;
(*

4.2.30 Прикладной компонент label

EXPRESS-описание:

*)
TYPE label = STRING;
END_TYPE;
(*

4.2.31 Прикладной компонент link_select

EXPRESS-описание:

*)
TYPE link_select = SELECT WITH (cb_input_relationship, cb_output_relationship, clock_assignment_relationship, fsm_initial_state_transition, fsm_state_transition, functional_link, oo_action_staten_transition, oo_component_allocation, oo_constraint_model_element_relationship, oo_dependency, oo_element_import, oo_element_residencen, oo_extension, oo_generalization, oo_generic_association, oo_inclusion, oo_link, oo_message, oo_operation_interface_associationn, oo_signal_behavioural_feature_relationship, physical_instance);
END_TYPE;
(*

4.2.32 Прикладной компонент logical_value

EXPRESS-описание:

*)
TYPE logical_value = LOGICAL;
END_TYPE;
(*

4.2.33 Прикладной компонент natural_number

EXPRESS-описание:

*)
TYPE natural_number = INTEGER;
END_TYPE;
(*

4.2.34 Прикладной компонент node_select

EXPRESS-описание:

*)
TYPE node_select = SELECT WITH (cb_place_reference, cb_transition_relationship, clock, fsm_state, general_functionality_instance, graphics_view, oo_action, oo_action_staten, oo_actor, oo_association_class, oo_class, oo_component, oo_constraint, oo_interfaces, oo_object, oo_package, oo_send_action, oo_use_case, physical_instance, textual_paragraphn);
END_TYPE;
(*

4.2.35 Прикладной компонент oo_classifier_or_operation_select

EXPRESS-описание:

*)
TYPE oo_classifier_or_operation_select = SELECT WITH (oo_classifier_select, oo_operation);
END_TYPE;
(*

4.2.36 Прикладной компонент oo_classifier_select

EXPRESS-описание:

*)
TYPE oo_classifier_select = SELECT WITH (oo_actor, oo_class, oo_component, oo_interfaces, oo_signal, oo_use_case);
END_TYPE;
(*

4.2.37 Прикладной компонент oo_extended_classifier_select

EXPRESS-описание:

*)
TYPE oo_extended_classifier_select = SELECT WITH (oo_classifier_select, physical_instance);
END_TYPE;
(*

4.2.38 Прикладной компонент oo_extended_model_element_select

EXPRESS-описание:

*)
TYPE oo_extended_model_element_select = SELECT WITH (fsm_generic_state, generic_state_context, justification, oo_generalizable_element_select, oo_model_element_select);
END_TYPE;
(*

4.2.39 Прикладной компонент oo_feature_select

EXPRESS-описание:

*)
TYPE oo_feature_select = SELECT WITH (oo_attributen, oo_behavioural_featuree);
END_TYPE;
(*

4.2.40 Прикладной компонент oo_generalizable_element_select

EXPRESS-описание:

*)
TYPE oo_generalizable_element_select = SELECT WITH (oo_collaboration, oo_extended_classifier_select, oo_generic_association, oo_package, oo_stereotype);
END_TYPE;
(*

4.2.41 Прикладной компонент oo_instance_select

EXPRESS-описание:

*)
TYPE oo_instance_select = SELECT WITH (oo_attributen_instance, oo_extended_classifier_select, oo_object);
END_TYPE;
(*

4.2.42 Прикладной компонент oo_model_element_select

EXPRESS-описание:

*)
TYPE oo_model_element_select = SELECT WITH (oo_action, oo_constraint, oo_extension_point, oo_feature_select, oo_generic_association_end, oo_interaction, oo_link, oo_link_end, oo_message, oo_parametere, oo_relationship_select, oo_stimulus);
END_TYPE;
(*

4.2.43 Прикладной компонент oo_namespace_select

EXPRESS-описание:

*)
TYPE oo_namespace_select = SELECT WITH (oo_collaboration, oo_extended_classifier_select, oo_package);
END_TYPE;
(*

4.2.44 Прикладной компонент oo_relationship_select

EXPRESS-описание:

*)
TYPE oo_relationship_select = SELECT WITH (oo_dependency, oo_extension, oo_generalization, oo_generic_association, oo_inclusion);
END_TYPE;
(*

4.2.45 Прикладной компонент package_element_select

EXPRESS-описание:

*)
TYPE package_element_select = SELECT WITH (configuration_element, configuration_element_version, engineering_process_activityp, instance_definition_select, project);
END_TYPE;
(*

4.2.46 Прикладной компонент period_or_date_select

EXPRESS-описание:

*)
TYPE period_or_date_select = SELECT WITH (date_time, project_event_reference, value_with_unite);
END_TYPE;
(*

4.2.47 Прикладной компонент person_organization_assignment_select

EXPRESS-описание:

*)
TYPE person_organization_assignment_select = SELECT WITH (approval, approval_assignment, assessment, change_report, configuration_element, configuration_element_version, critical_issue, critical_issue_impact, document_assignment, element_critical_issue_relationship, engineering_process_activityp, instance_definition_select, justification, justification_relationship, package_element_assignment, partial_system_view_relationship, project, requirement_allocation_relationship, requirement_system_view_assignment, work_ordert);
END_TYPE;
(*

4.2.48 Прикладной компонент person_organization_select

EXPRESS-описание:

*)
TYPE person_organization_select = SELECT WITH (organization, person_in_organization);
END_TYPE;
(*

4.2.49 Прикладной компонент physical_element_role_enumeration

EXPRESS-описание:

*)
TYPE physical_element_role_enumeration = ENUMERATION OF
(external_element, system_element);
END_TYPE;
(*

4.2.50 Прикладной компонент port_data_relation

EXPRESS-описание:

*)
TYPE port_data_relation = ENUMERATION OF
(consumer, producer);
END_TYPE;
(*

4.2.51 Прикладной компонент port_position_select

EXPRESS-описание:

*)
TYPE port_position_select = SELECT WITH (io_port, oo_generic_association_end, oo_link_end, physical_port);
END_TYPE;
(*

4.2.52 Прикладной компонент port_type

EXPRESS-описание:

*)
TYPE port_type = ENUMERATION OF
(control, input, mechanism, output);
END_TYPE;
(*

4.2.53 Прикладной компонент property_assignment_select

EXPRESS-описание:

*)
TYPE property_assignment_select = SELECT WITH (data_instance, documentation_reference, functionality_instance_reference, general_function_definition, general_physical_definition, oo_model_element_select, package, physical_instance_reference, realized_systemp, requirement_definition, system_view);
END_TYPE;
(*

4.2.54 Прикладной компонент property_value_select

EXPRESS-описание:

*)
TYPE property_value_select = SELECT WITH (boolean_value, text_select, value_list, value_with_unite);
END_TYPE;
(*

4.2.55 Прикладной компонент ranked_element_select

EXPRESS-описание:

*)
TYPE ranked_element_select = SELECT WITH (critical_issue_impact, effectiveness_measure, instance_definition_select);
END_TYPE;
(*

4.2.56 Прикладной компонент ranking_type

EXPRESS-описание:

*)
TYPE ranking_type = ENUMERATION OF (cost, criticality, priority, project_criticality);
END_TYPE;
(*

4.2.57 Прикладной компонент real_value

EXPRESS-описание:

*)
TYPE real_value = REAL;
END_TYPE;
(*

4.2.58 Прикладной компонент requirement_allocation_select

EXPRESS-описание:

*)
TYPE requirement_allocation_select = SELECT WITH (data_instance, functional_link_reference, functionality_instance_reference, functionality_reference_relationship, oo_model_element_select, physical_instance_reference);
END_TYPE;
(*

4.2.59 Прикладной компонент single_cardinality_select

EXPRESS-описание:

*)
TYPE single_cardinalityyy_select = SELECT WITH (infinite_cardinaIity, natural_number);
END_TYPE;
(*

4.2.60 Прикладной компонент specific_element_select

EXPRESS-описание:

*)
TYPE specific_element_select = SELECT WITH (cb_place, fsm_generic_state);
END_TYPE;
(*

4.2.61 Прикладной компонент specification_element_select

EXPRESS-описание:

*)
TYPE specification_element_select = SELECT WITH (change_report, critical_issue, critical_issue_impact, instance_definition_select);
END_TYPE;
(*

4.2.62 Прикладной компонент system_select

EXPRESS-описание:

*)
TYPE system_select = SELECT WITH (s system_instance, system_view);
END_TYPE;
(*

4.2.63 Прикладной компонент text

EXPRESS-описание:

*)
TYPE text = STRING;
END_TYPE;
(*

4.2.64 Прикладной компонент text_elements

EXPRESS-описание:

*)
TYPE text_elements = SELECT WITH (control_characters, text);
END_TYPE;
(*

4.2.65 Прикладной компонент text_select

EXPRESS-описание:

*)
TYPE text_select = SELECT WITH (text, textual_paragraphn, textual_section, textual_table);
END_TYPE;
(*

4.2.66 Прикладной компонент timing_type

EXPRESS-описание:

*)
TYPE timing_type = ENUMERATION OF (best_case, nominal_case, worst_case);
END_TYPE;
(*

4.2.67 Прикладной компонент trigger_type_enumeration

EXPRESS-описание:

*)
TYPE trigger_type_enumeration = ENUMERATION OF (flank, level);
END_TYPE;
(*

4.2.68 Прикладной компонент verification_allocation_select

EXPRESS-описание:

*)
TYPE verification_allocation_select = SELECT WITH (functionality_instance_reference, physical_instance_reference, realized_systemp, requirement_instance, s system_instance);
END_TYPE;
(*

4.3 Определения прикладных компонентов ARM-модели


В данном подразделе определены прикладные компоненты настоящего стандарта. При этом каждый из прикладных компонентов является элементом, который содержит уникальное прикладное понятие и атрибуты, определяющие элементы данных для соответствующего компонента. Все прикладные компоненты и их определения приведены ниже.

4.3.1 Прикладной компонент abstract_data_type_definition

Прикладной компонент abstract_data_type_definition принадлежит к тому же типу, что и прикладной компонент user_defined_data_type_definition, который может принимать следующие значения: любой, все или отсутствие элементов.

EXPRESS-описание:

*)
ENTITY abstract_data_type_definition
SUBTYPE OF (user_defined_data_type_definition);
END_ENTITY;
(*

4.3.2 Прикладной компонент abstract_data_type_member

Прикладной компонент abstract_data_type_member определяет взаимосвязь между прикладными компонентами abstract_data_type_definition и data_instance, содержащимися в нем. Элементы прикладного компонента abstract_data_type_definition независимы друг от друга.

EXPRESS-описание:

*)
ENTITY abstract_data_type_member;
child: data_instance;
parent: abstract_data_type_definition;
END_ENTITY;
(*

Определения атрибутов:

Атрибут child: Этот атрибут определяет прикладной компонент data_instance в указанной взаимосвязи.

Атрибут parent: Этот атрибут определяет прикладной компонент abstract_data_type_definition в указанной взаимосвязи.

4.3.3 Прикладной компонент actual_io_port

Прикладной компонент actual_io_port принадлежит к тому же типу, что и прикладной компонент io_port и элемент интерфейса прикладного компонента general_functionality_instance. Прикладной компонент actual_io_port определяет входной или выходной параметр для ссылочного прикладного компонента general_functionality_instance посредством атрибута port_of.

Примечание - Порты для информационных потоков классифицируются в соответствии с тремя нижеприведенными критериями модели данных

1. Является ли данный порт формальным (закрепленным за типом прикладного компонента general_function_definition) или фактическим (закрепленным за типом прикладного компонента general_functionality_instance).

2. Является ли данный порт входным или выходным.

3. Является ли данный порт информационным или контрольным (информационный порт служит для передачи данных, тогда как контрольный порт предназначен для передачи командных данных, например запуска, останова, приостановки, возобновления и т.п.). Этот вид порта ниже будет определен в прикладном компоненте control_io_port.

Согласно приведенной классификации назначение порта может быть получено в зависимости от объектов flow, имеющихся на этом порте. При этом порт может либо "потреблять" входные/выходные данные (данные в информационном потоке, поступающие на порт), либо "формировать" подобные данные (данные в информационном потоке, поступающие из порта).

Например, прикладной компонент formal_io_port, чьим атрибутом направления потока данных является input, будет формировать данные, тогда как прикладной компонент actual_io_port, чьим атрибутом направления потока является input, будет потреблять данные. В модели данных эта информация определяется с помощью предоставляемого атрибута role.

Указанный атрибут используется для гарантии того, что входные/выходные информационные объекты будут предоставляться должным образом (т.е. они должны иметь одного поставщика и одного потребителя), а также того, что прикладные компоненты io_port_binding будут применяться только к портам, для которых прикладной компонент actual_port в связке будет относиться к поставщику информации, а прикладной компонент formal_port в этой же связке - к потребителю информации.

EXPRESS-описание:

*)
ENTITY actual_io_port
SUBTYPE OF (io_port);
port_of: general_functionality_instance;
DERIVE
SELF\io_port. RENAMED role: port_data_relation: determineactualportrole(SELF);
INVERSE
assigned_buffer: SET[0:1] OF io_buffer FOR assigned_to;
UNIQUE
UR1: port_of, io_port_number, port_type;
END_ENTITY;
(*

Определения атрибутов:

Атрибут port_of: Этот атрибут определяет прикладной компонент general_functionality_instance, для которого этот атрибут является частью компонента.

Атрибут role: Этот атрибут определяет поставщика или потребителя информации.

Атрибут assigned_buffer: Этот атрибут определяет прикладной компонент actual_io_port, за которым закрепляется прикладной компонент io_buffer.

Формальные выражения:

UR1:

4.3.4 Прикладной компонент actual_physical_port

Прикладной компонент actual_physical_port принадлежит тому же типу, что и прикладной компонент physical_port, и представляет элемент в интерфейсе прикладного компонента physical_instance. Направление передачи входных/выходных данных с помощью этого интерфейса не определяется прикладным компонентом actual_physical_port.

EXPRESS-описание:

*)
ENTITY actual_physical_port
SUBTYPE OF (physical_port);
port_of: physical_instance;
END_ENTITY;
(*

Определение атрибута:

Атрибут port_of: Этот атрибут определяет прикладной компонент physical_instance, для которого этот атрибут является частью интерфейса.

4.3.5 Прикладной компонент actual_port_position

Прикладной компонент actual_port_position принадлежит к тому же типу, что и прикладной компонент visual_element и является графическим представлением положения прикладного компонента actual_io_port или actual_physical_port. Это положение представляется с помощью прикладного компонента graphics_point, поскольку фактический порт может занимать множество различных положений (объектом на порте может быть физически протяженный объект, например прямоугольник, а не одиночная точка). Прикладной компонент actual_port_position должен указывать положение на границе прикладного компонента graphics_node для объекта на связанном с ним порте.

Примечание - Данное правило на языке EXPRESS не формализовано.


EXPRESS-описание:

*)
ENTITY actual_port_position
SUBTYPE OF (visual_element);
assigned_to: graphics_node;
position: graphics_point;
positioned_port: port_position_select;
END_ENTITY;
(*

Определения атрибутов:

Атрибут assigned_to: Этот атрибут определяет прикладной компонент graphics_node, который обеспечивает визуальное представление информации для прикладного компонента actual_port_position.

Атрибут position: Этот атрибут визуально характеризует расположение порта.

Атрибут positioned_port: Этот атрибут определяет порт, для которого действительна визуальная информация о расположении порта.

4.3.6 Прикладной компонент address

Прикладной компонент address определяет адрес прикладного компонента person или organization. Все атрибуты прикладного компонента address являются необязательными, однако этот компонент должен иметь по крайней мере один ненулевой атрибут.

Примечание - Этот прикладной компонент непосредственно заимствуется из PDM-схемы и, возможно, извлекается из ARM-модели.


EXPRESS-описание:

*)
ENTITY address;
country: OPTIONAL label;
electronic_mail_address: OPTIONAL label;
facsimile_number: OPTIONAL label;
internal_location: OPTIONAL label;
postbox_number: OPTIONAL label;
postcode: OPTIONAL label;
region: OPTIONAL label;
street: OPTIONAL label;
street_number: OPTIONAL label;
telephone_number: OPTIONAL label;
telex_number: OPTIONAL label;
town: OPTIONAL label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут country: Этот атрибут определяет страну, связанную с прикладным компонентом address.

Атрибут electronic_mail_address: Этот атрибут определяет электронный адрес, связанный с данным прикладным компонентом address.

Атрибут facsimile_number: Этот атрибут определяет факс, связанный с данным прикладным компонентом address.

Атрибут internal_location: Этот атрибут устанавливает определенное местоположение объекта в прикладном компоненте address.

Пример 1 - Атрибутом internal_location может быть номер комнаты или этаж в здании.

Атрибут postbox_number: Этот атрибут определяет почтовый ящик, связанный с данным прикладным компонентом address.

Атрибут postcode: Этот атрибут определяет почтовый индекс, связанный с данным прикладным компонентом address.

Атрибут region: Этот атрибут определяет регион, связанный с данным прикладным компонентом address.

Атрибут street: Этот атрибут определяет улицу, связанную с данным прикладным компонентом address.

Атрибут street_number: Этот атрибут определяет номер улицы, связанный с данным прикладным компонентом address.

Атрибут telephone_number: Этот атрибут определяет номер телефона, связанный с данным прикладным компонентом address.

Атрибут telex_number: Этот атрибут определяет номер телекса, связанный с данным прикладным компонентом address.

Атрибут town: Этот атрибут определяет город, связанный с данным прикладным компонентом address.

4.3.7 Прикладной компонент aggregate_data_type_definition

Прикладной компонент aggregate_data_type_definition принадлежит к тому же типу, что и прикладной компонент user_defined_data_type_definition, и содержит перечень (перечни) значений.

EXPRESS-описание:

*)
ENTITY aggregate_data_type_definition
SUBTYPE OF (user_defined_data_type_definition);
aggregate_type: data_type_definition_select;
bound: LIST[1:?] OF integer_interval;
END_ENTITY;
(*

Определения атрибутов:

Атрибут aggregate_type: Этот атрибут определяет значения, которые может принимать каждый элемент в перечне.

Атрибут bound: Этот атрибут определяет упорядоченное множество элементов прикладного компонента aggregate_data_type_definition. Предполагается, что с целью присвоения составных значений они будут сохраняться в виде строки.

4.3.8 Прикладной компонент approval

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

Примечание 1 - Это необходимо согласовать для применимости текста.

Примечание 2 - Данный прикладной компонент заимствован из PDM-схемы.


EXPRESS-описание:

*)
ENTITY approval;
level: OPTIONAL label;
status: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут level: Этот атрибут определяет вид операции, которая может выполняться и предоставляться с помощью прикладного компонента approval. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние disposition: утвержденный объект утвержден и для серийной продукции;

- состояние equipment order: утвержденный объект достиг состояния, при котором изменениям будет подвергаться определенный процесс и оборудование, необходимое для производства (которые могут заказываться);

- состояние planning: утвержденный объект является технически законченным и достигшим достаточной стабильности, на базе которого могут основываться другие конструкции.

Атрибут status: Этот атрибут определяет утверждение, сделанное относительно производственных данных в рамках данного прикладного компонента approval.

4.3.9 Прикладной компонент approval_assignment

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

EXPRESS-описание:

*)
ENTITY approval_assignment;
assigned_approval: approval;
assigned_to: approval_assignment_select;
description: OPTIONAL text_select;
status: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут assigned_approval: Этот атрибут определяет присвоенный прикладной компонент approval.

Атрибут assigned_to: Этот атрибут определяет элемент системной инженерной спецификации, для которого действителен прикладной компонент approval_assignment.

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту approval_assignment.

Атрибут status: Этот атрибут определяет утверждение, сделанное относительно элемента системной инженерной спецификации в рамках данного прикладного компонента approval_assignment.

4.3.10 Прикладной компонент approval_person_organization

Прикладной компонент approval_person_organization определяет взаимосвязь между прикладным компонентом approval и юридическим лицом, связанным с утверждением данных. Семантика этой взаимосвязи будет определена ниже с помощью атрибута role.

EXPRESS-описание:

*)
ENTITY approval_person_organization;
authorized_approval: approval;
person_organization: person_organization_select;
role: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут authorized_approval: Этот атрибут определяет утверждение, сделанное для прикладного компонента approval_person_organization.

Атрибут person_organization: Этот атрибут определяет юридический орган, связанный с прикладным компонентом approval_person_organization.

Атрибут role: Этот атрибут определяет семантику прикладного компонента approval_person_organization.

Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние project responsible: утверждающее лицо будет нести ответственность за проект, с которым связана системная спецификация на элементы;

- состояние verification responsible: утверждающее лицо будет нести ответственность за верификацию системной спецификации на элементы.

4.3.11 Прикладной компонент approval_relationship

Прикладной компонент approval_relationship определяет взаимосвязь между двумя прикладными компонентами approval.

Примечание - Для определения семантики указанной взаимосвязи необходимо вводить атрибут.


EXPRESS-описание:

*)
ENTITY approval_relationship;
description: OPTIONAL text_select;
related_approval: approval;
relating_approval: approval;
relation_type: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту approval_relationship.

Атрибут related_approval: Этот атрибут определяет второй прикладной компонент approval в указанной взаимосвязи.

Атрибут relating_approval: Этот атрибут определяет первый прикладной компонент approval в указанной взаимосвязи.

Атрибут relation_type: Этот атрибут определяет тип прикладного компонента approval_relationship.

4.3.12 Прикладной компонент assessment

Прикладной компонент assessment определяет оценку состояния элемента в системной инженерной спецификации в процессе ее разработки. Семантика этой оценки содержится в атрибуте assessment_type.

EXPRESS-описание:

*)
ENTITY assessment;
assessed_level: label;
assessment_type: label;
assigned_to: assessment_assignment_select;
description: OPTIONAL text_select;
END_ENTITY;
(*

Определения атрибутов:

Атрибут assessed_level: Этот атрибут определяет оценочное значение.

Атрибут assessment_type: Этот атрибут определяет тип и назначение проводимой оценки. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние maturity: прикладной компонент assessment характеризует оценку готовности элемента;

- состояние completeness: прикладной компонент assessment характеризует оценку уровня законченности присвоенного элемента;

- состояние risk: прикладной компонент assessment характеризует оценку проектного риска, связанного с присвоенным элементом;

- состояние stability: прикладной компонент assessment характеризует оценку стабильности присвоенного элемента.

Атрибут assigned_to: Этот атрибут определяет элемент системной инженерной спецификации, для которого действителен прикладной компонент assessment.

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту assessment.

4.3.13 Прикладной компонент assessment_relationship

Прикладной компонент assessment_relationship определяет взаимосвязь между двумя прикладными компонентами assessment. Семантика этой взаимосвязи содержится в атрибуте relationship_type.

EXPRESS-описание:

*)
ENTITY assessment_relationship;
description: OPTIONAL text_select;
related: assessment;
relating: assessment;
relationship_type: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту assessment_relationship.

Атрибут related (связанный): Этот атрибут определяет второй из двух прикладных компонентов assessment в указанной взаимосвязи.

Атрибут relating (связывающий): Этот атрибут определяет первый из двух прикладных компонентов assessment в указанной взаимосвязи.

Атрибут relationship_type: Этот атрибут определяет семантику прикладного компонента assessment_relationship. Там, где это применимо, должны использоваться следующие состояния (значения):

- состояние replacement: связывающий прикладной компонент assessment заменяет связанный прикладной компонент assessment;

- состояние conflict: связывающий прикладной компонент assessment идентифицируется как вступающий в конфликт со связанным прикладным компонентом assessment;

- состояние complement: связывающий прикладной компонент assessment идентифицируется как дополнительный к связанному прикладному компоненту assessment.

4.3.14 Прикладной компонент bi_directional_port_indicator

Прикладной компонент bi_directional_port_indicator определяет связь между двумя прикладными компонентами io_port, которые принимают и формируют один и тот же прикладной компонент data_instance object.

Примечание 1 - Прикладной компонент bi_directional_port_indicator определяет способ представления двунаправленных портов с использованием пары прикладных компонентов io_port. Атрибуты consuming_port и producing_port должны идентифицировать один и тот же прикладной компонент data_instance посредством атрибута data. Кроме того, прикладной компонент io_port, определяемый с помощью атрибута producing_port, должен формировать прикладные компоненты data_instance, а прикладной компонент io_port, определяемый с помощью атрибута consuming_port - формировать прикладные компоненты data_instance.

Примечание 2 - Атрибут port_of обоих прикладных компонентов io_port в прикладном компоненте bi_directional_port_indicator должен объединяться с тем же функциональным объектом, который должен быть либо прикладным компонентом general_functionality_instance, либо прикладным компонентом general_function_definition.

EXPRESS-описание:

*)
ENTITY bi_directional_port_indicator;
consuming_port: io_port;
producing_port: io_port;
END_ENTITY;
(*

Определения атрибутов:

Атрибут consuming_port: Этот атрибут определяет прикладной компонент io_port в прикладном компоненте bi_directional_port_indicator, который идентифицирует порт, принимающий данные.

Атрибут producing_port: Этот атрибут определяет прикладной компонент io_port в прикладном компоненте bi_directional_port_indicator, который идентифицирует порт, выдающий данные.

4.3.15 Прикладной компонент binary_data_type_definition

Прикладной компонент binary_data_type_definition принадлежит к тому же типу, что и прикладной компонент elementary_maths_space, и содержит значения от 0 до 2n - 1, где n - это размер (или число битов) для этого типа данных.

Примечание - Нередки такие случаи с сигналами на шине данных, когда ряд сегментов с информацией упаковывается в одно слово.


Пример 2 - Слово из восьми бит разбивают для передачи четырех сегментов с информацией о насосе.

- Биты 1-3 идентифицируют насос (система содержит 8 насосов, пронумерованных цифрами от 0 до 7).

- Биты 4-6 переносят информацию о состоянии насоса (насос может иметь 8 состояний, пронумерованных цифрами от 0 до 7).

- Бит 7 указывает направление нагнетания насоса (состояние 0 - вперед, состояние 1 - назад),

- Бит 8 указывает состояние насоса (вкл/выкл) (состояние 0 - выкл, состояние 1 - вкл).

Группа битов не объединяется. Биты формируют единственное значение и занимают определенную позицию в слове. Обычно отправитель и получатель данных используют битовые маски для работы с частями данных в каком-либо слове.

EXPRESS-описание:

*)
ENTITY binary_data_type_definition
SUBTYPE OF (elementary_maths_space);
size: finite_integer_interval;
END_ENTITY;
(*

Определение атрибута:

Атрибут size: Этот атрибут определяет конечный интервал, который определяет максимальную длину прикладного компонента binary_data_type_definition.

4.3.16 Прикладной компонент boolean_data_type_definition

Прикладной компонент boolean_data_type_definition принадлежит к тому же типу, что и прикладной компонент elementary_maths_space, и принимает состояние TRUE или FALSE.

EXPRESS-описание:

*)
ENTITY boolean_data_type_definition
SUBTYPE OF (elementary_maths_space);
END_ENTITY;
(*

4.3.17 Прикладной компонент cardinality_list

Прикладной компонент cardinality_list определяет действующий диапазон значений.

EXPRESS-описание:

*)
ENTITY cardinality_list;
range: LIST[2:?] OF cardinality_range;
END_ENTITY;
(*

Определение атрибута:

Атрибут range: Этот атрибут определяет неперекрывающийся перечень прикладных компонентов cardinality_range в строго возрастающем порядке, который указывает действующие интервалы для прикладного компонента cardinality_list.

4.3.18 Прикладной компонент cardinality_range

Прикладной компонент cardinality_range представляет собой пару значений, определяющих нижнюю и верхнюю границы их интервала. Значение для атрибута lower_bound должно быть меньше или равно значению атрибута higher_bound. Область значений для атрибутов состоит из натуральных чисел.

EXPRESS-описание:

*)
ENTITY cardinality_range;
lower_bound: single_cardinality;
upper_bound: single_cardinality;
END_ENTITY;
(*

Определения атрибутов:

Атрибут lower_bound: Этот атрибут определяет нижнюю границу интервала значений.

Атрибут upper_bound: Этот атрибут определяет верхнюю границу интервала значений.

4.3.19 Прикладной компонент causal_block_bound

Прикладной компонент causal_block_bound определяет взаимосвязь между двумя прикладными компонентами cb_transition_relationship и указывает область фрагмента в прикладном компоненте cb_functional_behaviour_model.

Примечание - Этот прикладной компонент является расширением математического описания сетей Петри, который необходим для правильного представления параллельных и условных ветвей в причинно-следственной модели.

EXPRESS-описание:

*)
ENTITY causal_block_bound;
initial_transition: cb_transition_relationship;
terminal_transition: cb_transition_relationship;
END_ENTITY;
(*

Определения атрибутов:

Атрибут initial_transition: Этот атрибут определяет исходный прикладной компонент cb_transition_relationship в модуле.

Атрибут terminal_transition: Этот атрибут определяет конечный прикладной компонент cb_transition_relationship в модуле.

4.3.20 Прикладной компонент cb_completion_alternative

Прикладной компонент cb_completion_alternative дает представление конечного прикладного компонента cb_functional_place для обеспечения потока данных в прикладном компоненте cb_functional_behaviour_model. Конечный прикладной компонент cb_functional_place в модели поведения идентифицируется с помощью атрибута final_model_element. В тех случаях, когда существует два и более конечных прикладных компонента cb_functional_place (где каждый из них является исполняемым потоком данных), должен существовать один прикладной компонент cb_completion_alternative, характеризующий каждый из потоков.

Примечание - Прикладной компонент cb_completion_alternative вводится для преобразования множества выходных условий из декомпозируемой функции в соответствующие выходные условия.


EXPRESS-описание:

*)
ENTITY cb_completion_alternative;
completes_model: cb_functional_behaviour_model;
final_model_element: cb_functional_place;
END_ENTITY;
(*

Определения атрибутов:

Атрибут completes_model: Этот атрибут определяет прикладной компонент cb_functional_behaviour_model, для которого данный атрибут определяет состояние выхода.

Атрибут final_model_element: Этот атрибут определяет прикладной компонент cb_functional_place, который является последним в выполняемом (исполняемом) потоке данных для прикладного компонента cb_functional_behaviour_model.

4.3.21 Прикладной компонент cb_completion_alternative_mapping

Прикладной компонент cb_completion_alternative_mapping определяет связь прикладного компонента cb_completion_alternative разделенной функции эквивалентного прикладного компонента cb_functional_place на один уровень исполнения выше.

Примечание - Прикладной компонент cb_completion_alternative_mapping определяет преобразование прикладного компонента cb_completion_alternative прикладного компонента cb_functional_behaviour_model в прикладной компонент cb_functional_transition. Семантика состоит в выборе окончательного альтернативного варианта сложной функции, которая должна интерпретироваться как выбор прикладного компонента cb_functional_transition, на уровне на один выше в иерархии.


EXPRESS-описание:

*)
ENTITY cb_completion_alternative_mapping;
child_completion_criterion: cb_completion_alternative;
equivalent_transition: cb_functional_transition;
scope: cb_place_function_association;
END_ENTITY;
(*

Определения атрибутов:

Атрибут child_completion_criterion: Этот атрибут определяет прикладной компонент cb_completion_alternative в прикладном компоненте cb_completion_alternative_mapping.

Атрибут equivalent_transition: Этот атрибут определяет прикладной компонент cb_functional_transition, для которого прикладной компонент child_completion_criterion преобразуется с помощью прикладного компонента cb_completion_alternative_mapping.

Атрибут scope: Этот атрибут определяет прикладной компонент cb_place_function_association прикладного компонента cb_completion_alternative_mapping.

4.3.22 Прикладной компонент cb_firing_condition

Прикладной компонент cb_firing_condition представляет собой спецификацию условий, которые должны выполняться для инициализации перехода к прикладному компоненту cb_functional_behaviour_model.

Примечание - Прикладной компонент cb_firing_condition связывается с прикладным компонентом cb_output_relationship, который предшествует прикладному компоненту cb_transition и который должен инициализироваться при выполнении поставленного условия.


EXPRESS-описание:

*)
ENTITY cb_firing_condition;
condition_definition: textual_specification;
guarded_transition: cb_transition;
END_ENTITY;
(*

Определения атрибутов:

Атрибут condition_definition: Этот атрибут определяет условие, которое должно выполняться для инициализации перехода.

Атрибут guarded_transition: Этот атрибут определяет прикладной компонент cb_output_relationship, для которого применим прикладной компонент cb_transition.

4.3.23 Прикладной компонент cb_functional_behaviour_model

Прикладной компонент cb_functional_behaviour_model принадлежит к тому же типу, что и прикладной компонент functional_behaviour_model, а модель представления определяет частичное функциональное упорядочивание, например функциональную последовательность, взаимосовместимость или ветвление среди функций.

Примечание 1 - При присвоении прикладного компонента composite_function_definition функциональное представление определяется с помощью модели функционального взаимодействия для прикладных компонентов composite_function_definition и cb_functional_behaviour_model в их сочетании.

Примечание 2 - Компоновочные модули прикладного компонента cb_functional_behaviour_model эквивалентны таковым для сетей Петри. Они создаются из прикладных компонентов cb_place, cb_transition, cb_input_relationship и cb_output_relationship.


EXPRESS-описание:

*)
ENTITY cb_functional_behaviour_model
SUBTYPE OF (functional_behaviour_model);
model_boundedness: label;
model_type: label;
INVERSE
constituent_places: SET[1:?] OF cb_functional_place FOR behaviour_model;
constituent_transitions: SET[2:?] OF cb_functional_transition FOR behaviour_model;
END_ENTITY;
(*

Определения атрибутов:

Атрибут model_boundedness: Этот атрибут определяет условие, накладываемое на максимальное число знаков, допускаемых в каждом прикладном компоненте cb_place прикладного компонента cb_functional_behaviour_model.

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


Атрибут model_type: Этот атрибут определяет тип модели представления, которая реализуется с помощью прикладных компонентов cb_functional_behaviour_model и composite_function_definition.

Атрибут constituent_places: Этот атрибут определяет прикладной компонент cb_functional_behaviour_model, частью которого является прикладной компонент cb_functional_place.

Атрибут constituent_transitions: Этот атрибут определяет прикладной компонент cb_functional_behaviour_model, частью которого является прикладной компонент cb_functional_transition.

4.3.24 Прикладной компонент cb_functional_place

Прикладной компонент cb_functional_place принадлежит тому же типу, что и прикладной компонент cb_place и специализирован на фиксации статических состояний прикладного компонента functional_behaviour_model.

Примечание - Спецификация на причинно-следственное представление формируется путем соединения прикладных компонентов cb_functional_place и cb_functional_transition с помощью прикладных компонентов cb_input_relationship и cb_output_relationship. Необходимость соединения нескольких прикладных компонентов cb_output_relationship с прикладным компонентом cb_functional_transition будет означать, что он становится первым элементом в параллельной ветви в спецификации на представление.

Необходимость присоединения нескольких прикладных компонентов cb_input_relationship к прикладному компоненту cb_functional_transition будет означать, что параллельная ветвь будет прерываться. Альтернативные ветви могут определяться путем присвоения нескольких прикладных компонентов cb_output_relationship единственному прикладному компоненту cb_functional_place. Аналогично прерывание альтернативных потоков данных может задаваться путем объединения нескольких прикладных компонентов cb_input_relationship в единственный прикладной компонент cb_functional_place.


EXPRESS-описание:

*)
ENTITY cb_functional_place
SUBTYPE OF (cb_place);
behaviour_model: cb_functional_behaviour_model;
INVERSE
reference_information: SET[0:1] OF cb_place_reference FOR functional_place_reference;
END_ENTITY;
(*

Определения атрибутов:

Атрибут behaviour_model: Этот атрибут определяет прикладной компонент cb_functional_behaviour_model, частью которого является прикладной компонент cb_functional_place.

Атрибут reference_information: Этот атрибут определяет прикладной компонент cb_functional_place, для которого определен прикладной компонент cb_place_reference.

4.3.25 Прикладной компонент cb_functional_transition

Прикладной компонент cb_functional_transition принадлежит к тому же типу, что и прикладной компонент cb_transition и специализирован для определения изменяемого узла (точки) в прикладном компоненте cb_functional_behaviour_model.

Примечание - Спецификация на причинно-следственное представление формируется путем соединения прикладных компонентов cb_functional_place и cb_functional_transition с помощью прикладных компонентов cb_input_relationship и cb_output_relationship. Необходимость объединения нескольких прикладных компонентов cb_output_relationship с прикладным компонентом cb_functional_transition будет означать, что он станет первым элементом на параллельной ветви в спецификации.


Необходимость объединения нескольких прикладных компонентов cb_input_relationship с прикладным компонентом cb_functional_transition будет означать, что параллельная ветвь будет прерываться. Альтернативные ветви могут определяться путем присвоения нескольких прикладных компонентов cb_output_relationship единственному прикладному компоненту cb_functional_place. Аналогично прерывание альтернативных потоков данных может задаваться путем объединения нескольких прикладных компонентов cb_input_relationship в единственный прикладной компонент cb_place.

EXPRESS-описание:

*)
ENTITY cb_functional_transition
SUBTYPE OF (cb_transition);
behaviour_model: cb_functional_behaviour_model;
INVERSE
transition_relationship: SET[0:1] OF cb_transition_relationship FOR related_transition;
END_ENTITY;
(*

Определения атрибутов:

Атрибут behaviour_model: Этот атрибут определяет прикладной компонент cb_functional_behaviour_model, частью которого является прикладной компонент cb_functional_transition.

Атрибут transition_relationship: Этот атрибут определяет набор прикладных компонентов cb_transition, которые включаются в прикладной компонент cb_functional_transition.

4.3.26 Прикладной компонент cb_initial_marking

Прикладной компонент cb_initial_marking используется для указания того, что прикладной компонент cb_place в прикладном компоненте cb_functional_behaviour_model является исходным условием для модели поведения.

EXPRESS-описание:

*)
ENTITY cb_initial_marking;
marked_place: cb_place;
number_of_tokens: INTEGER;
END_ENTITY;
(*

Определения атрибутов:

Атрибут marked_place: Этот атрибут указывает на то, что прикладной компонент cb_place является частью исходного условия для прикладного компонента cb_functional_behaviour_model.

Атрибут number_of_tokens: Этот атрибут определяет число знаков, присваиваемых атрибуту marked_place.

4.3.27 Прикладной компонент cb_input_relationship

Прикладной компонент cb_input_relationship определяет однонаправленную связь от прикладного компонента cb_place к прикладному компоненту cb_transition, указывающую на причинно-следственное ограничительное условие, накладываемое на прикладные компоненты cb_place и cb_transition.

Примечание 1 - Атрибут causal_weight определяет число знаков, необходимых для инициализации перехода.

Примечание 2 - По установившейся в сетях Петри терминологии прикладной компонент cb_input_relationship соответствует входной дуге.


EXPRESS-описание:

*)
ENTITY cb_input_relationship;
causal_weight: causal_weight_select;
destination_transition: cb_transition;
source_place: cb_place;
END_ENTITY;
(*

Определения атрибутов:

Атрибут causal_weight: Этот атрибут определяет число знаков в прикладном компоненте cb_place, которое необходимо для инициализации перехода. Атрибут causal_weight выражается натуральным числом.

Атрибут destination_transition: Этот атрибут определяет прикладной компонент cb_transition в указанной связи.

Атрибут source_place: Этот атрибут определяет прикладной компонент cb_place в указанной связи.

4.3.28 Прикладной компонент cb_output_relationship

Прикладной компонент cb_output_relationship определяет однонаправленную связь от прикладного компонента cb_transition к прикладному компоненту cb_place, указывающую на причинно-следственное ограничительное условие, накладываемое на прикладные компоненты cb_transition и cb_place.

Примечание 1 - По установившейся в сетях Петри терминологии прикладной компонент cb_output_relationship соответствует входной дуге. При инициализации перехода атрибут causal_weight будет определять способ формирования знаков в атрибуте destination_place.


EXPRESS-описание:

*)
ENTITY cb_output_relationship;
causal_weight: causal_weight_select;
destination_place: cb_place;
source_transition: cb_transition;
END_ENTITY;
(*

Определения атрибутов:

Атрибут causal_weight: Этот атрибут определяет число знаков, формируемых в атрибуте destination_place.

Примечание 2 - Для применения не в сетях Петри значение атрибута causal_weight должно приниматься равным 1. То же самое будет относиться и к безопасным сетям Петри.


Атрибут destination_place: Этот атрибут определяет прикладной компонент cb_place, который вводится после инициализации прикладного компонента cb_transition, определенного с помощью атрибута source_transition.

Атрибут source_transition: Этот атрибут определяет прикладной компонент cb_transition, из которого формируется атрибут source_transition.

4.3.29 Прикладной компонент cb_place

Прикладной компонент cb_place представляет собой определение статического состояния в причинно-следственной функциональной модели представления.

Примечание - По терминологии, принятой в сетях Петри, прикладной компонент cb_place называется "местом".


EXPRESS-описание:

*)
ENTITY cb_place
ABSTRACT SUPERTYPE OF (ONEOF (cb_functional_place, oo_action_staten);
description: OPTIONAL text_select;
place_label: OPTIONAL label;
INVERSE
initial_marking: SET[0:1] OF cb_initial_marking FOR marked_place;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию относительно прикладного компонента cb_place.

Атрибут place_label: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент cb_place.

Атрибут initial_marking: Этот атрибут определяет прикладной компонент cb_place, который является частью исходного условия для прикладного компонента cb_functional_behaviour_model.

4.3.30 Прикладной компонент cb_place_function_association

Прикладной компонент cb_place_function_association определяет взаимосвязь между двумя прикладными компонентами function_instance и cb_place, при которой активация функции будет контролироваться с помощью прикладного компонента cb_place.

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


EXPRESS-описание:

*)
ENTITY cb_place_function_association;
causal_place: cb_functional_place;
controls_function: function_instance;
INVERSE
completion_mapping: SET[0:?] OF cb_completion_alternative_mapping FOR scope;
END_ENTITY;
(*

Определения атрибутов:

Атрибут causal_place: Этот атрибут определяет прикладной компонент cb_place в указанной взаимосвязи.

Атрибут controls_function: Этот атрибут определяет прикладной компонент function_instance в указанной взаимосвязи.

Атрибут completion_mapping: Этот атрибут определяет прикладной компонент cb_place_function_association в прикладном компоненте cb_completion_alternative_mapping.

4.3.31 Прикладной компонент cb_place_reference

Прикладной компонент cb_place_reference определяет взаимосвязь между прикладным компонентом cb_place и дополнительной информацией. Семантика этой взаимосвязи содержится в атрибуте reference_type.

Примечание 1 - Прикладной компонент cb_place_reference вводится для указания того, что частный прикладной компонент cb_place должен быть аннотирован с помощью определенного синтаксического символа, который первоначально вводился в понятия FFBD и диаграммы представлений.


EXPRESS-описание:

*)
ENTITY cb_place_reference;
functional_place_reference: cb_functional_place;
reference_type: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут functional_place_reference: Этот атрибут определяет прикладной компонент cb_functional_place, для которого определен прикладной компонент cb_place_reference.

Атрибут reference_type: Этот атрибут определяет собственную семантику. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

Примечание 2 - Перечисленные ниже предпочтительные состояния (значения) введены для правильного выражения FFBD и диаграммы представлений с целью указания выхода из контуров или окончания исполняемого потока данных.


- Состояние thread_terminiation: Прикладной компонент cb_place, индицируемый с помощью атрибута functional_place_reference, является конечным элементом в исполняемом потоке данных;

- Состояние loop_exit: Прикладной компонент cb_place, индицируемый с помощью атрибута functional_place_reference, является конечным элементом контура.

4.3.32 Прикладной компонент cb_transition

Прикладной компонент cb_transition определяет временный пункт (точку) в причинно-следственной модели представления.

Примечание - По терминологии, принятой в сетях Петри, прикладной компонент cb_transition называется "переходом".


EXPRESS-описание:

*)
ENTITY cb_transition
ABSTRACT SUPERTYPE OF (ONEOF(cb_functional_transition, oo_action_staten_transition);
description: OPTIONAL text_select;
transition_label: OPTIONAL label;
INVERSE
guarded_by: SET[0:1] OF cb_firing_condition FOR guarded_transition;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к прикладному компоненту cb_transition.

Атрибут transition_label: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент cb_transition.

Атрибут guarded_by: Этот атрибут определяет прикладной компонент cb_output_relationship, для которого применим прикладной компонент cb_transition.

4.3.33 Прикладной компонент cb_transition_relationship

Прикладной компонент cb_transition_relationship определяет взаимосвязь между двумя прикладными компонентами cb_transition.

Примечание 1 - Назначение этого прикладного компонента состоит в группировании разделенных ветвей в причинно-следственную цепочку. Семантика может также охватываться путем небольшого расширения прикладного компонента causal_block_bound.

Примечание 2 - Этот прикладной компонент, возможно, должен удаляться из модели.


EXPRESS-описание:

*)
ENTITY cb_transition_relationship;
related_transition: SET[1:?] OF cb_functional_transition;
elationship_type: label;
INVERSE
end_bound: SET[0:1] OF causal_block_bound FOR terminal_transition;
start_bound: SET[0:1] OF causal_block_bound FOR initial_transition;
END_ENTITY;
(*

Определения атрибутов:

Атрибут related_transition: Этот атрибут определяет набор прикладных компонентов cb_transition, который включается в прикладной компонент cb_functional_transition.

Атрибут relationship_type: Этот атрибут определяет характер указанной взаимосвязи. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- Состояние or: Прикладной компонент cb_transition_relationship представляет собой набор прикладных компонентов cb_functional_transition (см. раздел 4.2.25 ISO/WD PAS 20542) и указывает начало или окончание селективной структуры.

Примечание 3 - В языках программирования он соответствует состояниям (командам) IF .. THEN .. ELSE.


- Состояние and: Прикладной компонент cb_transition_relationship представляет собой набор прикладных компонентов cb_functional_transition и указывает начало или окончание параллельной структуры;

- Состояние loop: Прикладной компонент cb_transition_relationship представляет собой набор прикладных компонентов cb_functional_transition и указывает начало или окончание фиксированного контура.

Примечание 4 - Использование ключевого слова "контур" предполагает, что число итераций в этом контуре жестко закодировано.


- Состояние iteration: Прикладной компонент cb_transition_relationship представляет собой набор прикладных компонентов cb_functional_transition и указывает начало или окончание итеративной структуры, при которых выходное условие оценивается в динамическом режиме;

- Состояние replication: Прикладной компонент cb_transition_relationship представляет собой набор прикладных компонентов cb_functional_transition и указывает начало или окончание реплицированной структуры.

Примечание 5 - Репликация - это представление многофункциональных исполняемых потоков данных с помощью однофункциональной структуры.


Атрибут end_bound: Этот атрибут определяет конечный прикладной компонент cb_transition_relationship в модуле.

Атрибут start_bound: Этот атрибут определяет начальный прикладной компонент cb_transition_relationship в модуле.

4.3.34 Прикладной компонент cb_transition_unbounded_weight

Прикладной компонент cb_transition_unbounded_weight определяет способ индикации того, что ограниченность прикладного компонента cb_input_relationship или cb_output_relationship будет определяться во время работы. Ограничение, определяемое с помощью прикладного компонента cb_transition_unbounded_weight, выражается натуральным числом, большим или равным указанному в атрибуте minimal_weight.

Примечание - Это ограничение определяет число знаков, формируемых с помощью прикладного компонента cb_input_relationship, или число знаков, принимаемых с помощью прикладного компонента cb_output_relationship.


EXPRESS-описание:

*)
ENTITY cb_transition_unbounded_weight;
minimal_weight: natural_number;
END_ENTITY;
(*

Определение атрибута:

Атрибут minimal_weight: Этот атрибут определяет минимальное число знаков (принимаемых или передаваемых).

4.3.35 Прикладной компонент change_order

Прикладной компонент change_order принадлежит к тому же типу, что и прикладной компонент work_order, который допускает внесение одного или нескольких изменений.

Примечание - Прикладной компонент change_order обычно предшествует прикладному компоненту change_request.


EXPRESS-описание:

*)
ENTITY change_order
SUBTYPE OF (work_ordert);
change_element: element critical_issue_relationship;
originates_from: change_request;
END_ENTITY;
(*

Определения атрибутов:

Атрибут change_element: Этот атрибут определяет элементы, которые подвергаются изменению с помощью прикладного компонента change_order.

Атрибут originates_from: Этот атрибут определяет прикладной компонент change_request, который дает обоснование для существования прикладного компонента change_order.

4.3.36 Прикладной компонент change_order_relationship

Прикладной компонент change_order_relationship определяет взаимосвязь между двумя прикладными компонентами change_order. Семантика этой взаимосвязи содержится в атрибуте change_order_relationship_type.

EXPRESS-описание:

*)
ENTITY change_order_relationship;
change_order_relationship_type: label;
related: change_order;
relating: change_order;
END_ENTITY;
(*

Определения атрибутов:

Атрибут change_order_relationship_type: Этот атрибут определяет его семантику. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние temporal_order: Связывающий прикладной компонент change_order должен завершаться перед реализацией связанного прикладного компонента change_order;

- состояние alternative: Связывающий прикладной компонент change_order является альтернативой для связанного прикладного компонента change_order. Только один из двух идентифицированных прикладных компонентов change_order должен исполняться.

Атрибут related: Этот атрибут определяет второй прикладной компонент change_order в указанной взаимосвязи.

Атрибут relating: Этот атрибут определяет первый прикладной компонент change_order в указанной взаимосвязи.

4.3.37 Прикладной компонент change_report

Прикладной компонент change_report является совокупностью элементов, подтверждающих изменения, внесенные с помощью прикладного компонента change_request.

Примечание - Отчет об изменениях может представляться либо в виде текста в описательном атрибуте, либо путем присвоения других элементов спецификации прикладному компоненту change_report (с помощью прикладного компонента change_report_element_assignment).


EXPRESS-описание:

*)
ENTITY change_report;
associated_version: configuration_element_version;
description: OPTIONAL text_select;
name: label;
originating_change_request: change_request;
END_ENTITY;
(*

Определения атрибутов:

Атрибут associated_version: Этот атрибут определяет прикладной компонент configuration_element_version для прикладного компонента change_report.

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту the change_report.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент change_report.

Атрибут originating_change_request: Этот атрибут определяет прикладной компонент change_order, который приводит к формированию прикладного компонента change_report.

4.3.38 Прикладной компонент change_report_element_assignment

Прикладной компонент change_report_element_assignment определяет способ присвоения описаниям изменений, вносимых в прикладной компонент change_report.

EXPRESS-описание:

*)
ENTITY change_report_element_assignment;
change_report: change_report;
change_report_element: change_report_element_select;
description: OPTIONAL text_select;
END_ENTITY;
(*

Определения атрибутов:

Атрибут change_report: Этот атрибут входит в прикладной компонент change_report_element_assignment.

Атрибут change_report_element: Этот атрибут определяет элемент, который является частью прикладного компонента change_report.

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к прикладному компоненту change_report_element_assignment.

4.3.39 Прикладной компонент change_request

Прикладной компонент change_request принадлежит к тому же типу, что и прикладной компонент work_request, и служит для запроса на внесение изменения.

Примечание - Элементы, на которые оказывает воздействие прикладной компонент change_request, идентифицируются с помощью атрибута scope, наследуемого из прикладного компонента work_order.


EXPRESS-описание:

*)
ENTITY change_request
SUBTYPE OF (work_request);
response_to_issue: SET[1:?] OF critical_issue;
END_ENTITY;
(*

Определение атрибута:

Атрибут response_to_issue: Этот атрибут определяет прикладной компонент critical_issue, который приводит к формированию прикладного компонента change_request.

4.3.40 Прикладной компонент clock

Прикладной компонент clock определяет устройство, выдающее контрольный сигнал с регулярными интервалами.

Примечание 1 - Прикладной компонент clock может определять синхронный режим работы для одного или нескольких прикладных компонентов function_instance.

Примечание 2 - Подкласс системных инженерных средств, поддерживающих синхронный режим работы, использует различные методы представления прикладного компонента clock, который обеспечивает синхронную активацию. Прикладной компонент clock представляют как разновидность функции, а другие - как свойство функции, которое контролируется с помощью прикладного компонента clock. Подход, принятый в настоящем стандарте, принимает оба варианта в том смысле, что прикладной компонент clock может представляться в виде подобной функции модуля или же рассматриваться как свойство контролируемой функции.


EXPRESS-описание:

*)
ENTITY clock;
control_signal: data_instance;
description: OPTIONAL text_select;
frequency: REAL;
name: OPTIONAL label;
WHERE
correct_data_definition: `SYSTEMS_ENGINEERING_DATA_REPRESENTATION.EVENT_DATA_TYPE_DEFINITION' IN TYPEOF(control_signal.definition);
END_ENTITY;
(*

Определения атрибутов:

Атрибут control_signal: Этот атрибут определяет прикладной компонент data_instance (чье определение должно относиться к типу прикладного компонента event_data_type_definition), который прикладной компонент clock формирует с периодическими интервалами (задаваемыми с помощью атрибута frequency).

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту clock.

Атрибут frequency: Этот атрибут определяет число импульсов, выдаваемых за заданный промежуток времени.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент clock.

Формальные выражения:

correct_data_definition:

4.3.41 Прикладной компонент clock_assignment_relationship

Прикладной компонент clock_assignment_relationship определяет взаимосвязь между прикладными компонентами clock и control_io_port, при которой периодический сигнал, связанный с прикладным компонентом clock, будет передаваться в прикладной компонент control_io_port.

Примечание - Прикладной компонент clock_assignment_relationship позволяет использовать единственный прикладной компонент clock с целью контроля нескольких функциональных объектов (посредством соответствующих прикладных компонентов control_io_port).


EXPRESS-описание:

*)
ENTITY clock_assignment_relationship;
clock: clock;
trigger_for: control_io_port;
END_ENTITY;
(*

Определения атрибутов:

Атрибут clock: Этот атрибут определяет прикладной компонент clock в указанной взаимосвязи.

Атрибут trigger_for: Этот атрибут определяет прикладной компонент control_io_port в указанной взаимосвязи.

4.3.42 Прикладной компонент clock_reference_context_relationship

Прикладной компонент clock_reference_context_relationship определяет способ взаимосвязи прикладных компонентов clock и functionality_instance_reference, который определяет контекст прикладного компонента clock. Посредством использования прикладного компонента clock_reference_context_relationship становится возможным определять, что прикладной компонент clock является действующим только для прикладных компонентов functional_reference_configuration.

EXPRESS-описание:

*)
ENTITY clock_reference_context_relationship;
clock_signal: clock;
relevant_functionality_context: functionality_instance_reference;
END_ENTITY;
(*

Определения атрибутов:

Атрибут clock_signal: Этот атрибут определяет прикладной компонент clock в указанной взаимосвязи.

Атрибут relevant_functionality_context: Этот атрибут определяет прикладной компонент functionality_instance_reference, с помощью которого прикладной компонент clock связывается с прикладным компонентом clock_assignment_relationship.

4.3.43 Прикладной компонент complex_data_type_definition

Прикладной компонент complex_data_type_definition принадлежит к тому же типу, что и прикладной компонент elementary_maths_space, который содержит все комплексные значения.

EXPRESS-описание:

*)
ENTITY complex_data_type_definition
SUBTYPE OF (elementary_maths_space);
END_ENTITY;
(*

4.3.44 Прикладной компонент complex_value

Прикладной компонент complex_value определяет способ задания комплексного значения.

Примечание - Модель использует полярную, а не декартову систему координат для идентификации комплексной точки.


EXPRESS-описание:

*)
ENTITY complex_value;
radius: REAL;
theta: REAL;
END_ENTITY;
(*

Определения атрибутов:

Атрибут radius: Этот атрибут определяет расстояние от начала координат (0,0) до комплексной точки.

Атрибут theta: Этот атрибут определяет угловую координату для прикладного компонента complex_value.

4.3.45 Прикладной компонент composite_function_definition

Прикладной компонент composite_function_definition принадлежит к тому же типу, что и прикладной компонент general_function_definition, и представляет собой определение функции, которая в дальнейшем будет разделена. Он должен содержать по крайней мере один прикладной компонент general_functionality_instance.

EXPRESS-описание:

*)
ENTITY composite_function_definition SUBTYPE OF (general_function_definition);
INVERSE
behaviour_constraint: SET[0:1] OF functional_behaviour_model_assignment FOR constrained_function;
parent_of: SET[1:?] OF functional_decomposition_relationship FOR parent;
END_ENTITY;
(*

Определения атрибутов:

Атрибут behaviour_constraint: Этот атрибут определяет прикладной компонент composite_function_definition, чье представление ограничивается с помощью прикладного компонента functional_behaviour_model.

Атрибут parent_of: Этот атрибут определяет прикладной компонент composite_function_definition, дочерний компонент которого является частью разделенной функции.

4.3.46 Прикладной компонент compound_value

Прикладной компонент compound_value определяет значение, содержащееся в перечне других значений. Этот перечень может содержать различные типы и другие перечни. При наличии в контрольной совокупности меньшего числа компонентов, чем в перечне, излишнее количество использоваться не будет, а при наличии большего числа компонентов - перечень будет применяться повторно до тех пор, пока эта совокупность не станет полной.

EXPRESS-описание:

*)
ENTITY compound_value;
value_list: LIST[0:?] OF data_type_value_select;
END_ENTITY;
(*

Определение атрибута:

Атрибут value_list: Этот атрибут определяет перечень значений, содержащихся в прикладном компоненте compound_value.

4.3.47 Прикладной компонент configuration_element

Прикладной компонент configuration_element является либо одиночным компонентом, либо прикладным компонентом unit в группе компонентов. В нем собирается информация, которая является общей для всех вариантов реализаций компонентов.

Примечание - Прикладной компонент configuration_element является эффективным логическим хранилищем всех вариантов одного и того же объекта. Например, три варианта одной и той же функциональной модели могут быть собраны вместе с помощью прикладного компонента configuration_element (вместе с именем и описанием этой функциональной модели).


EXPRESS-описание:

*)
ENTITY configuration_element;
description: OPTIONAL text_select;
id: element_identifier;
name: label;
INVERSE
associated_version: SET[1:?] OF configuration_element_version FOR version_of;
UNIQUE
UR1: id;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к прикладному компоненту configuration_element.

Атрибут id: Этот атрибут определяет идентификатор прикладного компонента configuration_element.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент configuration_element.

Атрибут associated_version: Этот атрибут определяет прикладной компонент configuration_element, для которого представлен его вариант.

Формальные выражения:

UR1:

4.3.48 Прикладной компонент configuration_element_relationship

Прикладной компонент configuration_element_relationship определяет способ взаимосвязи двух прикладных компонентов configuration_element. Характер этой взаимосвязи определяется с помощью атрибута relationship_type.

EXPRESS-описание:

*)
ENTITY configuration_element_relationship;
alternate: configuration_element;
base: configuration_element;
description: OPTIONAL text_select;
relationship_type: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут alternate: Этот атрибут определяет второй прикладной компонент configuration_element в альтернативном варианте.

Атрибут base: Этот атрибут определяет первый прикладной компонент configuration_element в основном варианте.

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к этому атрибуту.

Атрибут relationship_type: Этот атрибут определяет семантику прикладного компонента configuration_element_relationship. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние alternative: Основной и альтернативный прикладной компоненты configuration_element являются взаимозаменяемыми;

- состояние variant: Альтернативой является один из вариантов основного прикладного компонента configuration_element.

Примечание - Вариант компонента предполагает, что базовый и альтернативный варианты прикладного компонента configuration_element разделяют существенный объем информации.

4.3.49 Прикладной компонент configuration_element_version

Прикладной компонент configuration_element_version является "мгновенным изображением" любого конструктивного элемента, для которого сохраняется хронология изменений.

Примечание 1 - Перечень изменений сохраняется, начиная от начального выпуска элемента, и регистрируется с помощью прикладного компонента configuration_element_version, поэтому компонент с изображением будет содержать прикладной компонент configuration_element и набор прикладных компонентов configuration_element_version, в котором будут регистрироваться изменения данного прикладного компонента configuration_element. В настоящем стандарте конструктивные элементы могут получаться из модулей для функций, требований, поведения, документации и типов данных.

В дальнейшем это приведет к ситуации, в которой проект будет формировать экземпляры прикладного компонента configuration_element, относящиеся к представляемому конкретному варианту прикладного компонента configuration_element, поэтому проект может содержать набор прикладных компонентов configuration_element, представленный в отличающемся варианте. После этого новый вариант всего проекта может вносить одиночное изменение в проект.


Пример 3 - Например, вариант проекта 1 может содержать вариант 1 функции 1, вариант 3 функции 2 и вариант 1 функции 3. После этого следующий выпуск проекта (вариант 2) может содержать вариант 2 функции 1, вариант 3 функции 2 и вариант 1 функции 3. Этот пример иллюстрирует, что может существовать два уровня управления вариантами. Одна сторона проекта может желать управлять всеми вариантами проекта, а другая сторона проекта - лишь вариантами отдельных элементов.

Примечание 2 - Стандартное предположение состоит в том, что целостность будет сохраняться либо путем передачи инструмента и его получения, либо с помощью средств третьей стороны проекта, более специализированных для элементов управления конфигурацией.

Примечание 3 - Набор прикладных компонентов configuration_element_version прикладного компонента configuration_element представляет его хронологию в рамках определенного этапа жизненного цикла или, возможно, в течение всего жизненного цикла.


EXPRESS-описание:

*)
ENTITY configuration_element_version;
description: OPTIONAL text_select;
id: element_identifier;
version_of: configuration_element;
UNIQUE;
UR1: id;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к прикладному компоненту configuration_element_version.

Атрибут id: Этот атрибут определяет идентификатор прикладного компонента configuration_element_version.

Атрибут version_of: Этот атрибут определяет прикладной компонент configuration_element, для которого прикладной компонент configuration_element представляет его вариант.

Формальные выражения:

UR1:

4.3.50 Прикладной компонент configuration_element_version_relationship

Прикладной компонент configuration_element_version_relationship определяет взаимосвязь между двумя прикладными компонентами configuration_element_version и устанавливает граф версии прикладных компонентов.

EXPRESS-описание:

*)
ENTITY configuration_element_version_relationshipn;
description: OPTIONAL text_select;
related_version: configuration_element_version;
relating_version: configuration_element_version;
relationship_type: label;
WHERE WR1: related_version:<>: relating_version;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет характер изменений между атрибутами related_version и relating_version.

Атрибут related_version: Этот атрибут определяет полученный прикладной компонент configuration_element_version, связываемый с помощью прикладного компонента configuration_element_version_relationship.

Атрибут relating_version: Этот атрибут определяет исходный прикладной компонент configuration_element_version, связываемый с помощью прикладного компонента configuration_element_version_relationship.

Атрибут relationship_type: Этот атрибут определяет семантику прикладного компонента configuration_element_version_relationship. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние revision;

- состояние workspace_revision;

- состояние alternative.

Формальные выражения:

WR1:

4.3.51 Прикладной компонент context_function_relationship

Прикладной компонент context_function_relationship определяет взаимосвязь между прикладными компонентами function_instance и system_view, при которой прикладной компонент function_instance будет являться частью функционального описания прикладного компонента system_view.

Примечание 1 - Прикладной компонент function_instance может описывать функциональные аспекты прикладного компонента system_view или условий применения прикладного компонента system_view. В первом случае атрибут role должен устанавливаться в состояние system_function, а во втором случае этот же атрибут должен устанавливаться в состояние external_element.


EXPRESS-описание:

*)
ENTITY context_function_relationship;
associated_context: system_view;
context_function: function_instance;
description: OPTIONAL text_select;
role: function_role_enumeration;
INVERSE
assigned_functional_configuration: SET[0:1] OF system_functional_configuration FOR system;
UNIQUE
UR1: associated_context, context_function;
END_ENTITY;
(*

Определения атрибутов:

Атрибут associated_context: Этот атрибут определяет прикладной компонент system_view, который действителен для этой взаимосвязи.

Атрибут context_function: Этот атрибут определяет прикладной компонент function_instance, который действителен для этой взаимосвязи.

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к данной взаимосвязи.

Атрибут role: Этот атрибут определяет то, что описывает прикладной компонент function_instance в контексте частного прикладного компонента system_view.

Примечание 2 - Существует ограничительное условие о единственности прикладного компонента function_instance, присваиваемого прикладному компоненту system_view в состоянии system_function.


Атрибут assigned_functional_configuration: Этот атрибут определяет прикладной компонент context_function_relationship, которому присваивается прикладной компонент functional_reference_configuration.

Формальные выражения:

UR1:

4.3.52 Прикладной компонент context_physical_relationship

Прикладной компонент context_physical_relationship определяет взаимосвязь между прикладными компонентами physical_instance и system_view, при которой прикладной компонент physical_instance является описанием структуры верхнего уровня для прикладного компонента system_view.

Примечание - Прикладной компонент physical_instance может описывать физические аспекты прикладного компонента system_view или условие применения прикладного компонента system_view. В первом случае атрибут role должен устанавливаться в состояние system_element, а во втором случае этот атрибут должен устанавливаться в состояние external_element.


EXPRESS-описание:

*)
ENTITY context_physical_relationship;
description: OPTIONAL text_select;
part_in_physical_context: system_view;
объект-приложение physical_instance: physical_instance;
role: physical_element_role_enumeration;
INVERSE
assigned_physical_configuration: SET[0:1] OF system_physical_configuration FOR system;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к этой взаимосвязи.

Атрибут part_in_physical_context: Этот атрибут определяет прикладной компонент system_view, для которого эта взаимосвязь является значимой.

Атрибут physical_instance: Этот атрибут определяет прикладной компонент physical_instance, для которого эта взаимосвязь является действующей.

Атрибут role: Этот атрибут определяет характер атрибута physical_instance в прикладном компоненте system_view.

Атрибут assigned_physical_configuration: Этот атрибут определяет прикладной компонент context_physical_relationship, которому присваивается прикладной компонент physical_reference_configuration.

4.3.53 Прикладной компонент control_io_port

Прикладной компонент control_io_port принадлежит к тому же типу, что и прикладной компонент io_port, а элемент в интерфейсе - к прикладному компоненту function_instance. Прикладной компонент control_io_ port всегда относится к входному порту и данным, поступающим от прикладных компонентов functional_link.

Примечание 1 - Его семантика такова, что прикладной компонент control_io_port активируется и деактивируется с помощью значения, связанного с прикладным компонентом control_io_port. Если прикладной компонент control_io_port активирован, то он будет способен активировать и прикладной компонент function_instance.

Примечание 2 - Если прикладной компонент data_instance, определенный с помощью атрибута data, принадлежит к типу прикладного компонента event_data_type_definition, то прикладной компонент control_io_port будет активироваться путем передачи события в прикладной компонент data_instance.

Примечание 3 - Если прикладной компонент data_instance, определенный с помощью атрибута data, принадлежит к типу прикладного компонента logical_data_type_definition, то прикладной компонент control_io_port будет активироваться тогда, когда состоянием прикладного компонента data_instance станет TRUE; в противном случае прикладной компонент control_io_port будет деактивироваться.

Примечание 4 - Если несколько прикладных компонентов control_io_port присоединяются к прикладному компоненту function_instance, то все они должны активироваться и для активации прикладного компонента function_instance.


EXPRESS-описание:

*)
ENTITY control_io_port
SUBTYPE OF (io_port);
control_type: control_type_enumeration;
offset: REAL;
port_of: function_instance;
trigger_type: trigger_type_enumeration;
DERIVE
SELF\io_port. RENAMED role: port_data_relation: consumer;
UNIQUE
UR1: port_of, io_port_number, port_type;
WHERE
good_offset: offset >= 0.0;
port_data_direction: (SELF\io_port.port_type <> output);
WR1: (`SYSTEMS_ENGINEERING_DATA_REPRESENTATION.EVENT_DATA_TYPE_DEFINITION' IN TYPEOF(data.definition)) OR (`SYSTEMS_ENGINEERING_DATA_REPRESENTATION.LOGICAL_DATA_TYPE_DEFINITION' IN TYPEOF(data.definition));
END_ENTITY;
(*

Определения атрибутов:

Атрибут control_type: Этот атрибут определяет назначение прикладного компонента control_io_port.

Атрибут offset: Этот атрибут определяет время задержки, начиная с момента приема контрольного сигнала и до тех пор, пока прикладной компонент control_io_port будет оставаться активным.

Атрибут port_of: Этот атрибут определяет прикладной компонент function_instance, к которому присоединяется прикладной компонент control_io_port.

Атрибут trigger_type: Этот атрибут определяет способ активации прикладного компонента control_io_port.

Примечание 5 - Точная семантика инициализации определяется с помощью типа данных, связанных с контрольным портом.


Атрибут role:

Формальные положения:

UR1:

good_offset:

port_data_direction:

WR1:

4.3.54 Прикладной компонент coordinate_translation_information

Прикладной компонент coordinate_translation_information определяет способ преобразования информации о координатах из нормированной координатной системы в реально представляемую систему координат, используемую в приборе. Прикладной компонент coordinate_translation_information присваивается в качестве модификатора для предоставления реальной презентационной информации для прикладных компонентов graphics_view.

Размер поля зрения и положение отдельных элементов в нем рассчитывается по следующей формуле:

- y-координата:=normalized_x-position*scale_factor;

- х-координата:= normalized_x-position*aspect_ration*scale_factor;

Примечание - В настоящем стандарте используется нормированная координатная система, в которой вся информация о положении элементов представляется в диапазоне значений {0..1} для х- и у-координат. Координата {0,0} определяет верхний левый угол поля зрения системы, а координата {1,1} - нижний правый угол этого поля зрения.

EXPRESS-описание:

*)
ENTITY coordinate_translation_information;
measurement_unit: label;
name: label;
ratio: REAL;
scale_factor: REAL;
transformation_for: graphics_view;
END_ENTITY;
(*

Определения атрибутов:

Атрибут measurement_unit: Этот атрибут определяет единицу измерений, которая должна использоваться для декодирования размера поля зрения, определяемого с помощью прикладного компонента coordinate_translation_information.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент coordinate_translation_information.

Атрибут ratio: Этот атрибут определяет соотношения координат по осям х и у в координатной системе, определяемой с помощью прикладного компонента coordinate_translation_information. Значения, превышающие 1, будут указывать на то, что размер поля зрения больше по оси х, чем по оси у.

Атрибут scale_factor: Этот атрибут определяет множитель, который задает размер поля зрения.

Атрибут transformation_for: Этот атрибут определяет прикладной компонент graphics_view, для которого прикладной компонент coordinate_translation_information предоставляет информацию.

4.3.55 Прикладной компонент critical_issue

Прикладной компонент critical_issue является идентификатором воспринимаемой или реальной проблемы, касающейся элемента системной спецификации.

Примечание - Элемент, идентифицируемый с помощью прикладного компонента critical_issue, не требует подтверждения всеми заинтересованными сторонами в процессе разработки системы. Он является границей идентификатора для указания возможной проблемы или элемента.


EXPRESS-описание:

*)
ENTITY critical_issue;
description: OPTIONAL text_select;
id: element_identifier;
name: label;
status: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию на прекращение выполнения операций: Никакие дополнительные операции не будут выполняться для анализа прикладного компонента critical_issue.

Атрибут id: Этот атрибут определяет собственный идентификатор.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент critical_issue.

Атрибут status: Этот атрибут определяет условие, накладываемое на прикладной компонент critical_issue. Там, где это применимо, должны использоваться следующие состояния (значения) этого компонента:

- состояние open: Достоверность прикладного компонента critical_issue пока не была оценена;

- состояние acknowledged: Достоверность прикладного компонента critical_issue была подтверждена;

- состояние closed: Никакие дополнительные операции не будут выполняться для анализа прикладного компонента critical_issue.

4.3.56 Прикладной компонент critical_issue_impact

Прикладной компонент critical_issue_impact определяет способ связи элементов, идентифицируемых как подверженные влиянию прикладного компонента critical_issue.

Примечание - За прикладным компонентом critical_issue_impact может закрепляться любое число элементов. Прикладной компонент critical_issue_impact является представлением всех совместно закрепленных элементов.


EXPRESS-описание:

*)
ENTITY critical_issue_impact;
description: OPTIONAL text_select;
id: element_identifier;
impact_of_issue: SET[1:?] OF critical_issue;
name: label;
INVERSE
identified_issues: SET[0:?] OF critical_issue_relationship FOR issue_analysis;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту critical_issue_impact.

Атрибут id: Этот атрибут определяет идентификатор прикладного компонента critical_issue_impact.

Атрибут impact_of_issue: Этот атрибут определяет набор прикладных компонентов critical_issue, для которого действителен прикладной компонент critical_issue_impact.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент critical_issue_impact.

Атрибут identified_issues: Этот атрибут определяет прикладной компонент critical_issue_impact, для которого действителен прикладной компонент element_critical_issue_relationship.

4.3.57 Прикладной компонент data_field

Прикладной компонент data_field принадлежит к тому же типу, что и прикладной компонент data_instance, который использует тип данных прикладного компонента record_data_type_definition или union_data_type_definition.

EXPRESS-описание:

*)
ENTITY data_field
SUBTYPE OF (data_instance);
role: OPTIONAL label;
END_ENTITY;
(*

Определение атрибута:

Атрибут role: Этот атрибут определяет дополнительную информацию относительно прикладного компонента data_field.

4.3.58 Прикладной компонент data_instance

Прикладной компонент data_instance принадлежит к тому же типу, что и прикладной компонент user_defined_data_type_definition или maths_space.

Примечание 1 - В терминологии, используемой в компьютерной технике, прикладной компонент data_instance будет соответствовать переменной, а в области системного проектирования прикладной компонент data_instance будет интерпретироваться в более широком смысле.


EXPRESS-описание:

*)
ENTITY data_instance
SUPERTYPE OF (data_field);
default_value: OPTIONAL data_type_value_select;
definition: data_type_definition_select;
description: OPTIONAL text_select;
id: element_identifier;
initial_value: OPTIONAL data_type_value_select;
is_constant: BOOLEAN;
name: label;
unit_component: OPTIONAL unit;
UNIQUE
UR1: definition, id;
END_ENTITY;
(*

Определения атрибутов:

Атрибут default_value: Этот атрибут определяет значение, которое должно присваиваться прикладному компоненту data_instance, когда предоставляется недействительное значение, например когда значение выходит за ограниченный диапазон или имеет ненадлежащий тип.

Примечание 2 - Событие, когда для атрибута default_value действующие значения отсутствуют, может быть обусловлено тем фактом, что элемент, дающий значение, выпадает из последовательности.

Примечание 3 - Значение параметра default_value должно находиться в диапазоне допустимых значений, если он определен.


Атрибут definition: Этот атрибут определяет тип данных для прикладного компонента user_defined_data_type_definition или maths_space, который дает определение этого типа.

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к прикладному компоненту data_instance.

Атрибут id: Этот атрибут определяет идентификатор прикладного компонента data_instance.

Атрибут initial_value: Этот атрибут определяет значение, которое должно присваиваться прикладному компоненту data_instance, когда он будет сформирован.

Примечание 4 - Значение параметра initial_value должно находиться в диапазоне действующих значений для прикладного компонента initial_value, если он определен.


Атрибут is_constant: Этот атрибут определяет, является ли прикладной компонент data_instance постоянным. При наличии состояния TRUE атрибут is_constant может не обновляться. В этом случае значение атрибута is_constant будет определяться с помощью атрибута initial_value. Если для этого атрибута не предусмотрено никакого исходного значения, то его значение будет неопределенным.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент data_instance.

Атрибут unit_component: Этот атрибут определяет единицы измерения, которые должны связываться с прикладным компонентом data_instance.

Пример 4 - Для частного прикладного компонента data_instance атрибутом unit_component может быть Вольт.

Формальные выражения:

UR1:

4.3.59 Прикладной компонент data_transfer

Прикладной компонент data_transfer определяет характер взаимодействия, идентифицированного с помощью прикладного компонента implied_external_interaction.

Примечание - Область применения прикладного компонента data_transfer не требует ограничения данных; он может также использоваться для индикации взаимодействия физических элементов.


EXPRESS-описание:

*)
ENTITY data_transfer;
data: data_instance;
direction: data_direction;
transfer: implied_external_interactionr;
END_ENTITY;
(*

Определения атрибутов:

Атрибут data: Этот атрибут определяет прикладной компонент data_instance, который является частью взаимодействия между функциональными представлениями внешнего объекта и системы.

Атрибут direction: Этот атрибут определяет направление этого взаимодействия.

Атрибут transfer: Этот атрибут определяет прикладной компонент implied_external_interaction, для которого действующим является прикладной компонент data_transfer.

4.3.60 Прикладной компонент date_and_person_assignment

Прикладной компонент date_and_person_assignment определяет объект, который связывается с прикладным компонентом date_and_person_organization.

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

Примечание 2 - Заимствовано из Протокола АР-214.


EXPRESS-описание:

*)
ENTITY date_and_person_assignment;
assigned_date_and_person: date_and_person_organization;
assigned_to: person_organization_assignment_select;
description: OPTIONAL text_select;
role: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут assigned_date_and_person: Этот атрибут определяет прикладной компонент date_and_person_organization.

Атрибут assigned_to: Этот атрибут определяет объект, к которому применим прикладной компонент date_and_person_assignment.

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к прикладному компоненту date_and_person_assignment.

Атрибут role: Этот атрибут определяет связь между датой (или временем) и прикладным компонентом person или organization в атрибуте role. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние creation: Присвоение позволяет определять, что указанный объект был сформирован с помощью данного лица или организации в заданный день и время;

- состояние update: Присвоение позволяет определять, что указанный объект был изменен с помощью заданного лица.

4.3.61 Прикладной компонент date_and_person_organization

Прикладной компонент date_and_person_organization определяет прикладной компонент person_in_organization или organization, связанный с прикладным компонентом date_time.

EXPRESS-описание:

*)
ENTITY date_and_person_organization;
actual_date: date_time;
person_organization: person_organization_select;
END_ENTITY;
(*

Определения атрибутов:

Атрибут actual_date: Этот атрибут определяет прикладной компонент date_time в прикладном компоненте date_and_person_organization.

Атрибут person_organization: Этот атрибут определяет прикладной компонент person_in_organization или organization в прикладном компоненте date_and_person_organization.

4.3.62 Прикладной компонент date_assignment

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

EXPRESS-описание:

*)
ENTITY date_assignment;
assigned_to: date_assignment_select;
date: date_time;
role: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут assigned_to: Этот атрибут определяет присвоение прикладному компоненту date_time.

Атрибут date: Этот атрибут определяет дату при этом присвоении.

Атрибут role: Этот атрибут определяет семантику прикладного компонента date_time, присваиваемого элементу. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние created: Присвоение определяет, что указанный объект был создан при заданном атрибуте date;

- состояние modified: Присвоение определяет, что указанный объект был изменен при заданном атрибуте date.

Примечание - Набор существующих значений атрибута может быть расширен для удовлетворения перспективных потребностей, однако в подобных случаях передающие и приемные средства должны согласовываться с действующим набором значений.

4.3.63 Прикладной компонент date_time

Прикладной компонент date_time определяет спецификацию для даты и времени дня.

EXPRESS-описание:

*)
ENTITY date_time;
day_component: INTEGER;
hour_component: INTEGER;
minute_component: INTEGER;
month_component: INTEGER;
second_component: INTEGER;
year_component: INTEGER;
WHERE
WR1: {0 <= hour_component <= 23};
WR2: {0 <= minute_component <= 59};
WR3: {0 <= second_component <= 59};
WR4: {1 <= month_component <= 12};
WR5: {1 <= day_component <= 31};
WR6: year_component >= 0;
END_ENTITY;
(*

Определения атрибутов:

Атрибут day_component: Этот атрибут определяет день месяца. Значение атрибута day_component не должно превышать числа дней в текущем месяце.

Атрибут hour_component: Этот атрибут определяет время, выражаемое в часах.

Значение атрибута hour_component должно находиться в диапазоне от 0 до 23.

Атрибут minute_component: Этот атрибут определяет время, выражаемое в минутах.

Значение атрибута minute_component должно находиться в диапазоне от 0 до 59.

Атрибут month_component: Этот атрибут определяет прикладной компонент date_time, выражаемый в месяцах.

Значение атрибута month_component должно находиться в диапазоне от 1 до 12.

Атрибут second_component: Этот атрибут определяет время, выражаемое в секундах.

Значение атрибута second_component должно находиться в диапазоне от 0 до 59.

Атрибут year_component: Этот атрибут определяет время года в прикладном компоненте date_time.

Значение атрибута year_component должно приводиться со всеми действующими значениями.

Пример 5 - Год 1999 должен представляться в виде целого числа "1999".

Формальные выражения:

WR1:

WR2:

WR3:

WR4:

WR5:

WR6:

4.3.64 Прикладной компонент derived_data_type_definition

Прикладной компонент derived_data_type_definition принадлежит к тому же типу, что и прикладной компонент user_defined_data_type_definition, чье значение рассчитывается по прикладным компонентам data_instance и/или data_field.

EXPRESS-описание:

*)
ENTITY derived_data_type_definition
SUBTYPE OF (user_defined_data_type_definition);
expression: text_select;
resultant_data_type: data_type_definition_select;
END_ENTITY;
(*

Определения атрибутов:

Атрибут expression: Этот атрибут определяет алгоритм расчета значения экземпляра прикладного компонента derived_data_type_definition.

Примечание - Синтаксис, необходимый для определения алгоритма расчета этого значения, не определен.


Пример 6 - Во избежание избыточности в конструкции базы данных и поддержания актуальности данных, поле для возраста должно рассчитываться по глобальному значению на сегодняшний день, а поле для возраста - по формуле birth. age = today - date_of_birth.

Атрибут resultant_data_type: Этот атрибут определяет ожидаемый тип результата выражения, основанный на типах значений, входящих в него.

4.3.65 Прикладной компонент digital_document

Прикладной компонент digital_document принадлежит к тому же типу, что и прикладной компонент documentation_reference и является ссылкой на документ, представляемый в цифровой форме.

EXPRESS-описание:

*)
ENTITY digital_document
SUBTYPE OF (documentation_reference);
document_format: OPTIONAL label;
document_size: OPTIONAL label;
location: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут document_format: Этот атрибут определяет формат цифрового документа (например, MSWord, PDF, HTML).

Атрибут document_size: Этот атрибут определяет объем цифрового документа.

Атрибут location: Этот атрибут определяет местоположение цифрового документа (например, в структуре файлов, унифицированном указателе ресурсов - URL), откуда он может быть получен.

4.3.66 Прикладной компонент document_assignment

Прикладной компонент document_assignment определяет присвоение прикладного компонента documentation_reference элементу системного проектирования.

EXPRESS-описание:

*)
ENTITY document_assignment
SUPERTYPE OF (partial_document_assignment);
description: OPTIONAL text_select;
documentation: documentation_reference;
documented_object: instance_definition_select;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту document_assignment.

Атрибут documentation: Этот атрибут определяет прикладной компонент documentation_reference.

Атрибут documented_object: Этот атрибут определяет объект, который документируется с помощью прикладного компонента document_assignment.

4.3.67 Прикладной компонент documentation_reference

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

EXPRESS-описание:

*)
ENTITY documentation_reference
ABSTRACT SUPERTYPE OF (ONEOF (digital_document, non_digital_document);
associated_version: configuration_element_version;
description: OPTIONAL text_select;
id: element_identifier;
name: label;
UNIQUE
UR1: id;
END_ENTITY;
(*

Определения атрибутов:

Атрибут associated_version: Этот атрибут определяет прикладной компонент configuration_element_version для прикладного компонента documentation_reference.

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту documentation_reference.

Атрибут id: Этот атрибут определяет идентификатор прикладного компонента documentation_reference.

Атрибут name: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент documentation_reference.

Формальные выражения:

UR1:

4.3.68 Прикладной компонент documentation_relationship

Прикладной компонент documentation_relationship определяет взаимосвязь между двумя прикладными компонентами documentation_reference. Семантика этой взаимосвязи содержится в атрибуте description.

EXPRESS-описание:

*)
ENTITY documentation_relationship;
description: OPTIONAL text_select;
related_documentation: documentation_reference;
relating_documentation: documentation_reference;
relationship_type: OPTIONAL label;
WHERE
correct_relation: relating_documentation:<>: related_documentation;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту documentation_relationship.

Атрибут related_documentation: Этот атрибут определяет второй прикладной компонент documentation_reference в указанной взаимосвязи.

Атрибут relating_documentation: Этот атрибут определяет первый прикладной компонент documentation_reference в указанной взаимосвязи.

Атрибут relationship_type: Этот атрибут определяет слово (или слова), которые используются для ссылки на прикладной компонент documentation_relationship.

Формальные выражения:

correct_relation:

4.3.69 Прикладной компонент effectiveness_measure

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

EXPRESS-описание:

*)
ENTITY effectiveness_measure;
optimization_function: textual_specification;
END_ENTITY;
(*

Определение атрибута:

Атрибут optimization_function: Этот атрибут определяет функцию оптимизации требований для прикладного компонента effectiveness_measure.

4.3.70 Прикладной компонент effectiveness_measure_assignment

Прикладной компонент effectiveness_measure_assignment определяет способ включения прикладного компонента requirement_instance в критерий оптимизации функций, представляемый с помощью прикладного компонента effectiveness_measure. Все присвоенные прикладные компоненты requirement_instance должны быть связаны с одним и тем же прикладным компонентом system_view.

EXPRESS-описание:

*)
ENTITY effectiveness_measure_assignment;
assigned_requirement: requirement_instance;
объект-приложение effectiveness_measure: effectiveness_measure;
weight: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут assigned_requirement: Этот атрибут определяет прикладной компонент requirement_instance, вводимый в функции оптимизации с помощью прикладного компонента effectiveness_measure_assignment.

Атрибут effectiveness_measure: Этот атрибут определяет прикладной компонент effectiveness_measure, который присваивается прикладному компоненту requirement_instance посредством прикладного компонента effectiveness_measure_assignment.

Атрибут weight: Этот атрибут определяет относительную важность прикладного компонента assigned_requirement_instance по отношению к другим прикладным компонентам requirement_instance, присваиваемых тому же прикладному компоненту effectiveness_measure.

4.3.71 Прикладной компонент effectiveness_measure_relationship

Прикладной компонент effectiveness_measure_relationship определяет способ указания взаимосвязи между двумя прикладными компонентами effectiveness_measure. Характер этой взаимосвязи будет определен ниже с помощью атрибута description.

Примечание - Прикладной компонент effectiveness_measure_relationship может использоваться и для указания взаимосвязи между двумя критериями оптимизации.


EXPRESS-описание:

*)
ENTITY effectiveness_measure_relationship;
description: OPTIONAL text_select;
related: effectiveness_measure;
relating: effectiveness_measure;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту effectiveness_measure_relationship.

Атрибут related: Этот атрибут определяет второй элемент в указанной взаимосвязи.

Атрибут relating: Этот атрибут определяет первый элемент в указанной взаимосвязи.

4.3.72 Прикладной компонент effectivity

Прикладной компонент effectivity является идентификатором эффективного использования свойства производственных данных, контролируемого с помощью прикладного компонента date_time или события.

Примечание 1 - Прикладной компонент effectivity может определять замкнутые или незамкнутые интервалы для проверки производственных данных.

Примечание 2 - Прикладной компонент effectivity должен определяться либо с помощью атрибута primary_definition attribute, либо с помощью другого прикладного компонента effectivity (связанного с использованием прикладного компонента effectivity_relationship), который имеет реализуемый атрибут primary_definition.


EXPRESS-описание:

*)
ENTITY effectivity;
concerned_organization: SET[0:?] OF organization;
description: OPTIONAL text_select;
id: OPTIONAL element_identifier;
primary_definition: OPTIONAL event_or_date_select;
secondary_definition: OPTIONAL period_or_date_select;
version_id: OPTIONAL element_identifier;
END_ENTITY;
(*

Определения атрибутов:

Атрибут concerned_organization: Этот атрибут определяет прикладной компонент organization, в котором прикладной компонент effectivity является действующим.

Пример 7 - Прикладной компонент effectivity одного и того же элемента может быть различным в различных областях нахождения поставщика системы.

Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящуюся к прикладному компоненту effectivity.

Атрибут id: Этот атрибут определяет идентификатор прикладного компонента effectivity.

Атрибут primary_definition: Этот атрибут определяет прикладной компонент date_time или событие тогда, когда идентифицированный компонент становится или перестает быть действующим.

Примечание 3 - Смысл данного атрибута будет подробно определяться с помощью атрибута role для прикладного компонента effectivity_assignment.


Атрибут secondary_definition: Этот атрибут используется для определения времени начала, указываемого для первичного определения. Данный атрибут должен использоваться лишь в том случае, когда атрибут role для прикладного компонента effectivity_assignment укажет, что этот атрибут определен как период времени.

Атрибут version_id: Этот атрибут определяет идентификатор конкретного варианта прикладного компонента effectivity.

4.3.73 Прикладной компонент effectivity_assignment

Прикладной компонент effectivity_assignment позволяет связывать прикладной компонент effectivity с объектом, чей прикладной компонент effectivity контролируется с помощью связанного с ним прикладного компонента effectivity.

EXPRESS-описание:

*)
ENTITY effectivity_assignment;
assigned_effectivity: effectivity;
effective_element: effective_element_select;
role: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут assigned_effectivity: Этот атрибут определяет присвоенный прикладной компонент effectivity.

Атрибут effective_element: Этот атрибут определяет объект, которому присваивавается прикладной компонент effectivity.

Атрибут role: Этот атрибут определяет взаимосвязь между прикладным компонентом effectivity и объектом, который эффективно присваивается ему.

Если определено одно из состояний (значений) actual_start, actual_stop, planned_start или planned_stop, то в присвоенном прикладном компоненте effectivity не должно даваться никакое дополнительное определение.

Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние actual_period: Определяет фактический период, в течение которого действует прикладной компонент effectivity;

- состояние actual_start: Определяет действующий прикладной компонент date_time с того времени, когда действующий прикладной компонент effectivity стал действующим;

- состояние actual_stop: Определяет действующий прикладной компонент date_time с того времени, когда прикладной компонент effectivity перестал быть действующим;

- состояние planned_period: Определяет период, связанный с прикладным компонентом effectivity и указывающий плановый период времени, в течение которого связанный компонент является или являлся (по предположению) действующим.

- состояние planned_start: Определяет прикладной компонент date_time или событие, связанное с прикладным компонентом effectivity и определяющее прикладной компонент date_time или событие в то время, когда начинается или начиналось (по предположению) действие прикладного компонента effectivity;

- состояние planned_stop: Определяет прикладной компонент date_time или событие, связанное с прикладным компонентом effectivity и определяющее прикладной компонент date_time или событие в то время, когда заканчивается или заканчивалось (по предположению) действие прикладного компонента effectivity;

- состояние required_period: Определяет связанный компонент, который должен сохраняться действующим в течение этого периода;

- состояние required_start: Определяет прикладной компонент date_time или событие, связанное с прикладным компонентом effectivity и обусловленное началом действия прикладного компонента date. Предполагается наличие соответствия с этой границей.

- состояние required_stop: Определяет прикладной компонент date_time или событие, связанное с прикладным компонентом effectivity и обусловленное окончанием действия прикладного компонента date. Предполагается наличие соответствия с этой границей.

4.3.74 Прикладной компонент effectivity_relationship

Прикладной компонент effectivity_relationship определяет взаимосвязь между двумя прикладными компонентами effectivity.

EXPRESS-описание:

*)
ENTITY effectivity_relationship;
description: OPTIONAL text_select;
related: effectivity;
relating: effectivity;
relation_type: label;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к прикладному компоненту effectivity_relationship.

Атрибут related: Этот атрибут определяет второй прикладной компонент effectivity в указанной взаимосвязи.

Атрибут relating: Этот атрибут определяет первый прикладной компонент effectivity в указанной взаимосвязи.

Атрибут relation_type: Этот атрибут определяет смысл указанной взаимосвязи. Там, где это применимо, должны использоваться следующие состояния (значения) этого атрибута:

- состояние constraint: Промежуток времени между началом и окончанием действия определения связанного прикладного компонента effectivity должен находиться в пределах периода времени для прикладного компонента effectivity;

- состояние inheritance: Связанный прикладной компонент effectivity не должен иметь какого-либо определенного "первичного определения" и "вторичного определения", однако должен наследовать даты действия от связанного прикладного компонента effectivity.

4.3.75 Прикладной компонент element_critical_issue_relationship

Прикладной компонент element_critical_issue_relationship определяет способ указания того, что элемент (определяемый с помощью атрибута impact_on_element) в некотором отношении находится под воздействием прикладного компонента critical_issue, который отбирается с помощью прикладного компонента critical_issue_impact. Само это воздействие не определяется, поскольку определенные прикладные компоненты critical_issue_impact могут формироваться в результате воздействия прикладного компонента critical_issue. Характер воздействия определяется с помощью атрибута description.

EXPRESS-описание:

*)
ENTITY element_critical_issue_relationship;
description: OPTIONAL text_select;
impact_on_element: change_element_select;
issue_analysis: critical_issue_impact;
END_ENTITY;
(*

Определения атрибутов:

Атрибут description: Этот атрибут определяет характер воздействия на элемент, иденфицируемый с помощью атрибута impact_on_element для прикладного компонента element_critical_issue_relationship.

Атрибут impact_on_element: Этот атрибут определяет элемент, находящийся под воздействием прикладного компонента critical_issue.

Атрибут issue_analysis: Этот атрибут определяет прикладной компонент critical_issue_impact, для которого действителен прикладной компонент element_critical_issue_relationship.

ГОСТ Р 55346-2012/ISO/PAS 20542:2006 Системы промышленной автоматизации и интеграция. Представление и обмен производственными данными. Базовая модель инженерного проектирования систем

Название документа: ГОСТ Р 55346-2012/ISO/PAS 20542:2006 Системы промышленной автоматизации и интеграция. Представление и обмен производственными данными. Базовая модель инженерного проектирования систем

Номер документа: 55346-2012

Вид документа: ГОСТ Р

Принявший орган: Росстандарт

Статус: Действующий

Опубликован: Официальное издание. М.: Стандартинформ, 2016 год
Дата принятия: 29 ноября 2012

Дата начала действия: 01 января 2014
Информация о данном документе содержится в профессиональных справочных системах «Кодекс» и «Техэксперт»
Узнать больше о системах