allgosts.ru25. МАШИНОСТРОЕНИЕ25.040. Промышленные автоматизированные системы

ГОСТ Р ИСО 18629-12-2010 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро

Обозначение:
ГОСТ Р ИСО 18629-12-2010
Наименование:
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро
Статус:
Действует
Дата введения:
09.01.2011
Дата отмены:
-
Заменен на:
-
Код ОКС:
25.040.40

Текст ГОСТ Р ИСО 18629-12-2010 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро

>

ФЕДЕРАЛЬНОЕ АГЕНТСТВО

ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ


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


ГОСТ Р исо 18629-12 — 2010


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

ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА

Часть 12

Внешнее ядро

ISO 18629-12:2005

Industrial automation systems and integration — Process specification language — Part 12: Outer core

(IDT)

Издание официальное

Москва

Ста ндарти н форм

2014


ГОСТ Р ИС0 18629-29—2010

Предисловие

  • 1 ПОДГОТОВЛЕН Научно-техническим центром ИНТЕК на основе собственного аутентичного перевода на русский язык международного стандарта, указанного в пункте 4

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

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

  • 4 Настоящий стандарт идентичен международному стандарту ИС0 18629-12:2005 «Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро» (ISO 18629-12:2005 «Industrial automation systems and integration — Process specification language — Part 12: Outer core»).

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

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

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

© Стандартинформ, 2014

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

Содержание

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

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

  • 3 Термины, определения и сокращения

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

    • 3.2 Сокращения

  • 4 Общие положения комплекса стандартов ИСО 18629

  • 5 Общие положения настоящего стандарта

    • 5.1 Расширения, входящие во внешнее ядро

  • 6 Теория ядра подчиненной деятельности

    • 6.1 Примитивные отношения

    • 6.2 Установленные отношения

    • 6.3 Связь с другими наборами аксиом

    • 6.4 Неформальная семантика

    • 6.5 Определения

    • 6.6 Аксиомы

  • 7 Теория ядра дерева случаев

    • 7.1 Примитивные отношения

    • 7.2 Примитивные функции

    • 7.3 Связь с другими наборами аксиом

    • 7.4 Неформальная семантика

    • 7.5 Аксиомы

  • 8 Теория ядра дискретного состояния

    • 8.1 Примитивные категории

    • 8.2 Примитивные отношения

    • 8.3 Связь с другими наборами аксиом

    • 8.4 Неформальная семантика

    • 8.5 Аксиомы

  • 9 Теория ядра атомарной деятельности

    • 9.1 Примитивные отношения

    • 9.2 Примитивные функции

    • 9.3 Связь с другими наборами аксиом

    • 9.4 Неформальная семантика

  • 9.6 Аксиомы

  • 10 Теория ядра комплексной деятельности

    • 10.1 Примитивные отношения

    • 10.2 Установленные отношения

    • 10.3 Связь с другими наборами аксиом

    • 10.4 Неформальная семантика

    • 10.5 Определения

    • 10.6 Аксиомы

  • 11 Теория ядра случаев деятельности

    • 11.1 Примитивные отношения

    • 11.2 Установленные отношения в теории ядра случаев деятельности

    • 11.3 Связь с другими наборами аксиом

    • 11.4 Неформальная семантика

    • 11.5 Определения

    • 11.6 Аксиомы

Приложение А (обязательное) Идентификатор ASN.1, присвоенный ИСО 18629-12

Приложение В (справочное) Связь с ситуационным исчислением

Приложение С (справочное) Пример описания процесса с помощью внешнего ядра PSL.....

Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации

Библиография

ГОСТ Р ИС0 18629-29—2010

Введение

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

В настоящем стандарте приведено описание базовых элементов ядра, определенного в комплексе стандартов ИС018629.

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

ГОСТ Р ИСО 18629-12—2010

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

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

ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА

Часть 12

Внешнее ядро

Industrial automation systems and integration. Process specification language. Part 12. Outer core

Дата введения — 2011—09—01

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

Настоящий стандарт в форме аксиом и определений устанавливает понятия, относящиеся к внешнему ядру языка, что позволяет аксиоматизировать семантику терминологии, используемой для описания внешнего ядра в соответствии с требованиями комплекса стандартов ИС018629.

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

-деятельность и ее агрегирование:

  • - дискретные деятельности и их состояния;

  • - ограничения деятельности;

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

  • - составные деятельности;

  • - примеры составных деятельностей.

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

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

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

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

ИСО 15531-1 Системы промышленной автоматизации и интеграция. Данные для управления промышленным производством. Часть 1. Общий обзор (IS015531 -1, Industrial automation systems and integration — Industrial manufacturing management data — Part 1: General overview)

ИС018629-1 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 1. Обзор и основные принципы (ISO 18629-1, Industrial automation systems and integration — Process specification language — Part 1: Overview and basic principles)

ИС018629-11 Системы промышленной автоматизации и интеграция. Язык спецификации процесса. Часть 11: Ядро PSL (ISO 18629-11, Industrial automation systems and integration — Process specification language — Part 11: PSL core)

Издание официальное

3 Термины, определения и сокращения

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

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

  • 3.1.1 аксиома (axiom): Точно сформулированное аналитическое выражение на формальном языке, устанавливающее ограничения к интерпретации символов в словаре языка.

[ИСО 18629-1:2004, статья 3.1.1]

  • 3.1.2 консервативное определение (conservative definition): Определение, устанавливающее необходимые и достаточные условия для полного соответствия термина, а также не позволяющее выводить новые умозаключения из теории.

[ИСО 18629-1:2004, статьяЗ.1.2]

  • 3.1.3 теория ядра (core theory): Набор аксиом для реляционных и функциональных символов, обозначающих примитивные понятия.

[ИС0 18629-1:2004, статья 3.1.3]

  • 3.1.4 данные (data): Представление информации в формальном виде, подходящем для ее передачи, интерпретации или обработки людьми или на электронно-вычислительных машинах.

[ИС0 18629-1:2004, статья 3.1.4]

  • 3.1.5 установленная лексика (defined lexicon): Набор символов в нелогической лексике, обозначающих установленные понятия.

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

[ИС0 18629-1:2004, статья 3.1.5]

  • 3.1.6 дефинициальное расширение (definitional extension): Расширение ядра PSL, представляющее новые лингвистические понятия, которые могут быть определены с помощью терминов ядра PSL.

Примечание — Дефинициальные расширения добавляют выразительную силу ядру PSL и используются для подробного описания семантики и терминологии в области применения.

[ИС0 18629-1:2004, статья 3.1.6]

  • 3.1.7 расширение (extension): Расширение ядра PSL, содержащее дополнительные аксиомы.

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

Примечание 2 — Все расширения являются теориями ядра или дефинициальными расширениями.

[ИСО 18629-1:2004, статья 3.1.9]

  • 3.1.8 грамматика (grammar): Правила совместного использования логических символов и словарных терминов для составления точно сформулированных аналитических выражений.

[ИСО 18629-1:2004, статья 3.1.10]

  • 3.1.9 идемпотент (idempotent): Элемент (а) множества, удовлетворяющий условию: а ОР а = а, где ОР — внутренняя бинарная операция.

Примечание — Функция является идемпотентной, если каждый элемент в области ее определения является идемпотентом по отношению к данной функции.

Пример — Теоретико-множественное пересечение и объединение являются идемпотентами, так как Sr,S = SuS^S = S.

  • 3.1.10 информация (information): Факты, концепции или инструкции.

[ИСО 18629-1:2004, статья 3.1.11]

  • 3.1.11 интерпретация (interpretation): Ракурс рассмотрения всех предложений теории и присвоения этим предложениям значений истинности (TRUE или FALSE).

Примечание — Пример интерпретации приведен в приложении С.

  • 3.1.12 язык (language): Сочетание лексики и грамматики.

[ИС018629-1:2004, статья 3.1.12]

  • 3.1.13 лексика (lexicon): Набор символов и терминов.

Примечание — Лексика состоит из логических (например, Булевы выражения и квантификаторы) и нелогических символов. В комплексе стандартов ИСО 18629 нелогическая часть лексики состоит из выражений (констант, функциональных символов и реляционных символов), необходимых для представления основных понятий онтологии.

[ИСО 18629-1:2004, статья 3.1.13]

  • 3.1.14 производство (manufacturing): Функция или действие, предусматривающие перевод или превращение материала из сырья или заготовки в завершенное состояние.

[ИС015531-1:2004, статья 3.6.22]

  • 3.1.15 производственный процесс (manufacturing process): Структурированный комплекс видов деятельности или работ, выполняемых с материалом для его перевода из сырья или заготовки в завершенное состояние.

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

[ИС015531-1:2004, статья 3.6.25]

  • 3.1.16 модель (model): Сочетание набора элементов и истинного назначения, удовлетворяющее всем правильно построенным формулировкам в теории.

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

Примечание 2 — Модель обычно представляют в виде совокупности дополнительных структур (частично упорядоченных, е качестве структурного или векторного пространства). В этом случае модель определяет значения для терминологии и понятия истины для предложений языка в условиях данной модели. Задавая модель, основной набор аксиом математических структур, используемый в наборе аксиом, используют как основу для определения понятий, представленных в терминах языка, и их логических взаимосвязей, в результате чего набор моделей создает формальные семантики онтологии.

