Онтология процесса - Process ontology
В философия, а онтология процесса относится к универсальной модели устройства мира как упорядоченной целостности.[1][2] Такие онтологии фундаментальные онтологии, в отличие от так называемых прикладные онтологии. Фундаментальные онтологии не претендуют на доступность для любого эмпирический доказательство само по себе, но быть структурным паттерном проектирования, из которого эмпирические явления можно объяснить и связать последовательно. На протяжении всей западной истории доминирующей фундаментальной онтологией является так называемая теория вещества. Однако фундаментальные онтологии процессов становятся все более важными в последнее время, потому что прогресс в открытии основ физики стимулировал развитие базовой концепции, способной интегрировать такие граничные понятия, как "энергия," "объект ", а также физических размеров Космос и время.
В Информатика, а онтология процесса это описание компонентов и их отношений, составляющих процесс. Формальная онтология процесса - это онтология в области знаний о процессах. Часто такие онтологии используют преимущества верхняя онтология. Программное обеспечение для планирования может использоваться для генерации плана на основе формального описания процесса и его ограничений. Были предприняты многочисленные попытки определить онтологию процесса / планирования.[3]
Процессы
Процесс может быть определен как набор преобразований входных элементов в выходные элементы с определенными свойствами, причем преобразования характеризуются параметрами и ограничениями, например, в производстве или биологии. Процесс также можно определить как рабочие процессы и цепочка событий присущи таким процессам, как производство, проектирование и деловые процессы.
Онтологии
PSL
Язык спецификации процессов (PSL) - это онтология процессов, разработанная для формального описания и моделирования основных производственных, инженерных и бизнес-процессов. Эта онтология предоставляет словарь классов и отношений для концепций на базовом уровне экземпляров событий, экземпляров объектов и точек времени. Верхний уровень PSL построен на следующем:[4]
- Активность - класс или тип действия, например install-part, который представляет собой класс действий, в которых устанавливаются части.
- Событие-действие - событие или действие, которое происходит в определенном месте и в определенное время, например, конкретный экземпляр части установки, происходящий в определенном месте. отметка времени
- Timepoint - момент времени
- Объект - все, что не является моментом времени или деятельностью.
Цикл
В онтологии процесса / планирования, разработанной для онтологии Cyc, классы и отношения над базовым уровнем PSL позволяют описывать процессы исключительно на уровне типов.[5][6] Базовый уровень PSL использует примитивы описания экземпляра события, экземпляра объекта и момента времени. Типы выше уровня земли PSL также были выражены в PSL, показывая, что уровень типов и уровень земли относительно независимы. Уровни типов для онтологии процессов Cyc выше этого базового уровня используют следующие концепции:
- Процесс - оформлен как сценарий
- Агрегированный процесс - процесс на уровне выше, чем у отдельного эпизода процесса, для представления количества участников действия диапазонами целых чисел и качественных значений, таких как несколько или же много
- Сценарий - типичный паттерн событий, которые можно ожидать повторения.
- а сценарий есть подсобытия, что означает, что скрипты составные события
- Сцена - подсобытие сценарий
- Роли / участники - определяет типы актеров и объектов, которые могут играть в сценарий или же место действия
- Условия - предварительные условия, которые должны выполняться для место действия (событие) быть выполнимым, и постусловия (эффекты), которые должны быть истинными после место действия
- Повторение - количество повторений процесса может быть известно, может быть неопределенным или может повторяться до тех пор, пока не будет выполнено определенное условие.
- Свойства упорядочения и построения повторяющихся подсобытий для составных процессов:
- Начать с упорядочением - подсобытия начинаются в определенные моменты времени, которые полностью упорядочены
- End-Ordered - подсобытия заканчиваются в определенные моменты времени, которые полностью упорядочены
- EndsBeforeEnd - подсобытия заканчиваются раньше или одновременно с экземплярами подчиненного события, которые начинаются перед ними
- Последовательный - без перекрывающихся подсобытий
- Завершение - есть вспомогательное событие, после которого никакие другие подсобытия не начинаются, и поскольку все действия имеют начальную и конечную точки, существует момент времени, в который процесс заканчивается.
- Единообразный - все подсобытия относятся к одному типу событий
- Идентичность - идентичность участников процесса, актер (ы) или объект (ы), играющие роль в одном место действия или повторения такие же, как и в другом место действия или повторение, представлено ограничениями на возможных участников
СУПЕР и ДДПО
Проект СУПЕР[7] (Sэмантика Uтилизированный для пуправление процессами внутри и между Enteрprises) имеет целью определение онтологий для управления семантическими бизнес-процессами (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 на стандартизированных языках веб-онтологий, таких как СОВА и WSML, включая функции существующих стандартных онтологий, таких как PSL, RosettaNet, и СУМО.
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, процесс, activityType и активность
- Информационный - определяется данными и потоком данных
- Организационный - определяет, кто отвечает за выполнение конкретной задачи; проблемы, связанные с безопасностью
- Оперативный - взаимодействие рабочих процессов с их средой посредством ручных задач, выполняемых пользователями, и автоматических задач, выполняемых автоматизированными компьютерными программами.
- Ортогональный - планирование по времени; целостность и восстановление после сбоев
Смотрите также
- Автоматизированное планирование и составление графиков
- Бизнес-процесс
- Управление производственным процессом
- Методология объектного процесса
- Управление процессом
- Цепочка событий
- Теория систем
Рекомендации
- ^ Решер, Николай. «Философия процесса». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии. Ср. Мишель Вебер (ред.), По Уайтхеду: Решер о метафизике процессов, Франкфурт / Париж / Ланкастер, Ontos Verlag, 2004 г.
- ^ Зохст, Вольфганг (2009). Prozessontologie. Ein systematischer Entwurf der Entstehung von Existenz. Берлин. ISBN 978-3-936532-60-9. Архивировано из оригинал на 27.08.2010.
- ^ Гангеми, А., Борго, С., Катеначчи, К., и Леман, Дж. (2005). «Таксономии задач для содержания знаний (результат D07)» (PDF). Лаборатория прикладной онтологии (ЛОА). С. 9–26.CS1 maint: несколько имен: список авторов (связь)
- ^ Гангеми, А., Борго, С., Катеначчи, К., и Леман, Дж. (2005). «Таксономии задач для содержания знаний (результат D07)» (PDF). Лаборатория прикладной онтологии (ЛОА). п. 16.CS1 maint: несколько имен: список авторов (связь)
- ^ Эйткен, Стюарт (2001). «Представление процессов и планирование в цикле: от сценариев и сцен до ограничений» (PDF). Институт приложений искусственного интеллекта (AIAI), Эдинбургский университет.
- ^ Эйткен, Стюарт; Кертис, Джон (2002). Дизайн онтологии процесса: словарь, семантика и использование. Инженерия знаний и управление знаниями: онтологии и семантическая сеть. Конспект лекций по информатике. 2473. Берлин / Гейдельберг: Springer. стр.263–270. Дои:10.1007/3-540-45810-7_13. ISBN 978-3-540-44268-4.
- ^ «Проект IST 026850 SUPER: Структура онтологии бизнес-процессов (результат 1.1)» (PDF). Технологии информационного общества (IST). Май 2007 г.
- ^ «СУПЕР Онтологии». Технологии информационного общества (IST). 2007. Архивировано с оригинал на 2007-10-11.
- ^ «Проект IST 026850 SUPER: Стек онтологий процессов, усовершенствованная версия (результат 1.5)» (PDF). Технологии информационного общества (IST). Март 2009 г.
- ^ Гангеми А., Борго С., Катеначчи К. и Леман Дж. (2005). «Таксономии задач для содержания знаний (результат D07)» (PDF). Лаборатория прикладной онтологии (ЛОА). С. 27–66.CS1 maint: несколько имен: список авторов (связь)
- ^ Масоло, Клаудио; Борго, Стефано; Гангеми, Альдо; Гуарино, Никола; Ольтрамари, Алессандро (ок. 2002 г.). "WonderWeb Deliverable D18: Библиотека онтологий" (PDF). Лаборатория прикладной онтологии (ЛОА).
- ^ «DOLCE: описательная онтология для лингвистической и когнитивной инженерии». Лаборатория прикладной онтологии (ЛОА).
- ^ Халлер, Армин; Мармоловски, Матеуш; Орен, Эял; Галул, Валид (апрель 2008 г.). «Онтология процессов для бизнес-аналитики» (PDF). Исследовательский институт цифрового предпринимательства (DERI).
- ^ «Общая формальная онтология (GFO)». Лейпцигский университет: онтологии в медицине и науках о жизни (Onto-Med).
- ^ Герре, Генрих (2010). «Общая формальная онтология (GFO): основополагающая онтология для концептуального моделирования» (PDF). IMISE Университет Лейпцига: Отдел исследований онтологий в медицине и науках о жизни (Онто-Мед).
- ^ Халлер, Армин; Орен, Эял (февраль 2006 г.). «Онтология процесса для представления семантики различных метамоделей процесса и хореографии» (PDF). Национальный университет Ирландии, Голуэй: Исследовательский институт цифрового предпринимательства (DERI).
- ^ Haller, A .; Орен, Э .; Котинурми П. (сентябрь 2006 г.). «m3po: онтология для связи хореографии с моделями рабочего процесса» (PDF). Труды 3-й Международной конференции по сервисам вычислений (SCC).
- ^ Georgakopoulos, D .; Хорник, М .; Шет, А. (1995). «Обзор управления рабочими процессами: от моделирования процессов до инфраструктуры автоматизации рабочих процессов». Распределенные и параллельные базы данных. 3 (2): 119–153. CiteSeerX 10.1.1.101.5199. Дои:10.1007 / bf01277643.
- ^ Chiu, D. K. W .; и другие. (2004). «Представление рабочего процесса, управляемое межорганизационной совместимостью в среде веб-сервисов». Инф. Tech. И Управление. 5 (3–4): 221–250. CiteSeerX 10.1.1.648.5148. Дои:10.1023 / b: поз.0000031580.57966.d4.
- ^ Dijkmanm, R .; Дюма, М. (декабрь 2004 г.). «Сервисно-ориентированный дизайн: многосторонний подход» (PDF). Международный журнал совместных информационных систем. 13 (4): 337–368. Дои:10.1142 / s0218843004001012.
- ^ Schulz, K. A .; Орловская, М. Э. (2004). «Облегчение межорганизационных рабочих процессов с помощью подхода представления рабочего процесса». Data Knowl. Англ.. 51 (1): 109–147. Дои:10.1016 / j.datak.2004.03.008.
- ^ Haller, A .; Орен, Э. (июнь 2006 г.). "m3pl: расширение онтологии Work-FLOWS для извлечения интерфейсов хореографии" (PDF). Труды семинара по семантике для управления бизнес-процессами, совместно с ESWC2006.
- ^ Яблонски, С .; Бусслер, К. (1996). Управление рабочим процессом: концепции моделирования, архитектура и реализация. International Thomson Computer Press.