Онтология процесса

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

В информатике — онтология процесса это описание компонентов и их отношений, составляющих процесс. Формальная онтология процесса — это онтология в области знаний операций. Часто такие онтологии используют преимущества онтологии верхнего уровня . Программное обеспечение для планирования можно использовать для создания плана на основе формального описания процесса и его ограничений. Было предпринято множество попыток определить онтологию процесса/планирования. ^[3]

Процессы

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

Онтологии

ПСЛ

Язык спецификации процессов (PSL) — это онтология процессов, разработанная для формального описания и моделирования основных производственных, инженерных и бизнес-процессов. Эта онтология предоставляет словарь классов и отношений для концепций на базовом уровне экземпляров событий, экземпляров объектов и моментов времени. Верхний уровень PSL построен на следующем: ^[4]

Activity — класс или тип действия, например install-part, который представляет собой класс действий, в которых устанавливаются детали.
Происхождение активности — событие или действие, которое происходит в определенном месте и в определенное время, например, конкретный экземпляр части установки, происходящий в определенную временную метку.
Timepoint – момент времени
Объект – все, что не является моментом времени или действием.

Цикл

В онтологии процессов/планирования, разработанной для онтологии Cyc, классы и отношения выше основного уровня PSL позволяют описывать процессы исключительно на уровне типов. ^[5]^[6] Базовый уровень PSL использует примитивы экземпляра события, экземпляра объекта и описания момента времени. Типы выше уровня земли PSL также были выражены в PSL, показывая, что уровень типа и уровень земли относительно независимы. Уровни типов онтологии процесса Cyc выше этого базового уровня используют следующие концепции:

Процесс – формализован в виде сценария
Агрегатный процесс - процесс на уровне выше уровня отдельного эпизода процесса, для представления количества участников действия в виде диапазонов целых чисел и качественных значений, таких как несколько или много.
Сценарий – типичный образец событий, повторение которых можно ожидать.
- сценарий сценарии имеет подсобытия, что означает, что являются составными событиями
Сцена – подсобытие сценария .
Роли/участники – определяет типы актеров и объектов, которые могут играть в сценарии или сцене.
Условия – предварительные условия, которые должны быть истинными, чтобы сцена (событие) была исполняемой, и постусловия (эффекты), которые должны быть истинными после сцены.
Повторение - количество повторений процесса может быть известно, может быть не указано или может повторяться до тех пор, пока не выполнится определенное условие.
Свойства упорядочения и формирования повторяющихся субсобытий для составных процессов:
- Begin-Ordered – подсобытия начинаются в отдельные моменты времени, которые полностью упорядочены.
- Конечный порядок — подсобытия заканчиваются в отдельные моменты времени, которые полностью упорядочены.
- EndsBeforeEnd – подсобытия заканчиваются раньше или одновременно с экземплярами подсобытий, которые начинаются перед ними.
- Последовательный – нет перекрывающихся подсобытий
- Завершение — существует подсобытие, после которого никакие другие подсобытия не начинаются, и поскольку все действия имеют точку начала и окончания, существует момент времени, в котором процесс заканчивается.
- Единообразный – все подсобытия относятся к одному и тому же типу событий.
Идентичность - идентичность участников процесса, то есть актеры или объекты, играющие роль в одной сцене или повторении, такие же, как и в другой сцене или повторении, представлены ограничениями на возможных участников.

СУПЕР и ДДПО

Проект СУПЕР ^[7] ( Семантика , используемая для управления процессами внутри и между ) предприятиями . имеет целью определение онтологий для семантического управления бизнес-процессами (SBPM), но эти онтологии можно повторно использовать в различных средах Частью этого проекта является определение онтологии верхнего процесса (UPO), которая связывает воедино все другие онтологии SUPER. Результаты проекта SUPER включают УПО и набор онтологий процессов и организаций. ^[8]^[9] Большинство онтологий написаны на WSML , а некоторые также написаны на OCML.

Моделью-кандидатом для UPO была DDPO. ^[10] (DOLCE+DnS Plan Ontology), онтология планирования, которая определяет планы и различает абстрактные и исполняемые планы. ДОЛЬЧЕ ^[11]^[12] (Описательная онтология для лингвистической и когнитивной инженерии) направлена на отражение онтологических категорий, лежащих в основе естественного языка и человеческого здравого смысла. DnS (Описания и ситуации) — это конструктивистская онтология, которая позволяет контекстно-зависимые переописания типов и отношений, постулируемых другими заданными онтологиями (или основными словарями). Вместе в DDPO DOLCE и DnS используются для построения онтологии плана, которая включает физические и нефизические объекты (социальные сущности, ментальные объекты и состояния, концептуализации, информационные объекты, ограничения), события, состояния, регионы, качества и конструктивистские ситуации. . Основной целью DDPO являются задачи, а именно типы действий, их последовательность и средства контроля, выполняемые над ними.