[ИС018629-1:2004, статья 3.1.16]

  • 3.1.17 онтология (ontology): Лексика специализированной терминологии, дополненная необходимой спецификацией значений терминов.

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

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

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

Примечание 4 — Любой термин, используемый без точного определения, может быть причиной неясности и путаницы. Сложность для онтологии заключается в том, что структура нуждается в создании терминов. имеющих точное значение. Для онтологии, соответствующей определению ИСО 18629, необходимо предоставить математически строгую характеристику информационного процесса, а также четкое выражение основных логических свойств этой информации на языке, указанном в ИСО 18629.

[ИСО 18629-1:2004, статья 3.1.17]

  • 3.1.18 внешнее ядро (outer core): Набор теорий ядра, которые являются расширениями ядра PSL и настолько обобщены и распространены в своем применении, что каждая теория может быть представлена отдельно.

Примечание — На практике расширения включают в себя аксиомы внешнего ядра.

[ИСО 18629-1:2004,статья 3.1.18]

  • 3.1.19 примитивная концепция (primitive concept): Лексический термин, не имеющий консервативного определения.

[ИС0 18629-1:2004, статья 3.1.19]

  • 3.1.20 примитивная лексика (primitive lexicon): Набор символов в нелогическом словаре, обозначающих элементарные понятия.

Примечание — Примитивная лексика включает в себя постоянные, функциональные и реляционные символы.

[ИС0 18629-1:2004, статья 3.1.20]

  • 3.1.21 процесс (process): Структурированный ряд видов деятельности, включающий всебя различные сущности предприятия, предназначенный и организованный для достижения конкретной цели.

Примечание — Данное определение аналогично определению, приведенному в ИСО 10303-49. Тем не менее ИСО 15531 нуждается в понятии структурированного набора деятельностей без какого-либо предопределенного отношения ко времени или этапам. С точки зрения управления потоком некоторые свободные процессы могут требовать синхронизации в отношении цели, хотя в действительности они ничего не выполняют (задачи-призраки).

[ИСО 15531-1:2004,статья 3.6.29]

  • 3.1.22 продукт (product): Изделие, материал или вещество, изготовленное в процессе производства. [ИС0 18629-1:2004, статья 3.1.23]

  • 3.1.23 теория доказательств (proof theory): Совокупность теорий и лексических элементов, необходимых для интерпретации семантики языка.

Примечание — Теория доказательств состоит из трех компонентов: ядра PSL, внешнего ядра и расширений.

[ИС0 18629-1:2004, статья 3.1.25]

  • 3.1.24 ядро PSL (PSL-core): Набор аксиом для понятий деятельности, события деятельности, момента времени и объекта.

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

[ИС0 18629-1:2004, статья 3.1.261

  • 3.1.25 псевдоструктура (semilattice): Частичное упорядочение, в котором для каждых двух элементов существует единственная наименьшая верхняя граница.

  • 3.1.26 теория (theory): Набор аксиом и определений, относящийся к данному понятию или набору понятий.

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

[ИСО 18629-1:2004, статья 3.1.31 ]

  • 3.1.27 область обсуждения (universe of discourse): Совокупность конкретных или абстрактных вещей, относящихся к области реального мира, выбранных в соответствии с интересом, который они представляют для системы, подлежащей моделированию, и ее окружения.

[ИС0 15531-1:2004, статья 3.6.50]

3.2 Сокращения

FOL — логика первого порядка (First-Order Logic);

BNF —форма Бэкуса-Наура (Backus-Naur form);

KIF — формат обмена знаниями (Knowledge Interchange Format);

PSL —язык спецификаций процесса (Process Specification Language).

4 Общие положения комплекса стандартов ИСО 18629

Комплекс стандартов ИСО 18629 устанавливает требования к лексике, онтологии и грамматике языка, используемого для описания производственных процессов.

Примечание 1 — PSL — это язык, используемый для спецификации производственных процессов, основанный на математически точно определенных словаре и грамматике. Он отличается от языка, используемого для описаний схем и продукта в ИСО 10303, ИСО 13584 и ИСО 15926, а также от языка характеризации процессов, приведенного в ИСО 15531. но тесно с ним связан и дополняет его. При обмене информацией между двумя процессами язык PSL определяет каждый процесс независимо от его поведения (режима работы). Например, объект, рассматриваемый как ресурс для одного процесса, считают таким же объектом, даже если его рассматривают в качестве продукта второго процесса.

Примечание 2 — PSL основан на логике первого порядка и использует другие методы спецификации семантики, используемые в ИСО 10303. Значения понятий, определяемых в рамках PSL, вытекают из набора аксиом и определений, представленных каждым расширением ядра PSL. Примечания и примеры, приведенные в стандартах, должны способствовать пониманию языка.

В частях с 11 по 19 комплекса стандартов ИС018629 приведены основные теории, необходимые для представления точных определений и аксиом элементарных концепций. Основные теории обеспечивают точные семантические переводы между разными схемами.

Части с 11 по 19 распространяются на:

  • - представление основных элементов языка;

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

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

Данные части комплекса стандартов ИСО 18629 не распространяются на:

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

5 Общие положения настоящего стандарта

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

5.1 Расширения, входящие во внешнее ядро

Внешнее ядро включает в себя следующие теории:

  • - subactivity.th (теория ядра подчиненной деятельности);

  • - occtree.th (теория ядра дерева случаев);

  • - disc_state.th (теория ядра дискретных состояний);

  • - atomic.th (теория ядра атомарной деятельности);

  • - complex.th (теория ядра составной деятельности);

  • - act_occ.th (теория ядра случаев деятельности).

Связи между теориями внешнего ядра изображены на рисунке 1. Стрелками обозначены зависимости между теориями. Все теории внешнего ядра являются расширениями ядра PSL. Теория ядра атомарной деятельности является расширением как теории подчиненной деятельности, так и теории дерева случаев, а теория ядра дискретных состояний является расширением только теории ядра дерева случаев. Теория ядра случаев деятельности — это расширение теории ядра составной деятельности, которая, в свою очередь, является расширением теории атомарной деятельности.

Рисунок 1 — Зависимости между наборами аксиом внешнего ядра PSL

6 Теория ядра подчиненной деятельности

Подчиненная деятельность (subactivity) предоставляет аксиомы для понятий композиции процессов. Единственным ограничением данной теории ядра является то, что отношение подчиненной деятельности изоморфно дискретному частичному упорядочению. В других теориях ядра установлены дополнительные ограничения.

6.1 Примитивные отношения

Нелогическая лексика теории ядра подчиненной деятельности включает в себя следующий символ отношения:

  • - subactivity (отношение подчиненной деятельности).

6.2 Установленные отношения

Нелогическая лексика теории ядра подчиненной деятельности включает в себя следующий символ установленного отношения:

  • - primitive (примитивный элемент).

6.3 Связь с другими наборами аксиом

В теории ядра подчиненной деятельности используется теория pslcore.th, установленная в ИСО 18629-11.

Лексика дефиниций для теории ядра подчиненной деятельности не требуется.

  • 6.4 Неформальная семантика

6.4.1 Подчиненная деятельность

Обозначение KIF символа subactivity:

(subactivity ?al ?а2)

Неформальная семантика символа subactivity:

(subactivity ?al ?а2) принимает значение TRUE в интерпретации теории ядра подчиненной деятельности только в том случае, если деятельность ?al является подчиненной деятельностью деятельности ?а2.

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

6.4.2 Примитивная деятельность

Обозначение KIF символа primitive:

(primitive ?а)

Неформальная семантика для символа primitive:

(primitive ?а) принимает значение TRUE в интерпретации теории ядра подчиненной деятельности только в том случае, если деятельность ?al не имеет подчиненных деятельностей.

6.5 Определения

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

6.5.1 Определение 1

(forall (?а) (iff (primitive ?а)

(forall (?al)

(implies (subactivity ?al ?a)

(= ?al ?a))))))

  • 6.6 Аксиомы

6.6.1 Аксиома 1

subactivity — это отношение между деятельностями:

(forall (?а1 ?а2)

(implies (subactivity ?a1 ?a2)

(and (activity ?a1)

(activity ?a2))))

6.6.2 Аксиома 2

Отношение subactivity является рефлексивным:

(forall (?a)

(implies (activity ?a)

(subactivity ?a ?a)))

6.6.3 Аксиома 3

Отношение subactivity является антисимметричным:

(forall (?a1?a2)

(implies (and (subactivity ?a1 ?a2)

(subactivity ?a2 ?a1)) (=?a1 ?a2)))

6.6.4 Аксиома 4

Отношение subactivity является транзитивным:

(forall (?а1?а2?аЗ)

(implies (and (subactivity ?a1 ?a2)

(subactivity ?a2 ?a3)) (subactivity ?a1 ?a3)))

6.6.5 Аксиома 5

Отношение subactivity является дискретным упорядочением, поэтому для каждой деятельности существует подчиненная деятельность, расположенная 8 структуре этого упорядочения.

