Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
См. Также: Философия процесса

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

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

Процессы [ править ]

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

Онтологии [ править ]

PSL [ править ]

Основная статья: Язык спецификации процессов

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

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

Цикл [ править ]

Основная статья: Cyc

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

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

СУПЕР и ДДПО [ править ]

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

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

oXPDL [ править ]

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

GFO [ править ]

Основная статья: Общая формальная онтология

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

m3po и m3pl [ править ]

Онтология процессов с несколькими метамоделями [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.
  • Информационный - определяется данными и потоком данных
  • Организационный - определяет, кто отвечает за выполнение конкретной задачи; проблемы, связанные с безопасностью
  • Оперативный - взаимодействие рабочих процессов с их средой посредством ручных задач, выполняемых пользователями, и автоматических задач, выполняемых автоматизированными компьютерными программами.
  • Ортогональный - планирование по времени; целостность и восстановление после сбоев

См. Также [ править ]

  • Автоматизированное планирование и составление графиков
  • Бизнес-процесс
  • Управление производственным процессом
  • Методология объектного процесса
  • Управление процессом
  • Цепочка событий
  • Теория систем

Ссылки [ править ]

  1. ^ Решер, Николас. «Философия процесса» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .Ср. Мишель Вебер (редактор), After Whitehead: Rescher on Process Metaphysics , Франкфурт / Париж / Ланкастер, Ontos Verlag, 2004
  2. ^ Sohst, Wolfgang (2009). Prozessontologie. Ein systematischer Entwurf der Entstehung von Existenz . Берлин. ISBN 978-3-936532-60-9. Архивировано из оригинала на 2010-08-27.
  3. ^ Gangemi, А., Борго, С., Catenacci, К., и Леман, Дж (2005). «Таксономии задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). С. 9–26. CS1 maint: несколько имен: список авторов ( ссылка )
  4. ^ Gangemi, А., Борго, С., Catenacci, К., и Леман, Дж (2005). «Таксономии задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). п. 16. CS1 maint: несколько имен: список авторов ( ссылка )
  5. Перейти ↑ Aitken, Stuart (2001). «Представление процессов и планирование в цикле: от сценариев и сцен до ограничений» (PDF) . Институт приложений искусственного интеллекта (AIAI), Эдинбургский университет.
  6. ^ Эйткен, Стюарт; Кертис, Джон (2002). Дизайн онтологии процесса: словарь, семантика и использование . Инженерия знаний и управление знаниями: онтологии и семантическая сеть . Конспект лекций по информатике. 2473 . Берлин / Гейдельберг: Springer. С.  263–270 . DOI : 10.1007 / 3-540-45810-7_13 . ISBN 978-3-540-44268-4.
  7. ^ «Проект IST 026850 SUPER: Структура онтологии бизнес-процессов (результат 1.1)» (PDF) . Технологии информационного общества (IST). Май 2007 г.
  8. ^ "СУПЕР Онтологии" . Технологии информационного общества (IST). 2007. Архивировано из оригинала на 2007-10-11.
  9. ^ «Проект IST 026850 SUPER: Стек онтологий процессов, усовершенствованная версия (результат 1.5)» (PDF) . Технологии информационного общества (IST). Март 2009 г.
  10. ^ Gangemi, А., Борго, С., Catenacci, К., и Леман, Дж (2005). «Таксономии задач для содержания знаний (результат D07)» (PDF) . Лаборатория прикладной онтологии (ЛОА). С. 27–66. CS1 maint: несколько имен: список авторов ( ссылка )
  11. ^ Масоло, Клаудио; Борго, Стефано; Гангеми, Альдо; Гуарино, Никола; Ольтрамари, Алессандро (ок. 2002 г.). «WonderWeb Deliverable D18: Библиотека онтологий» (PDF) . Лаборатория прикладной онтологии (ЛОА).
  12. ^ «DOLCE: описательная онтология для лингвистической и когнитивной инженерии» . Лаборатория прикладной онтологии (ЛОА).
  13. ^ Халлер, Армин; Мармоловский, Матеуш; Орен, Эял; Галул, Валид (апрель 2008 г.). «Онтология процессов для бизнес-аналитики» (PDF) . Институт исследования цифрового предпринимательства (DERI).
  14. ^ "Общая формальная онтология (GFO)" . Лейпцигский университет: онтологии в медицине и науках о жизни (Онто-Мед).
  15. ^ Herre, Генрих (2010). «Общая формальная онтология (GFO): основополагающая онтология для концептуального моделирования» (PDF) . IMISE Университет Лейпцига: Отдел исследований онтологий в медицине и науках о жизни (Onto-Med).
  16. ^ Халлер, Армин; Орен, Эял (февраль 2006 г.). «Онтология процесса для представления семантики различных метамоделей процессов и хореографии» (PDF) . Национальный университет Ирландии, Голуэй: Исследовательский институт цифрового предпринимательства (DERI).
  17. ^ Haller, A .; Орен, Э .; Котинурми П. (сентябрь 2006 г.). «m3po: онтология для связи хореографии с моделями рабочего процесса» (PDF) . Труды 3-й Международной конференции по сервисам вычислений (SCC) .
  18. ^ Георгакопулос, D .; Хорник, М .; Шет, А. (1995). «Обзор управления рабочими процессами: от моделирования процессов до инфраструктуры автоматизации рабочих процессов». Распределенные и параллельные базы данных . 3 (2): 119–153. CiteSeerX 10.1.1.101.5199 . DOI : 10.1007 / bf01277643 . 
  19. ^ Чиу, DKW; и другие. (2004). «Представление рабочего процесса, управляемое межорганизационной совместимостью в среде веб-сервисов». Инф. Tech. И менеджмент . 5 (3–4): 221–250. CiteSeerX 10.1.1.648.5148 . DOI : 10,1023 / б: item.0000031580.57966.d4 . 
  20. ^ Dijkmanm, R .; Дюма, М. (декабрь 2004 г.). «Сервис-ориентированный дизайн: многосторонний подход» (PDF) . Международный журнал совместных информационных систем . 13 (4): 337–368. DOI : 10.1142 / s0218843004001012 .
  21. ^ Шульц, КА; Орловская, ME (2004). «Облегчение межорганизационных рабочих процессов с помощью подхода представления рабочего процесса». Data Knowl. Англ . 51 (1): 109–147. DOI : 10.1016 / j.datak.2004.03.008 .
  22. ^ Haller, A .; Орен, Э. (июнь 2006 г.). «m3pl: расширение онтологии Work-FLOWS для извлечения интерфейсов хореографии» (PDF) . Труды семинара по семантике для управления бизнес-процессами, совместно с ESWC2006 .
  23. ^ Jablonski, S .; Бусслер, К. (1996). Управление рабочим процессом: концепции моделирования, архитектура и реализация . International Thomson Computer Press.

Внешние ссылки [ править ]

  • Лаборатория прикладной онтологии (ЛОА)
  • Семантика, используемая для управления процессами внутри и между предприятиями (SUPER)
  • Описательная онтология для лингвистической и когнитивной инженерии (DOLCE)
  • Онто-Мед
  • разработка процессов с использованием нескольких мета-моделей (m3pe)