oXPDL

Онтология oXPDL ^[13] — это онтология обмена процессами, основанная на стандартизированном языке определения процессов XML ( XPDL ). Целью oXPDL является моделирование семантики моделей процессов XPDL на стандартизированных языках веб-онтологий, таких как OWL и WSML , при одновременном включении функций существующих стандартных онтологий, таких как PSL , RosettaNet и SUMO .

ГФО

Общая формальная онтология ^[14]^[15] ( GFO ) — онтология, объединяющая процессы и объекты. GFO включает в себя разработку таких категорий, как объекты, процессы, время и пространство, свойства, отношения, роли, функции, факты и ситуации. GFO допускает различные аксиоматизации своих категорий, такие как существование атомарных временных интервалов по сравнению с плотным временем. Две особенности GFO — это учет устойчивости и временная модель. Что касается постоянства, различие между постоянными объектами (объектами) и постоянными (процессами) четко проясняется в GFO путем введения специальной категории — постоянных [ sic ]. Постоянный — это особая категория, экземпляры которой «остаются идентичными» с течением времени. Что касается времени, временные интервалы в GFO считаются примитивными, и получаются временные точки (называемые «временными границами»). При этом моменты времени могут совпадать, что удобно для моделирования мгновенных изменений.

м3по и м3пл

Онтология мультиметамодельного процесса ^[16]^[17] (m3po) объединяет описания рабочих процессов и хореографии, поэтому его можно использовать в качестве онтологии обмена процессами. Для внутренних бизнес-процессов системы управления рабочими процессами используются для моделирования процессов и позволяют описывать и выполнять бизнес-процессы. ^[18] Для внешних бизнес-процессов описания хореографии используются для описания того, как деловые партнеры могут сотрудничать. Хореографию можно рассматривать как представление внутреннего бизнес-процесса без видимой внутренней логики, аналогично общедоступным взглядам на частные рабочие процессы. ^[19]^[20]^[21] Онтология m3po объединяет как внутренние, так и внешние бизнес-процессы, объединяя эталонные модели и языки из областей рабочих процессов и хореографии. Онтология m3po написана на WSML . Соответствующая онтология m3pl, написанная на PSL с использованием расширения FLOWS (логика первого порядка для веб-сервисов), позволяет извлекать хореографические интерфейсы из моделей рабочих процессов. ^[22]

Онтология m3po сочетает в себе функции следующих эталонных моделей и языков:

XPDL – стандарт для обмена моделями рабочих процессов без информации о времени выполнения между различными системами управления рабочими процессами.
PSL - онтология, которая позволяет улавливать семантику моделей рабочих процессов и осуществлять перевод моделей между системами управления рабочими процессами.
YAWL — язык исследовательского рабочего процесса, который напрямую поддерживает все шаблоны рабочего процесса.
BPEL – исполняемый язык бизнес-процессов, включающий абстрактный протокол.
WS-CDL – модель многостороннего сотрудничества

Онтология m3po организована с использованием пяти ключевых аспектов спецификаций рабочих процессов и управления рабочими процессами. ^[23] Поскольку разные модели рабочего процесса уделяют разное внимание пяти аспектам, для каждого аспекта была использована наиболее сложная эталонная модель, объединенная в m3po.

Функциональный и поведенческий — наиболее важными понятиями являются ProcessType , ProcessOccurrence , ActivityType и ActivityOccurrence.
Информационный - определяется данными и потоком данных.
Организационный – определяет, кто несет ответственность за выполнение конкретной задачи; вопросы, связанные с безопасностью
Эксплуатационный - взаимодействие рабочих процессов со средой посредством ручных задач, выполняемых пользователями, и автоматических задач, выполняемых автоматизированными компьютерными программами.
Ортогональный – планирование по времени; целостность и восстановление после сбоев

См. также

Ссылки