(forall (?а1 ?а2)

(implies (subactivity ?a1 ?a2)

(exists (?a3)

(and (subactivity ?a1 ?a3)

(subactivity ?аЗ ?а2)

(forall (?а4)

(implies (and (subactivity ?a1 ?a4) (subactivity ?a4 ?a3)

(or(=?a4 ?a1) (= ?a4? a3))))))))

6.6.6 Аксиома 6

Отношение subactivity является дискретным упорядочением. Для каждой деятельности существует подчиненная деятельность, расположенная в структуре этого упорядочения.

(forall (?а1?а2)

(implies (subactivity ?a1 ?a2)

(exists (?a3)

(and (subactivity ?a1 ?a3)

(subactivity ?a3?a2)

(forall (?a4)

(implies (and (subactivity ?a3 ?a4) (subactivity ?a4 ?a2)

(or (= ?a4 ?a2)

(=?a4?a3))))))))

7 Теория ядра дерева случаев

Occurrence tree представляет собой множество всех дискретных последовательностей случаев деятельности, изоморфных подструктурам дерева ситуаций, подлежащих ситуационному исчислению (см. приложение С). Основное отличие дерева ситуаций от последних заключается в том, что для каждого дерева случаев существует единственный начальный случай деятельности, а не единственная начальная ситуация. В ситуационном исчислении используется отношение poss, позволяющее определять ограничения ко всем случаям деятельности в дереве случаев. Так как в дерево случаев входят последовательности, которые разработчиками модели домена будут признаны невозможными, отношение poss «обрезает» ветви дерева случаев, соответствующие невозможным случаям деятельности.

Дерево случаев не является структурой, представляющей подчиненные деятельности какой-либо деятельности. Оно представляет все случаи всех деятельностей в домене, а не конкретный случай деятельности.

7.1 Примитивные отношения

Нелогическая лексика теории ядра дерева случаев включает в себя следующие символы примитивных отношений:

-earlier (ранее);

  • - initial (начальный);

  • - legal (допустимый).

7.2 Примитивные функции

Нелогическая лексика теории ядра дерева случаев включает в себя следующий символ примитивной функции:

  • - successor (следующий элемент).

7.3 Связь с другими наборами аксиом

В теории ядра дерева случаев используется теория pslcore.th, установленная в ИСО 18629-11. Лексика дефиниций для теории ядра дерева случаев не требуется.

  • 7.4 Неформальная семантика

7.4.1 Отношение earlier

Обозначение KIF символа earlier:

(earlier ?occl ?осс2)

Неформальная семантика для отношения earlier:

(earlier ?occl ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если два случая деятельности ?осс1 и ?осс2 принадлежат одной и той же ветви дерева, а ?осс1 находится ближе к корневому элементу дерева, чем ?осс2.

В интерпретациях деревьев случаев множество всех последовательностей случаев деятельности образует дерево, а отношение earlier задает частичное упорядочение всех случаев деятельности, принадлежащих этому дереву.

7.4.2 Отношение initial

Обозначение KIF символа initial:

(initial ?осс)

Неформальная семантика отношения initial:

(initial ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если случай деятельности ?осс является корневым элементом дерева случаев.

7.4.3 Отношение legal

Обозначение KIF отношения legal:

(legal ?осс)

Неформальная семантика отношения legal:

(legal ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если случай деятельности ?осс является элементом допустимого дерева случаев.

7.4.4 Отношение poss

Обозначение KIF символа отношения poss:

(poss ?осс1 ?осс2)

Неформальная семантика символа отношения poss:

(poss ?а ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если для деятельности ?а существует случай, являющийся следующим элементом случая деятельности ?осс в дереве случаев.

7.4.5 Отношение precedes

Обозначение KIF символа отношения precedes:

(precedes ?осс1 ?осс2)

Неформальная семантика символа отношения precedes:

(precedes ?осс1 ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если случай деятельности ?осс1 расположен раньше случая деятельности ?осс2 в дереве случаев, а все случаи деятельности между этими случаями соответствуют возможным деятельностям. Данное отношение определяет поддерево дерева случаев, в котором каждый случай деятельности является случаем возможной деятельности.

7.4.6 Отношение successor

Обозначение KIF символа отношения successor:

(successor ?а ?осс)

Неформальная семантика символа отношения successor:

(= (successor ?а ?осс) ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если ?осс2 обозначает случай ?а, следующий за случаем деятельности ?осс в дереве случаев.

7.5 Аксиомы

Теория ядра дерева событий включает в себя следующие аксиомы:

7.5.1 Аксиома 1

Отношение earlier применимо только для следующих случаев деятельности:

(forall (?осс1 ?осс2)

(implies (earlier ?осс1 ?осс2)

(and (activity_occurrence ?ocd) (activity_occurrence ?осс2))))

7.5.2 Аксиома 2

Отношение earlier нерефлексивно для множества случаев:

(forall (?осс1 ?осс2)

(implies (earlier ?осс1 ?осс2)

(not (earlier ?осс2 ?осс1))))

7.5.3 Аксиома 3

Отношение earlier является транзитивным для множества случаев:

(forall (?осс1 ?осс2?оссЗ)

(implies (and (earlier ?осс 1 ?осс2)

(earlier ?осс2 ?оссЗ))

(earlier ?осс1 ?оссЗ)))

7.5.4 Аксиома 4

Ветвь дерева случаев представляет собой полностью упорядоченное множество случаев деятельности:

(forall (?осс1 ?осс2 ?оссЗ)

(implies (and (earlier ?осс 1 ?осс2)

(earlier ?оссЗ ?осс2)

(or (earlier ?осс1 ?оссЗ)

(earlier ?оссЗ ?осс1)

(=?оссЗ ?осс1))))

7.5.5 Аксиома 5

Ни один случай не может произойти раньше начального случая:

(forall (?осс1 ?осс2)

(implies (initial ?ocd)

(not (exists (?осс2) (earlier ?осс2 ?осс1)))))

7.5.6 Аксиома 6

Каждая ветвь дерева случаев имеет начальный случай:

(forall (?осс1 ?осс2)

(implies (earlier ?осс1 ?осс2)

(exists (?осср)

(and (initial ?осср)

(or (earlier ?осср ?ocd) (=?осср?осс1))))))

7.5.7 Аксиома 7

Каждая деятельность имеет начальный случай:

(forall (?а)

(implies (activity ?а)

(exists (?s)

(and (occurrence_of ?s ?a)

(initial ?s))»)

7.5.8 Аксиома 8

Два начальных случая деятельности дерева случаев не являются случаями одной и той же деятельности:

(forall (?осс1 ?осс2 ?а)

(implies (and (initial ?осс1)

(initial ?осс2)

(occurrence_of?occ1 ?а) (occurrence_of ?осс2 ?а))

(= ?ocd ?осс2)))

7.5.9 Аксиома 9

Элемент случая деятельности, представляющий случай деятельности:

(forall (?а ?осс)

(implies (and (activity_occurrence ?осс)

(activity ?а))

(occurrence_of (successor ?a ?occ) ?a))))

7.5.10 Аксиома 10

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

(forall (?осс)

(implies (not (initial ?осс))

(exists (?а ?осср)

(= ?осс (successor ?а ?осср)))))

7.5.11 Аксиома 11

Случай ?осс1 происходит ранее следующего случая ?осс2 только в том случае, если случай ?осс2 происходит позже случая ?осс1.

(forall (?а ?осс1 ?осс2)

(iff (earlier ?ocd (successor ?а ?осс2))

(or (earlier ?осс 1 ?осс2)

(=?осс1 ?осс2)))))

7.5.12 Аксиома 12

Отношение legal является ограничением к случаям деятельности:

(forall (?осс)

(implies (legal ?осс)

(activity_occurrence ?осс)))

7.5.13 Аксиома 13

Если случай деятельности допускается, то допускаются и все предшествующие ему случаи деятельности:

(forall (?осс1 ?осс2)

(implies (and (legal ?осс1)

(earlier ?осс2 ?ocd))

(legal ?осс2)))

7.5.14 Аксиома 14

Момент завершения endof случая деятельности предшествует моменту начала beginof следующего случая деятельности:

(forall (?осс1 ?осс2)

(implies (earlier ?осс1 ?осс2)

(before (endof ?осс1) (beginof ?осс2))))

7.5.15 Определение 1

poss — это отношение между деятельностями и случаями деятельности:

(forall (?а ?осс) (iff (poss ?а ?осс)

(legal (successor ?а ?осс))))

7.5.16 Определение 2

Случай деятельности ?осс1 предшествует случаю деятельности ?осс2 только в том случае, если ?осс1 происходит ранее ?осс2 в отношении упорядочения earlier, и каждый случай между этими случаями является возможным:

(forall (?ocd ?осс2) (iff (precedes ?осс1 ?осс2)

(and (earlier ?осс 1 ?осс2)

(legal ?осс2))))

8 Теория ядра дискретного состояния

В Discrete state введено понятие состояний (флюентов). Флюенты изменяются только при наступлении случаев деятельности, но остаются неизменными во время случаев примитивной деятельности. При этом у деятельностей есть предпосылки (флюенты, существующие до наступления случая) и последствия (флюенты, возникающие после наступления случая).

8.1 Примитивные категории

Нелогическая лексика теории ядра дискретного состояния включает в себя следующую примитивную категорию:

- state.

8.2 Примитивные отношения

Нелогическая лексика теории ядра дискретного состояния включает s себя следующие символы примитивных отношений:

  • - holds;

  • - prior.

8.3 Связь с другими наборами аксиом

В теории ядра дискретного состояния используются следующие теории:

  • - pslcore.th, установленная в ИСО 18629-11;

  • - occtree.th (теория ядра дерева случаев).

Лексика дефиниций для теории ядра дискретного состояния не требуется.

  • 8.4 Неформальная семантика

8.4.1 Отношение state

Обозначение KIF символа state:

(state ?f)

Неформальная семантика символа state:

(state ?f) принимает значение TRUE в интерпретации теории ядра дискретного состояния только в том случае, если ?f представляет собой множество состояний ракурса рассмотрения интерпретации. Состояния образуют подкатегорию объекта.

Примечание — Объект определен в ИСО 18629-11.

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

8.4.2 Отношение holds

Обозначение KIF символа отношения holds:

(holds ?f?occ)

Неформальная семантика символа отношения holds:

(holds ?f ?осс) принимает значение TRUE в интерпретации теории ядра дискретного состояния только в том случае, если состояние ?f является истинным после случая деятельности ?осс.

8.4.3 Отношение prior

Обозначение KIF символа отношения:

(prior ?f?occ)

Неформальная семантика для отношения prior:

(prior ?f ?осс) принимает значение TRUE 8 интерпретации теории ядра дискретного состояния только в том случае, если состояние ?f является истинным до случая деятельности ?осс.

8.5 Аксиомы

Теория ядра дискретного состояния включает в себя следующие аксиомы.

8.5.1 Аксиома 1

Состояния являются объектами:

(forall (?f)

(implies (state ?f)

(object ?f)))

8.5.2 Аксиома 2

Отношение holds действует только между состояниями и случаями деятельности. Это означает, что состояние является истинным после случая деятельности ?о:

(forall (?f?occ)

(implies (holds ?f ?occ)

(and (state ?f)

(activity_occurrence ?occ))))

8.5.3 Аксиома 3

Отношение prior действует только между состояниями и случаями деятельности. Это означает, что состояние является истинным после случая деятельности ?о:

(forall (?f?occ)

(implies (prior ?f ?occ)

(and (state ?f)

(activrty_occurrence ?occ))))

8.5.4 Аксиома 4

Состояния, существовавшие до начальных случаев, согласованы друге другом:

(forall (?ocd ?осс2 ?f)

(implies (and (initial ?occ1)

(initial ?occ2))

(iff (prior ?f?occ1)

(prior ?f?occ2))))

8.5.5 Аксиома 5

Состояние может возникнуть после случая только в том случае, если оно существует до следующего случая:

(forall (?а ?осс)

(iff (holds ?f?occ)

(prior ?f (successor ?a ?occ))))

8.5.6 Аксиома 6

Если состояние возникает после случая какой-либо деятельности, существует самый ранний случай деятельности на ветви дерева, где находится это состояние:

(forall (?f?occ1)

(implies (holds ?f ?occ1)

(exists (?occ2)

(and (precedes ?occ2 ?occl)

(holds ?f?occ2)

(or (initial ?occ2)

(not (prior ?f?occ2)))

(forall (?occ3)

(implies (and (precedes ?occ2 ?occ3)

(precedes ?occ3 ?occ1))

(holds ?f?occ3)))))))

8.5.7 Аксиома 7

Если состояние не возникает после случая какой-либо деятельности, существует самый ранний случай деятельности на ветви, где этого состояния нет:

(forall (?f?occ1)

(implies (not (holds ?f?occ1))

(exists (?occ2)

(and (precedes ?occ2 ?occ1)

(not (holds ?f?occ2))

(or (initial ?occ2)

(prior ?f?occ2))

(not (exists (?occ3)

(and (precedes ?occ2 ?occ3)

(precedes ?occ3 ?occ1))

(holds ?f?occ3))))))))

9 Теория ядра атомарной деятельности

Atomic activity предоставляет аксиомы, относящиеся к интуитивным представлениям об одновременном параллельном агрегировании примитивных деятельностей, которое, как правило, представляют в терминах осуществления/лроисхождения одновременных деятельностей, а не в терминах одновременного осуществления/лроисхождения деятельностей.

9.1 Примитивные отношения

Нелогическая лексика теории ядра атомарной деятельности включает в себя следующий символ примитивного отношения:

- atomic.

9.2 Примитивные функции

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

  • - сопс.

9.3 Связь с другими наборами аксиом

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

  • - pslcore.th, установленная в ИСО 18629-11 (ядро PSL);

  • - occtree.th (теория ядра дерева случаев);

  • - subactivity.th (теория ядра подчиненной деятельности).

Лексика дефиниций для теории ядра атомарной деятельности не требуется.

  • 9.4 Неформальная семантика

9.4.1 Отношение atomic

Обозначение KIF символа отношения atomic:

(atomic ?а)

Неформальная семантика символа отношения atomic:

(atomic ?а) принимает значение TRUE в интерпретации теории ядра атомарной деятельности только в том случае, если ?а является либо примитивной деятельностью, либо суперпозицией множества параллельных примитивных деятельностей.

9.4.2 Отношение сопс

Обозначение KIF символа отношения сопс:

(сопс?а1 ?а2)

Неформальная семантика символа отношения сопс:

(= ?аЗ (сопс ?а1 ?а2)) принимает значение TRUE в интерпретации теории ядра атомарной деятельности только в том случае, если ?аЗ является атомарной деятельностью, являющейся суперпозицией двух параллельных атомарных деятельностей ?а1 и ?а2.

9.5 Определения

Данная теория ядра не включает в себя определений.

9.6 Аксиомы

Теория ядра атомарной деятельности включает в себя следующие аксиомы.

9.6.1 Аксиома 1

Любая примитивная деятельность является атомарной:

(forall (?а)

(implies (primitive ?а)

(atomic ?а)))

9.6.2 Аксиома 2

Функция сопс является идемпотентной:

(forall (?а)

(= ?а(сопс ?а?а)))

9.6.3 Аксиома 3

Функция сопс является коммутативной:

(forall (?а1 ?а2)

(= (сопс ?а 1 ?а2) (сопс ?а2 ?а 1)))

9.6.4 Аксиома 4

Функция сопс является ассоциативной:

(forall (?а1 ?а2?аЗ)

(= (сопс ?а1 (сопс ?а2 ?аЗ)) (сопс (сопс ?а1 ?а2) ?аЗ)))

9.6.5 Аксиома 5

Параллельная агрегация атомарной деятельности является атомарной деятельностью:

(forall (?а1 ?а2)

(iff (atomic (сопс ?a1 ?а2))

(and (atomic ?a1)

(atomic ?a2))))

9.6.6 Аксиома 6

Атомарная деятельность ?а1 является подчиненной деятельностью атомарной деятельности ?а2 только в случае, если ?а2 является идемпотентной для ?а1:

(forall (?а1 ?а2)

(implies (and (atomic ?a1)

(atomic ?a2J) (iff (subactivity ?a1 ?a2) (=?a2(conc?a1 ?a2)))))

9.6.7 Аксиома 7

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

(forall (?а1?а2)

(implies (atomic ?а2)

(iff (subactivity ?a1 ?a2) (exists (?a3)

(= ?a2(conc?a1 ?a3)»)>)

9.6.8 Аксиома 8

Псевдоструктура атомарных деятельностей является дистрибутивной:

(forall (?а?Ь0?Ы)

(implies (and (subactivity ?a (cone ?b0 ?b1))

(not (primitive ?a)))

(exists (?a0 ?a1)

(and (subactivity ?a0 ?a) (subactivity ?a1 ?a) (= ?a (cone ?a0?a1))))))

9.6.9 Аксиома 9

Только случаи атомарной деятельности могут быть элементами допустимого дерева случаев:

(forall (?а ?осс)

(implies (and (occurrence_of ?осс ?а)

(legal ?осс))

(atomic ?а)))

10 Теория ядра комплексной деятельности

Complex activity является основой для представлений и логических выводов в отношении составной деятельности, а также отношений между случаями деятельности и случаями ее подчиненных деятельностей. В моделях теории ядра составной деятельности случаи составной деятельности соответствуют поддеревьям дерева случаев. Деятельность может включать в себя подчиненные деятельности, которые не происходят. Единственным ограничением является соответствие любого случая подчиненной деятельности поддереву дерева случаев, описывающего случаи данной деятельности. Не каждый случай деятельности является случаем подчиненной деятельности. Во время случая деятельности могут происходить другие внешние деятельности. Различные подчиненные деятельности могут находиться на разных ветках дерева деятельности, так что для различных случаев деятельности могут происходить различные случаи подчиненных деятельностей.

10.1 Примитивные отношения

Нелогическая лексика теории ядра составной деятельности включает в себя следующие примитивные отношения:

- min_precedes:

-root.

10.2 Установленные отношения

Нелогическая лексика теории ядра составной деятельности включает в себя следующие установленные отношения:

  • - subtree;

-do;

  • - leaf;

  • - next_subocc;

-sibling.

10.3 Связь с другими наборами аксиом

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

  • - pslcore.th, установленная в ИСО 18629-11;

-occtree.th;

  • - subactivity.th;

  • - atomic.th.

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

  • 10.4 Неформальная семантика

10.4.1 Отношение min_precedes

Обозначение KIF символа отношения min_precedes:

(min_ precedes ?ocd ?осс2?а)

Неформальная семантика символа отношения min_precedes:

(min_precedes ?осс1 ?осс2 ?а) принимает значение TRUE 8 интерпретации теории ядра составной деятельности только в том случае, если ?осс1 и ?осс2 являются случаями подчиненной деятельности в дереве деятельности ?а, а ?осс1 предшествует ?осс2 в поддереве. Любой случай деятельности ?а соответствует дереву деятельности, являющемуся поддеревом дерева случаев. Случаи деятельности в этом поддереве являются случаями подчиненной деятельности, соответствующими случаю деятельности ?а.

10.4.2 Отношение root

Обозначение KIF символа отношения root:

(root ?осс ?а)

Неформальная семантика символа отношения root:

(root ?осс ?а) принимает значение TRUE 8 интерпретации теории ядра составной деятельности только в том случае, если случай деятельности ?осс является корневым элементом дерева деятельности ?а.

10.4.3 Отношение subtree

Обозначение KIF для отношения subtree:

(subtree ?осс ?a1 ?а2)

Неформальная семантика символа отношения subtree:

(subtree ?осс?а1 ?а2) принимает значение TRUE в интерпретации теории ядра составной деятельности только в случае, если каждый случай атомарной подчиненной деятельности в дереве деятельности ?а 1 с корневым элементом ?осс является элементом дерева деятельности ?а2.

10.4.4 Отношение leaf

Обозначение KIF символа отношения leaf:

(leaf ?осс ?а)

Неформальная семантика символа отношения leaf:

(leaf ?осс ?а) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если случай деятельности ?осс является элементом дерева деятельности ?а.

10.4.5 Отношение do

Обозначение KIF символа отношения do:

(do ?а ?осс1 ?осс2)

Неформальная семантика символа отношения do:

(do ?а ?осс1 ?осс2) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если ?осс1 является корневым элементом дерева деятельности, а ?осс2 — элементом того же дерева, так что оба случая деятельности являются элементами одной и той же ветви дерева деятельности.

10.4.6 Отношение next_subocc

Обозначение KIF символа отношения next_subocc:

(next_subocc?occ1 ?осс2?а)

Неформальная семантика символа отношения next_subocc:

(next_subocc ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если ?осс1 предшествует ?осс2 на дереве деятельности, на котором не существует случая подчиненной деятельности между двумя данными случаями.

10.5 Определения

Теория ядра составной деятельности содержит следующие определения.

10.5.1 Определение 1

Дерево деятельности ?а1 с корневым элементом, представленным случаем ?осс1, является поддеревом дерева деятельности ?а2 в том случае, если случай каждой подчиненной атомарной деятельности дерева деятельности ?а1 является элементом дерева деятельности ?а2:

(forall (?ocd ?a1 ?а) (iff (subtree ?осс1 ?a1 ?а2)

(and (root ?ocd ?а1)

(exists (?occ2)

(and (root ?occ2 ?a2)

(min_precedes?occ1 ?occ2 ?a1)))

(exists (?occ3)

(and(min_precedes?occ1 ?occ3?a1)

(not (min_precedes ?occ2 ?occ3 ?a2)))))))

10.5.2 Определение 2

Случай является элементом дерева деятельности только в том случае, если существует более ранний случай подчиненной атомарной деятельности, но не существует более позднего случая подчиненной атомарной деятельности:

(forall (?осс ?а) (iff (leaf ?осс ?а)

(exists (?осс1)

(and (min_precedes ?осс1 ?осс ?а)

(not (exists (?осс2)

(min_precedes ?осс ?осс2 ?а))))))

10.5.3 Определение 3

Отношение do устанавливает начальный и конечный случаи атомарной деятельности, подчиненной этой деятельности:

(forall (?а ?осс1 ?occ2)(iff(do?a?occ1 ?осс2)

(and (min_precedes ?осс1 ?осс2 ?а)

(not (exists (?оссЗ)

(min_precedes ?оссЗ ?осс1 ?а))>

(not (exists (?осс4)

(min_precedes ?осс2 ?осс4 ?а)))))))

10.5.4 Определение 4

Случай деятельности ?осс2 является следующим случаем подчиненной деятельности после случая ?осс1 в дереве деятельности ?а только в том случае, если ?осс1 предшествует ?осс2 на дереве деятельности и не существует случая подчиненной деятельности между этими случаями:

(forall (?ocd ?occ2?a)(iff(next_subocc?occ1 ?осс2?а)

(and (min_precedes ?осс1 ?осс2 ?а)

(not (exists (?оссЗ)

(and (min_precedes ?осс1 ?оссЗ ?а)

(min_precedes ?оссЗ ?осс2 ?а))))))

10.5.5 Определение 5

Случаи подчиненной атомарной деятельности ?осс1 и ?осс2 являются родственными по отношению к деятельности ?а либо когда у них есть общий предшествующий элемент в дереве деятельности ?а, либо когда они оба являются корневыми элементами дерева деятельности ?а, имеющими общий предшествующий элемент в дереве событий:

(forall (?ocd ?осс2?а) (iff (sibling ?осс1 ?осс2?а)

(or (exists (?оссЗ)

(and (next_subocc ?оссЗ ?осс1 ?а)

(next_subocc ?оссЗ ?осс2 ?а)))

(and (root ?осс1 ?а)

(root ?осс2 ?а)

(or (and (initial ?ocd)

(initial ?осс2))

(exists (?осс4 ?a1 ?а2)

(and (=?ocd (successor ?a1 ?occ4))

(= ?occ2 (successor ?a2 ?occ4)))))>)))

10.6 Аксиомы

Теория ядра составной деятельности включает в себя следующие аксиомы.

10.6.1 Аксиома 1

Любые случаи деятельности на дереве деятельности соответствуют случаям атомарной деятельности, подчиненной этой деятельности:

(forall (?а ?осс1 ?осс2)

(implies (min_precedes ?осс1 ?осс2 ?а)

(exists (?а1 ?ар)

(and (subactivity ?a1 ?a) (atomic ?ap) (subactivity ?a1 ?ap) (occurrence_of?occ2 ?ap)))))

10.6.2 Аксиома 2

Любые случаи деятельности на дереве деятельности соответствуют случаям атомарной деятельности, подчиненной этой деятельности:

(forall (?а ?осс1 ?осс2)

(implies (min_precedes ?осс1 ?осс2 ?а)

(exists (?а2 ?ар)

(and (subactivity ?а2 ?а) (atomic ?ар) (subactivity ?а2 ?ар) (occurrence_of?occl ?ар)))))

10.6.3 Аксиома 3

Случаи корневого элемента на дереве деятельности соответствуют случаям атомарной деятельности, подчиненной этой деятельности:

(forall (?а ?осс1)

(implies (root ?осс1 ?а)

(exists (?а2 ?ар)

(and (subactivity ?а2 ?а)

(atomic ?ар) (subactivity ?а2 ?ар) (occurrence_of?occl ?ар)))))

10.6.4 Аксиома 4

На всех деревьях деятельности существует случай корневой подчиненной деятельности:

(forall (?осс1 ?осс2 ?а)

(implies (min_precedes ?осс1 ?осс2 ?а)

(exists (?оссЗ)

(and (root ?оссЗ ?а)

(or(min_precedes ?оссЗ ?осс1 ?а)

(= ?оссЗ ?осс1))))))

10.6.5 Аксиома 5

Ни один случай подчиненной деятельности на дереве деятельности не может произойти раньше случая корневой подчиненной деятельности:

(forall (?осс ?а)

(implies (root ?осс ?а)

(not (exists (?осс2)

(min_precedes ?осс2 ?осс ?а)))))

10.6.6 Аксиома 6

Дерево деятельности представляет собой поддерево дерева случаев: (forall (?осс1 ?осс2 ?а)

(implies (min_precedes ?осс1 ?осс2 ?а)

(exists (?осс0)

(and (initial ?осс0)

(or (precedes ?осс0 ?осс1)

(= ?осс0 ?осс1))

(precedes ?осс1 ?осс2)))))

10.6.7 Аксиома 7

Случаи корневых элементов являются элементами дерева случаев: (forall (?осс?а)

(implies (root ?осс ?а)

(exists (?осс0)

(and (initial ?оссО)

(or (precedes ?осс0 ?осс) (= ?осс0 ?осс))))))

10.6.8 Аксиома 8

Каждый случай атомарной деятельности является деревом деятельности, содержащим только один случай:

(forall (?а1 ?а2?осс)

(implies (and (atomic ?a1)

(occurrence_of ?occ ?a 1)

(subactivity ?a2?a1))

(root ?occ ?a2)))

10.6.9 Аксиома 9

Деревья деятельности являются дискретными: (forall (?осс1 ?осс2)

(implies (min_precedes ?осс1 ?осс2 ?а)

(exists (?оссЗ)

(and (next_subocc ?осс1 ?оссЗ ?а)

(or (min_precedes ?оссЗ ?осс2 ?а)

(= ?оссЗ ?осс2))))))

10.6.10 Аксиома 10

Случаи подчиненной деятельности, находящиеся на одной ветви дерева случаев, принадлежат одной ветви дерева деятельности:

(forall (?а ?осс1 ?осс2 ?оссЗ)

(implies (and (min_precedes ?осс1 ?осс2 ?а)

(min_precedes ?осс1 ?оссЗ ?а)

(precedes ?осс2 ?оссЗ))

(min_precedes ?осс2 ?оссЗ ?а))>

10.6.11 Аксиома 11

Дерево деятельности случая составной подчиненной деятельности является поддеревом дерева деятельности случая.

(forall (?а1 ?а2)

(implies (subactivity ?a1 ?a2)

(not (exists (?occ)

(subtree ?occ ?a2 ?a 1)))))

11 Теория ядра случаев деятельности

Activity occurrence включает в себя аксиомы, ограничивающие свойства случаев атомарной подчиненной деятельности. Теория ядра случаев деятельности сводит интуитивные представления к произвольным составным элементам подчиненной деятельности.

11.1 Примитивные отношения

Нелогическая лексика теории ядра случаев деятельности включает в себя символы следующих примитивных отношений:

  • - subactivity_occurrence;

-мопо.

11.2 Установленные отношения в теории ядра случаев деятельности

Нелогическая лексика теории ядра случаев деятельности включает в себя символы следующих установленных отношений:

  • - root_occ;

  • - Ieaf_occ;

  • - same_grove;

• iso_occ;

-equiv_occ;

  • - horn.

11.3 Связь с другими наборами аксиом

Применяют следующие теории ядра:

-psl_core.th, установленную 8 ИСО 18629-11;

  • - occtree.th;

  • - subactivi ty.th;

  • - atomic.th;

  • - complex.th.

Лексика дефиниций для теории ядра случаев деятельности не требуется.

  • 11.4 Неформальная семантика

11.4.1 Отношение subactivity „occurrence

Обозначение KIF символа отношения subactivity_occurrence:

(subactivity_occurrence ?осс1 ?осс2)

Неформальная семантика сотношения subactivity „occurrence:

Существует однозначное соответствие случаев деятельности и ветвей деревьев данной деятельности.

Неформальное описание отношения subactivity_occurrence:

(subactivity „occurrence ?осс1 ?осс2) принимает значение TRUE в интерпретации теории ядра случаев деятельности только в том случае, если ветвь, соответствующая случаю деятельности ?осс1, является подмножеством ветви, соответствующей случаю деятельности ?осс2.

11.4.2 Отношение mono

Обозначение KIF символа отношения mono:

(mono?occ1 ?осс2?а)

Неформальная семантика символа отношения mono:

(mono ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра случаев деятельности только в том случае, если существует однозначное соответствие между ветвями дерева деятельности ?а, при котором случай атомарной подчиненной деятельности ?осс1 отображается в случай атомарной деятельности ?осс2.

11.4.3 Отношение root_occ

Обозначение KlFcnMBona отношения root_occ:

(root_occ?occ1 ?осс2 ?а)

Неформальная семантика символа отношения root_occ:

(root_occ ?осс 1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра случаев деятельности только в том случае, если случай деятельности ?осс1 является случаем корневого элемента ветви дерева деятельности ?а, соответствующего случаю деятельности ?осс2.

11.4.4 Отношение leaf_occ

Обозначение KlFcnMBona отношения leaf_occ:

(leaf_occ?occl ?осс2 ?а)

Неформальная семантика символа отношения leaf_occ:

(Ieaf_occ?occ1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра случаев деятельности только в том случае, если случай деятельности ?осс1 является элементом ветви дерева деятельности ?а, соответствующего случаю деятельности ?осс2.

11.4.5 Отношение iso_occ

Обозначение KIF символа отношения iso_occ:

(iso_occ ?осс1 ?осс2)

Неформальная семантика символа отношения iso_occ:

(iso_occ ?осс1 ?осс2) принимает значение TRUE 8 интерпретации теории ядра случаев деятельности только в том случае, если ?осс1 и ?осс2 являются случаями атомарной деятельности, включающей в себя общую подчиненную деятельность.

11.4.6 Отношение hom

Обозначение К1Есимвола отношения hom:

(horn ?осс 1 ?осс2 ?а)

Неформальная семантика символа отношения hom:

(hom ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра случаев деятельности только в случае, если существует отображение между ветвями дерева деятельности ?а, при котором случай атомарной подчиненной деятельности ?осс1 отображается в случай атомарной подчиненной деятельности ?осс2.

11.4.7 Отношение same grove

Обозначение KIF символа отношения same_grove:

(same_grove ?осс1 ?осс2 ?а)

Неформальная семантика символа отношения same_tree:

(same_grove ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра случаев деятельности только в том случае, если случаи ?осс1 и ?осс2 деятельности ?а соответствуют ветвям одного и того же дерева деятельности ?а.

11.5 Определения

Теория ядра случаев деятельности содержит следующие определения.

11.5.1 Определение 1

Случай ?осс1 является корневым случаем случая деятельности ?а только в том случае, если он является случаем подчиненной деятельности и корневым элементом дерева деятельности ?а:

(forall (?осс1 ?осс2) (iff (= ?осс2 (root_occ ?осс1)

(exists (?а)

(and (occurrence ?осс1 ?а)

(subactivity_occurrence ?осс2 ?ocd)

(root ?осс2 ?а)))))

11.5.2 Определение 2

Случай ?осс 1 является элементом случая деятельности ?а только в том случае, если он является случаем подчиненной деятельности и элементом дерева деятельности ?а.

(forall (?s ?осс) (iff (leaf_occ ?s ?occ)

(exists (?a)

(and (occurrence_of ?occ ?a)

(subactivity_occurrence ?s ?occ)

(leaf?s?a)))))

11.5.3 Определение 3

Случай деятельности ?occ1 является изоморфенным случаю деятельности ?осс2, если оба случая являются случаями атомарной деятельности, содержащей общую подчиненную деятельность:

(forall (?s1 ?s2)(iff(MCO_occ?s1 ?s2)

(exists (?a1 ?a2)

(and (occurrence_of?s1 ?a1) (occurrence_of ?s2 ?a2) (subactivity ?a1 ?a2)))))

11.5.4 Определение 3

Два случая деятельности эквивалентны только в том случае, если они являются случаями атомарных деятельностей, имеющих общую подчиненную деятельность:

(forall (?ocd ?occ2)(iff(equiv_occ?occ1 ?осс2)

(exists (?а1 ?а2?аЗ)

(and(occurrence_of?occ1 (conc?a1 ?а2)) (occurrence_of?occ2 (conc?a1 ?аЗ)))))))

11.5.5 Определение 4

(forall (?s1 ?s2?a) (iff (horn ?s1 ?s2?a)

(exists (?occ1 ?occ2)

(and(iso_occ?s1 ?s2)

(subactivity_occurrence ?s1 ?occ1)

(subactivity_occurrence ?s2 ?occ2) (occurrence_of?occ1 ?a) (occurrence_of ?occ2 ?a)

(not(= ?occ1 ?occ2))))))

11.5.6 Определение 5

Два случая деятельности принадлежат к одному множеству деревьев деятельности только в том случае, если они имеют общий корневой случай:

(forall (?ocd ?occ2)(iff(same_grove?occ1 ?осс2)

(exists (?а)

(and (occurrence_of ?осс1 ?а)

(occurrence_of ?осс2 ?а)

(or (and (initial (root_occ ?occ1))

(initial (root_occ ?occ2)))

(exists (?s4 ?a1 ?a2)

(and (= (root_occ ?occ1) (successor ?a1 ?s4))

(= (root_occ ?occ2) (successor ?a2 ?s4»)))))))

11.6 Аксиомы

Теория ядра случаев деятельности включает в себя следующие аксиомы.

11.6.1 Аксиома 1

Для каждой ветви дерева деятельности ?а существует случай деятельности ?а. Все случаи атомарной подчиненной деятельности на ветви являются случаями подчиненной деятельности, соответствующими этому случаю ?а:

(forall (?а ?осс1 ?осс2)

(implies (min_precedes ?осс1 ?осс2 ?а)

(exists (?осс)

(and (occurrence ?осс ?а)

(subactivity_occurrence ?осс1 ?осс) (subactivity_occurrence ?осс2 ?осс)))))

11.6.2 Аксиома 2

Для каждой ветви дерева деятельности ?а существует случай деятельности ?а. Корневой случай подчиненной деятельности на ветви является случаем подчиненной деятельности, соответствующим случаю деятельности ?а:

(forall (?а ?s)

(implies (root ?s ?a)

(exists (?occ)

(occurrence_of ?occ ?a)

(subactivity_occurrence ?s ?occ))))

11.6.3 Аксиома 3

Каждый случай деятельности ?а включает в себя случаи атомарной подчиненной деятельности, которые являются элементами дерева деятельности ?а:

(forall (?осс ?а)

(implies (exists ?s1 ?s2)

(and (subactivity^occurrence ?s1 ?occ) (subactivity_occurrence ?s2 ?occ) (root ?s2 ?a)

(or (min_precedes ?s2 ?s1 ?a)

(=?s1 ?s2))))))

11.6.4 Аксиома 4

Разные случаи деятельности соответствуют разным ветвям дерева деятельности:

(forall (?а ?s1 ?осс1 ?осс2)

(implies (and (occurrence_of?occ1 ?а) (occurrence_of ?осс2 ?а) (not (= ?осс 1 ?осс2)) (subactivity_occurrence ?s1 ?ocd) (subactivity_occurrence ?s1 ?осс2))

(exists (?s2)

(and (min_precedes ?s1 ?s2 ?a) (subactivity_occurrence ?s1 ?occ1) (not (subactivity_occurrence ?s 1 ?occ2))))))

11.6.5 Аксиома 5

Все случаи атомарной подчиненной деятельности случая составной деятельности являются элементами одной и той же ветви дерева деятельности:

(forall (?а ?a1 ?а2 ?осс ?s1 ?s2)

(implies (and (occurrence_of ?occ ?a)

(occurrence_of?s1 ?a1) (atomic ?a1) (occurrence_of ?s2 ?a2)

(atomic ?a2)

(subactivity_occurrence ?s1 ?occ) (subactivity_occurrence ?s2 ?occ)) (or(min_precedes?s1 ?s2?a)

(min_precedes ?s2 ?s1 ?a)

(=?s1 ?s2))))

11.6.6 Аксиома 6

Все элементы одной ветви дерева деятельности являются случаями атомарной подчиненной деятельности одних и тех же случаев деятельности:

(forall (?a?s1 ?s2?occ) (implies (and (min_precedes ?s1 ?s2 ?a)

(subactivity_ooccurrence ?s2 ?occ)) (subactivity_occurrence ?s1 ?occ))

11.6.7 Аксиома 7

Отношение subactivity_occurrence не противоречит отношению subactivity:

(forall (?a1 ?a2 ?occ1 ?occ2)

(implies (and (occurrence_of ?occ1 ?a1) (occurrence_of ?occ2 ?a2) (subactivity_occurrence ?occ1 ?occ2))

(subactivity ?a1 ?a2)))

11.6.8 Аксиома 8

Отношение subactivity_occurrence является транзитивным:

(forall (?occ1 ?occ2 ?occ3)

(implies (and (subactivity_occurrence ?occ1 ?occ2) (subactivity_occurrence ?occ2 ?occ3)) (subactivity_occurrence ?occ1 ?occ3)))

11.6.9 Аксиома 9

Случаи подчиненных деятельностей являются случаями одной подчиненной деятельности, если они удовлетворяют условию включения ветви:

(forall (?а1 ?а2 ?осс1 ?осс2)

(implies (and (occurrence_of ?осс1 ?а 1)

(occurrence_of ?осс2 ?а2)

(subactivity ?a1 ?а2)

(not (subactivity_occurrence ?осс 1 ?осс2)))

(exists (?s)

(and (subactivity_occurrence ?s ?occ2)

(not (subactivity_occurrence ?s ?occ1))))))

11.6.10 Аксиома 10

Момент времени beginof составной деятельности совпадает с моментом времени beginof отношения root:

(forall (?осс)

(implies (activity_occurrence ?осс)

(= (beginof ?осс) (beginof (root_occ ?occ)))))

11.6.11 Аксиома 11

Момент времени endof составной деятельности совпадает с моментом времени endof отношения leaf: (forall <?s ?осс)

(implies (leaf_occ ?s ?occ)

(= (endof ?occ) (endof ?s))))

11.6.12 Аксиома 12

Отношение mono является гомоморфизмом ветвей:

(forall (?s1 ?s2 ?a)

(implies (mono ?s1 ?s2 ?a)

(hom?s1 ?s2?a)))

11.6.13 Аксиома 13

Если случай атомарной подчиненной деятельности имеет образ при гомоморфном отображении ветвей, то существует другой случай атомарной подчиненной деятельности, который находится в отношении mono с этим случаем:

(forall (?s1 ?s2 ?а)

(implies (horn ?s1 ?s2 ?a)

(exists (?s3)

(and (mono ?s3 ?s2 ?a)

(or (min_precedes ?s1 ?s3 ?a) (min_precedes ?s3 ?s1 ?a) (=?s1 ?s3»))))

11.6.14 Аксиома 14

Отношение mono исчерпывается однозначными гомоморфизмами между различными ветвями дерева деятельности:

(forall (?s1 ?s2?s3?a)

(implies (and (mono ?s1 ?s2 ?a)

(mono ?s3 ?s2 ?a))

(not (or (min_precedes ?s1 ?s3 ?a)

(min_precedes ?s3 ?s1 ?a)))))

11.6.15 Аксиома 15

(forall (?s1 ?s2 ?s3 ?s4 ?occ ?a)

(implies (and (min_precedes ?s1 ?s2 ?a)

(mono?s1 ?s3?a)

(mono ?s2 ?s4 ?a)

(subactivity_occurrence ?s3 ?occ) (subactivity_occurrence ?s4 ?occ) (iso_occ ?s1 ?s2))

(min_precedes ?s3 ?s4 ?a)))

Приложение А (обязательное)

Идентификатор ASN.1, присвоенный ИС0 18629-12

Для обеспечения однозначной идентификации информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор объекта:

ISO standard 18629 part 12 version 1

Смысл этого значения определен в ИСО/МЭК 8824-1 и описан в ИСО 18629-1.

Приложение В (справочное)

Связь с ситуационным исчислением

Теории дерева случаев, дискретных состояний и атомарной деятельности являются дополнениями к более ранним работам по исследованию представления знаний, проводимому членами сообщества исследователей в области искусственного интеллекта. В частности, понятие дерева случаев представляет собой обобщение ситуационного исчисления. Ситуационное исчисление — это формализм логических выводов о действиях, приведенных в [2]. Исходная онтология, приведенная в [2]. включает в себя ситуации, флюенты и действия. Несмотря на то что в более ранних исследованиях отсутствовала аксиоматика ситуационного исчисления, в них содержались неформальные интуитивно понятные представления, пригодные для интерпретации данных основных категорий. Ситуации рассматривались как «моментальные снимки мира», флюенты представляли свойства, которые могли быть разными для разных ситуаций, а действия вызывали изменения значений флюентов.

Язык ситуационного исчисления по (2] содержит символ отношения holds(f.s) (для указания того, что значение флюента f является истинным в ситуации s) и символ функции do(a,s) (для обозначения ситуации, которая является результатом выполнения действия а в ситуации s). Предварительные условия и результаты действия представлены аксиомами, определяющими содержание флюентов при выполнении действий.

В [4] приведен набор аксиом ситуационного исчисления. В частности. Рейтер (Reiter) предложил использовать для ситуационного исчисления аксиоматику второго порядка, в которую входит новый символ отношения poss(a.s) для обозначения возможности действия а в ситуации s, а также новый символ константы S0 для обозначения начальной ситуации. Моделями данной теории ядра являются деревья с корневым элементом S0, ветви которых представляют возможные ситуации в будущем с описанием всех возможных вариантов эволюции событий в мире. При этом произвольная последовательность действий определяет ветвь дерева ситуаций, так что две разные последовательности действий приводят к возникновению разных ситуаций. При данном подходе ситуации на интуитивном уровне представляются в виде последовательности случаев действий. Следует отметить, что деревья ситуаций не описывают переходы между состояниями, а представляют возможные в будущем гипотетические «состояния мира» в качестве результатов конкретных последовательностей действий.

Аксиоматика ситуационного исчисления, приведенная в {4], не включает в себя теорию ядра для времени и не предусматривает средств представления параллелизма. В [3] приведена расширенная аксиоматика путем включения этих концепций.

В настоящем стандарте аксиомы, приведенные в [4] и [3], модифицированы. Вместо деревьев, в которых ситуации представлены в виде последовательностей действий, рассмотрены деревья, в которых ситуации в общих чертах аналогичны случаям деятельности. Так как начальная ситуация S0 не соответствует случаю какой-либо деятельности, потребовалось введение случаев начальной деятельности. Кроме того, аксиоматика, приведенная в настоящем стандарте, является аксиоматикой первого порядка.

Приложение С (справочное)

Пример описания процесса с помощью внешнего ядра PSL

В настоящем приложении приведено подробное описание сценария, в котором формализм PSL в соответ* ствии с комплексом стандартов ИСО 18629 применяется для задач совместного использования информации при выполнении нескольких производственных функций.

Данный сценарий представляет собой сценарий интероперабельности производственной деятельности. Это означает, что он предназначен для демонстрации того, как можно использовать язык PSL для упрощения механизма обмена знаниями о технологическом процессе в производственной среде. Точнее говоря, этот сценарий ориентирован на передачу знаний от планировщика технического процесса диспетчеру предприятия мелкосерийного производства.

В настоящем приложении приведено дополнение к примеру, приведенному в приложении С ИСО 18629-11, иллюстрирующее применение концепций внешнего ядра при спецификации процесса изготовления изделия GT-350.

С.1 Процесс изготовления GT-350

В этом разделе процессы на различных производственных участках объединены на самом высоком уровне в набор видов деятельности, необходимых для изготовления изделия GT-350. В соответствии с описанием конструкции изделия GT-350 (см. ИСО 18629-11, приложение С, таблица С.1) компоненты изделия либо закупают, либо передают для изготовления изделия по субподряду, либо изготавливают изделие на самом предприятии. Описание процесса относится к деятельности, осуществляемой для изготовления внутренних компонентов. Обзор производственного процесса сверху вниз позволяет получить общую картину абстрактной деятельности по изготовлению изделия GT-350, которая расширяется вниз на детальные уровни цехов.

В соответствии с рисунком С.1 процесс изготовления изделия GT-350 распределен между шестью главными стадиями. Работы на первых пяти стадиях (изготовление внутренних элементов, привода, отделочных элементов. двигателя и шасси) не упорядочены по отношению друг к другу, но должны быть завершены до начала окончательной сборки изделия.

Рисунок С.1— Верхний уровень процесса изготовления изделия GT-350 [1]

В терминах внешнего ядра PSL представление верхнего уровня производственного процесса выглядит следующим образом:

?occ1 ?occ) ?occ2 ?occ) ?occ3 ?occ) ?occ4 ?occ) ?occ5 ?occ) ?occ6 ?occ)


(subactivity make-chassis make_gt350) (subactivity make-interior make_gt350) (subactivity make-drive make_gt350) (subaclivity make-trim make_gt350) (subactivity make-engine make_gt350) (subactivity final-assembly make_gt350) (forall (?occ) (<=> (occurrence_of ?occ make_gt350) (exists (?occ1 ?occ2 ?occ3 ?occ4 ?occ5 ?occ6) (and (occurrence_of ?occ1 make_chassis) (occurrence_of ?occ2 make_interior) (occurrence_of ?occ3 make_drive) (occurrence_of ?occ4 makejrim) (occurrence_of ?occ5 make_engine) (occurrence_of ?occ6 final_assembly) (subactivity_occurrence (subacfivily_occurrence (subactivity_occurrence (subactivity_occurrence (subactivily_occurrence (subactivity_occurrence (forall (?s1 ?s2 ?s3 ?s4 ?s5 ?s6) (implies (and (leaf_occ ?s1 ?occ1) (leaf_occ ?s2 ?occ2) (leaf_occ ?s3 ?occ3) (leaf_occ ?s4 ?occ4) (leaf_occ ?s5 ?occ5) (root_occ ?s6 ?occ6)) (min_precedes ?s1 (min_precedes (min_precedes (min_precedes (min_precedes

?s6 make_gt350) ?s6 make_gl350)

?s6 make_gl350)

?s6 make_gt350) ?s6 make_gl350)))))))


?s2 ?s3 ?s4 ?S5


Каждая абстрактная деятельность, указанная выше, может быть детализирована, однако в настоящем примере данная детализация не рассматривается.

На основе представления 8 терминах процесса IDEF3 [1] для абстрактных деятельностей на разных этапах производственного процесса приведен ряд примеров описания процесса с использованием внешнего ядра PSL.

представленного в настоящем стандарте.

С.2 Абстрактная деятельность make-engine

Двигатель 350-Engine собирают из компонентов, изготовленных разными отделениями компании CMW. Схема процесса производства изображена на рисунке С.2. Деталь состоит из блока двигателя, жгута и проводки. Сборку двигателя 350-Engine выполняют на сборочной площадке А004. На сборку одного изделия требуется 5 мин.

Рисунок С.2 — Процесс изготовления двигателя 350-Engine


В терминах внешнего ядра PSL представление отдельных видов деятельности и соответствующей технологической информации на стадии изготовления двигателя будет следующим:

(subactivity make_block make_engine)

(subactivity make-harness make_engine)

(subactivity make-wires make_engine)

(subactivity assemble_engine make_engine)

(forall (?occ)

(«ъ (occurrence_of ?occ make_engine)

(exists (?occ1 ?occ2 ?occ3 ?occ4)

(and (occurrence_of ?occ 1 make_block)

(occurrence_of ?occ2 make_harness)

(occurrence_of ?occ3 make_wires)

(occurrence_of ?occ4 assemble_engine)

(subactivity_occurrence ?occ1 ?occ)

(subactivity_occurrence ?occ2 ?occ)

(subactivity_occurrence ?occ3 ?occ)

(subaclivily_occurrence ?occ4 ?occ)

(forall(?s1 ?s2 ?s3 ?s4)

(implies (and (leaf_occ ?s1 ?occ1)

(leaf_occ ?s2 ?occ2)

(leaf_occ ?s3 ?occ3)

(root_occ ?s4 ?occ4))

(min_precedes ?s1 ?s4 make_engine)

(min_precedes ?s2 ?s4 make_engine)

(min_precedes ?s3 ?s4 make.engine))}))

С.2.1 Изготовление блока

Блок 350-Block изготавливают на стадии сборки узла двигателя 350-Engine. При этом объединяют результаты работ литейного и механического цехов согласно рисунку С.З.

Рисунок С.З — Процесс изготовления блока 350-Block (1]

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

(subactivity produce_molded_metal make_block)

(subactivily machine_block make_block)

(primitive machine_block)

(primitive produce_molded_metal)

(forall (?occ)

(<=> (occurrence_of ?occ make_block)

(exists (?occ1 ?occ2)

(and (occurrence_of ?occ 1 produce_molded_metal)

(occurrence_of ?occ2 machine_block)

(min_precedes ?occ1 ?occ2 make_block)))))

С.2.2 Изготовление жгута

Жгут 350-Harness (рисунок С.4) изготавливают на стадии сборки узла двигателя 350-Engine. При этом используют результаты работ цеха по производству проводов и кабелей. Сборку жгута 350-Harness выполняют на станке для изготовления проводов и кабелей. На сборку одного комплекта требуется 10 мин.

Рисунок С.4 — Процесс изготовления жгута 350-Harness

В терминах внешнего ядра PSL представление отдельных видов деятельности и связанной технологической информации будет следующим:

(subactivity make_hamess_wire make_hamess)

(subactivity assemble_harness make_harness)

(primitive assemble_harness)

(forall (?occ)

(<=> (occurrence_of ?occ make_hamess)

(exists (?occ1 ?occ2 ?occ3)

(and (occurrence_of ?occ1 make_harness_wire)

(occurrence_of ?occ2 assemble_harness)

(leaf_occ ?occ3 ?occ1)

(min_precedes ?occ3 ?occ2 make_harness)))))

Рисунок C.5 — Процесс изготовления проводов жгута

С.2.3 Изготовление проводов жгута

Комплект проводов 350-Wire-Set изготавливают на стадии сборки узла двигателя 350-Engine. При этом используют результаты работ цеха по производству проводов и кабелей.

Рисунок С.6 — Процесс изготовления проводов 350-Wire

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

(subactivity extrude make_harness_wire)

(subactivity twist make_harness_wire)

(subactivity jacket make_hamess_wire)

(primitive extrude)

(primitive twist)

(primitive jacket)

(forall (?occ)

(<=> (occurrence_of ?occ make_hamess_wire)

(exists (?occ1 ?occ2 ?occ3)

(and (occurrence_of ?occ 1 extrude)

(occurrence_of ?occ2 twist)

(occurrence_of ?occ3 jacket)

(min_precedes ?occ1 ?occ2 make_harness_wire)

(min_precedes ?occ2 ?occ3 make_harness_wire))))

Приложение ДА (справочное)

Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации

Таблица ДА.1

Обозначение ссылочного международного стандарта

Степень соответствия

Обозначение и наименование соответствующего национального стандарта

ИСО/МЭК 8824-1

IDT

ГОСТ Р ИСО/МЭК 8824-1 — 2001 «Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации»

ИСО 10303-1

IDT

ГОСТ Р ИСО 10303-1 — 99 «Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы»

ИСО15531-1

IDT

ГОСТ Р ИСО 15531-1 — 2008 «Промышленные автоматизированные системы и интеграция. Данные по управлению промышленным производством. Часть 1. Общий обзор»

ИСО 18629-1

ИСО 18629-11

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

Примечание — В настоящей таблице соответствия стандартов:

- IDT — идентичные стандарты.

использовано следующее условное обозначение степени

Библиография

  • [1] Федеральные стандарты по обработке информации. Публикация 184. Определение интеграции для информационного моделирования (IDEF3), FIPS PUB 184, Национальный институт стандартов и технологий, декабрь 1993 г., IDEF31'

(Federal Information Processing Standards Publication 184, Integration Definition for Information Modeling (IDEF3), FIPS PUB 184, National Institute of Standards and Technology. December 1993. IDEF3. Available from the Internet: <http://www.idef.com >)

  • [2] McCarthy, J. и Hayes, P. Некоторые философские проблемы с точки зрения искусственного интеллекта. Журнал «Машинный интеллект», 4, под ред. В. Meltzer и D. Michie, Edinburgh University Press, Эдинбург, 1969 г., стр. 463 — 502

(McCarthy. J., and Hayes, P. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, B. Meltzer and D. Michie, eds. Edinburgh University Press. Edinburgh, 1969, pp. 463 — 502)

  • [3] Pinto, J. Временное рассмотрение в ситуационном исчислении, технический отчет KRR-TR-94-1, Отделение компьютерных наук, Университет Торонто, 1994 г.

(Pinto, J. Temporal Reasoning in the Situation Calculus. Technical Report KRR-TR-94-1. Department of Computer Science. University of Toronto, 1994)

  • [4] Reiter, R. Проблема систем отсчета в ситуационном исчислении: простое (частное) решение и полнота результата для целевой регрессии. В сб. под ред. Vladimir Lifschitz. Искусственный интеллект и математическая теория вычислений: сборник статей в честь John McCarthy, 1991г., стр. 418 — 440, Academic Press, Сан-Диего.

(Reiter. R. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz. editor. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, 1991, pp. 418 —440. Academic Press. San Diego)

Документ доступен в сети Интернет по адресу <http://www.idef.com >.

УДК 65.011:56.681.3:006.354 ОКС 25.040.40 Т 58

Ключевые слова: автоматизированные промышленные системы, интеграция, жизненный цикл систем, управление производством

Редактор Т. А. Леонова Технический редактор В. Н. Прусакова Корректор С. в. Смирнова Компьютерная верстка В. Н. Романовой

Сдано е набор 27.02.2014. Подписано в печать 03.062014 Формат 60х841/а. Бумага офсетная. Гарнитура Ариал. Печать офсетная. Усл. печ. л. 4,65. Уч.-изд. л. 3,40. Тираж 64 экэ. Зак. 401.

, 123995 Москва. Гранатный пер.. 4.

Набрано и отпечатано 8 Калужской типографии стандартов, 248021 Калуга, ул. Московская, 256.