^ Решер, Николас. «Философия процесса» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии . См. Мишель Вебер (редактор), После Уайтхеда: Решер по метафизике процессов , Франкфурт / Париж / Ланкастер, Ontos Verlag, 2004 г.
^ Сохст, Вольфганг (2009). Онтология процесса. Систематический план возникновения существования . Берлин. ISBN 978-3-936532-60-9 . Архивировано из оригинала 27 августа 2010 г. {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
^ Гангеми А., Борго С., Катеначчи К. и Леман Дж. (2005). «Таксономия задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). стр. 9–26. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )
^ Гангеми А., Борго С., Катеначчи К. и Леман Дж. (2005). «Таксономия задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). п. 16. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )
^ Эйткен, Стюарт (2001). «Представление процессов и планирование в Cyc: от сценариев и сцен к ограничениям» (PDF) . Институт приложений искусственного интеллекта (AIAI), Эдинбургский университет.
^ Эйткен, Стюарт; Кертис, Джон (2002). Проектирование онтологии процесса: словарь, семантика и использование . Конспекты лекций по информатике. Том. 2473. Берлин/Гейдельберг: Шпрингер. стр. 263–270 . дои : 10.1007/3-540-45810-7_13 . ISBN 978-3-540-44268-4 . {{cite book}}: |work= игнорируется ( помогите )
^ «Проект IST 026850 SUPER: Структура онтологии бизнес-процессов (результат 1.1)» (PDF) . Технологии информационного общества (IST). Май 2007.
^ «СУПЕР-Онтологии» . Технологии информационного общества (IST). 2007. Архивировано из оригинала 11 октября 2007 г.
^ «Проект IST 026850 SUPER: стек онтологий процесса, расширенная версия (результат 1.5)» (PDF) . Технологии информационного общества (IST). Март 2009 года.
^ Гангеми А., Борго С., Катеначчи К. и Леман Дж. (2005). «Таксономия задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). стр. 27–66. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )
^ Мазоло, Клаудио; Борго, Стефано; Гангеми, Альдо; Гуарино, Никола; Олтрамари, Алессандро (ок. 2002 г.). «Проект WonderWeb D18: Библиотека онтологий» (PDF) . Лаборатория прикладной онтологии (ЛОА).
^ «DOLCE: описательная онтология для лингвистической и когнитивной инженерии» . Лаборатория прикладной онтологии (ЛОА).
^ Халлер, Армин; Мармоловский, Матеуш; Орен, Эяль; Гаалул, Валид (апрель 2008 г.). «Онтология процессов для бизнес-аналитики» (PDF) . Институт исследований цифрового предпринимательства (DERI).
^ «Общая формальная онтология (GFO)» . Лейпцигский университет: онтологии в медицине и науках о жизни (Onto-Med).
^ Эрре, Генрих (2010). «Общая формальная онтология (GFO): фундаментальная онтология для концептуального моделирования» (PDF) . IMISE Лейпцигский университет: Исследовательский отдел онтологий в медицине и науках о жизни (Onto-Med).
^ Халлер, Армин; Орен, Эяль (февраль 2006 г.). «Онтология процесса для представления семантики различных метамоделей процессов и хореографии» (PDF) . Национальный университет Ирландии, Голуэй: Институт исследований цифрового предпринимательства (DERI).
^ Халлер, А.; Орен, Э.; Котинурми, П. (сентябрь 2006 г.). «m3po: онтология для связи хореографии с моделями рабочих процессов» (PDF) . Материалы 3-й Международной конференции по вычислительным услугам (SCC) .
^ Георгакопулос, Д.; Хорник, М.; Шет, А. (1995). «Обзор управления рабочими процессами: от моделирования процессов до инфраструктуры автоматизации рабочих процессов». Распределенные и параллельные базы данных . 3 (2): 119–153. CiteSeerX 10.1.1.101.5199 . дои : 10.1007/bf01277643 . S2CID 446699 .
^ Чиу, DKW; и др. (2004). «Межорганизационное взаимодействие, основанное на представлении рабочего процесса, в среде веб-сервисов». Инф. Тех. И Менеджмент . 5 (3–4): 221–250. CiteSeerX 10.1.1.648.5148 . дои : 10.1023/b:item.0000031580.57966.d4 . S2CID 40564279 .
^ Дейкманм, Р.; Дюма, М. (декабрь 2004 г.). «Сервис-ориентированный дизайн: многоточечный подход» (PDF) . Международный журнал совместных информационных систем . 13 (4): 337–368. дои : 10.1142/s0218843004001012 .
^ Шульц, К.А.; Орловская, МЭ (2004). «Облегчение межорганизационных рабочих процессов с помощью подхода представления рабочего процесса». Знание данных. англ . 51 (1): 109–147. дои : 10.1016/j.datak.2004.03.008 .
^ Халлер, А.; Орен, Э. (июнь 2006 г.). «m3pl: расширение онтологии Work-FLOWS для извлечения интерфейсов хореографии» (PDF) . Материалы семинара по семантике управления бизнес-процессами, проведенного совместно с ESWC2006 .
^ Яблонски, С.; Басслер, К. (1996). Управление рабочими процессами: концепции моделирования, архитектура и реализация . Международная компьютерная пресса Thomson.

Внешние ссылки

[1] Решер, Николас. «Философия процесса» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии . См. Мишель Вебер (редактор), После Уайтхеда: Решер по метафизике процессов , Франкфурт / Париж / Ланкастер, Ontos Verlag, 2004 г.

[2] Сохст, Вольфганг (2009). Онтология процесса. Систематический план возникновения существования . Берлин. ISBN 978-3-936532-60-9 . Архивировано из оригинала 27 августа 2010 г. {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )

[3] Гангеми А., Борго С., Катеначчи К. и Леман Дж. (2005). «Таксономия задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). стр. 9–26. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )

[4] Гангеми А., Борго С., Катеначчи К. и Леман Дж. (2005). «Таксономия задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). п. 16. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )

[5] Эйткен, Стюарт (2001). «Представление процессов и планирование в Cyc: от сценариев и сцен к ограничениям» (PDF) . Институт приложений искусственного интеллекта (AIAI), Эдинбургский университет.

[6] Эйткен, Стюарт; Кертис, Джон (2002). Проектирование онтологии процесса: словарь, семантика и использование . Конспекты лекций по информатике. Том. 2473. Берлин/Гейдельберг: Шпрингер. стр. 263–270 . дои : 10.1007/3-540-45810-7_13 . ISBN 978-3-540-44268-4 . {{cite book}}: |work= игнорируется ( помогите )

[7] «Проект IST 026850 SUPER: Структура онтологии бизнес-процессов (результат 1.1)» (PDF) . Технологии информационного общества (IST). Май 2007.

[8] «СУПЕР-Онтологии» . Технологии информационного общества (IST). 2007. Архивировано из оригинала 11 октября 2007 г.

[9] «Проект IST 026850 SUPER: стек онтологий процесса, расширенная версия (результат 1.5)» (PDF) . Технологии информационного общества (IST). Март 2009 года.

[10] Гангеми А., Борго С., Катеначчи К. и Леман Дж. (2005). «Таксономия задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). стр. 27–66. {{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка )

[11] Мазоло, Клаудио; Борго, Стефано; Гангеми, Альдо; Гуарино, Никола; Олтрамари, Алессандро (ок. 2002 г.). «Проект WonderWeb D18: Библиотека онтологий» (PDF) . Лаборатория прикладной онтологии (ЛОА).

[12] «DOLCE: описательная онтология для лингвистической и когнитивной инженерии» . Лаборатория прикладной онтологии (ЛОА).

[13] Халлер, Армин; Мармоловский, Матеуш; Орен, Эяль; Гаалул, Валид (апрель 2008 г.). «Онтология процессов для бизнес-аналитики» (PDF) . Институт исследований цифрового предпринимательства (DERI).

[14] «Общая формальная онтология (GFO)» . Лейпцигский университет: онтологии в медицине и науках о жизни (Onto-Med).

[15] Эрре, Генрих (2010). «Общая формальная онтология (GFO): фундаментальная онтология для концептуального моделирования» (PDF) . IMISE Лейпцигский университет: Исследовательский отдел онтологий в медицине и науках о жизни (Onto-Med).

[16] Халлер, Армин; Орен, Эяль (февраль 2006 г.). «Онтология процесса для представления семантики различных метамоделей процессов и хореографии» (PDF) . Национальный университет Ирландии, Голуэй: Институт исследований цифрового предпринимательства (DERI).

[17] Халлер, А.; Орен, Э.; Котинурми, П. (сентябрь 2006 г.). «m3po: онтология для связи хореографии с моделями рабочих процессов» (PDF) . Материалы 3-й Международной конференции по вычислительным услугам (SCC) .

[18] Георгакопулос, Д.; Хорник, М.; Шет, А. (1995). «Обзор управления рабочими процессами: от моделирования процессов до инфраструктуры автоматизации рабочих процессов». Распределенные и параллельные базы данных . 3 (2): 119–153. CiteSeerX 10.1.1.101.5199 . дои : 10.1007/bf01277643 . S2CID 446699 .

[19] Чиу, DKW; и др. (2004). «Межорганизационное взаимодействие, основанное на представлении рабочего процесса, в среде веб-сервисов». Инф. Тех. И Менеджмент . 5 (3–4): 221–250. CiteSeerX 10.1.1.648.5148 . дои : 10.1023/b:item.0000031580.57966.d4 . S2CID 40564279 .

[20] Дейкманм, Р.; Дюма, М. (декабрь 2004 г.). «Сервис-ориентированный дизайн: многоточечный подход» (PDF) . Международный журнал совместных информационных систем . 13 (4): 337–368. дои : 10.1142/s0218843004001012 .

[21] Шульц, К.А.; Орловская, МЭ (2004). «Облегчение межорганизационных рабочих процессов с помощью подхода представления рабочего процесса». Знание данных. англ . 51 (1): 109–147. дои : 10.1016/j.datak.2004.03.008 .

[22] Халлер, А.; Орен, Э. (июнь 2006 г.). «m3pl: расширение онтологии Work-FLOWS для извлечения интерфейсов хореографии» (PDF) . Материалы семинара по семантике управления бизнес-процессами, проведенного совместно с ESWC2006 .

[23] Яблонски, С.; Басслер, К. (1996). Управление рабочими процессами: концепции моделирования, архитектура и реализация . Международная компьютерная пресса Thomson.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]