В философии онтология процесса относится к универсальной модели структуры мир как упорядоченная целостность. Такие онтологии являются фундаментальными онтологиями, в отличие от так называемых прикладных онтологий. Фундаментальные онтологии не претендуют на то, чтобы быть доступными для какого-либо эмпирического доказательства сами по себе, но являются структурным шаблоном проектирования, с помощью которого эмпирические явления могут быть объяснены и согласованно объединены. На протяжении всей западной истории доминирующей фундаментальной онтологией является так называемая теория субстанции. Однако фундаментальные онтологии процессов становятся все более важными в последнее время, потому что прогресс в открытии основ физики стимулировал разработку базовой концепции, способной интегрировать такие граничные понятия, как «энергия », «объект ", а также физические измерения пространства и времени.
В информатике онтология процесса описание компонентов и их отношений, составляющих процесс. Формальная онтология процесса - это онтология в области знаний о процессах. Часто такие онтологии используют преимущества верхней онтологии. Программное обеспечение для планирования может использоваться для создания плана на основе формального описания процесса и его ограничений. Были предприняты многочисленные попытки определить онтологию процесса / планирования.
Процесс может быть определен как набор преобразований входных данных элементы в выходные элементы с определенными свойствами, с преобразованиями, характеризующимися параметрами и ограничениями, например, в производстве или биологии. Процесс также можно определить как рабочие процессы и последовательность событий, присущих таким процессам, как производство, проектирование и бизнес-процессы.
Язык спецификации процессов (PSL) - это онтология процессов, разработанная для формального описания и моделирования основных производственных, инженерных и бизнес-процессов. Эта онтология предоставляет словарь классов и отношений для концепций на базовом уровне экземпляров событий, экземпляров объектов и точек времени. Верхний уровень PSL построен на следующем:
В онтологии процесса / планирования, разработанной для онтологии Cyc, классы и отношения, расположенные выше базового уровня PSL, позволяют описывать процессы исключительно на уровне типов. Базовый уровень PSL использует примитивы описания экземпляра события, экземпляра объекта и момента времени. Типы выше уровня земли PSL также были выражены в PSL, показывая, что уровень типа и уровень земли относительно независимы. Уровни типов для онтологии процессов Cyc выше этого основного уровня используют следующие концепции:
Проект SUPER ( S emantics U для P управление процессами внутри и между E nte R prises) га s цель определения онтологий для семантического управления бизнес-процессами (SBPM), но эти онтологии можно повторно использовать в различных средах. Частью этого проекта является определение онтологии верхнего процесса (UPO), которая связывает воедино все другие онтологии SUPER. Результаты проекта SUPER включают UPO и набор онтологий для процессов и организаций. Большинство онтологий написано на WSML, а некоторые также написаны на OCML.
Модель-кандидат для UPO была DDPO (DOLCE + DnS Plan Ontology), онтология планирования, которая определяет планы и различает абстрактные и исполняемые планы. DOLCE (Описательная онтология для лингвистической и когнитивной инженерии) нацелена на определение онтологических категорий, лежащих в основе естественного языка и человеческого здравого смысла. DnS (описания и ситуации) - это конструктивистская онтология, которая позволяет контекстно-зависимое переописание типов и отношений, постулируемых другими заданными онтологиями (или базовыми словарями). Вместе в DDPO DOLCE и DnS используются для построения онтологии плана, который включает физические и нефизические объекты (социальные сущности, ментальные объекты и состояния, концептуализации, информационные объекты, ограничения), события, состояния, регионы, качества и конструктивистские ситуации.. Основная цель DDPO - это задачи, а именно типы действий, их последовательность и элементы управления, выполняемые над ними.
Онтология oXPDL - это онтология обмена процессами, основанная на стандартизированном языке определения процессов XML (XPDL ). Целью oXPDL является моделирование семантики моделей процессов XPDL в стандартизированных языках веб-онтологий, таких как OWL и WSML, с одновременным включением функций существующих стандартных онтологий, таких как PSL, RosettaNet и SUMO.
Общая формальная онтология (GFO ) - это онтология, объединяющая процессы и объекты. GFO включает разработку таких категорий, как объекты, процессы, время и пространство, свойства, отношения, роли, функции, факты и ситуации. GFO допускает различные аксиоматизации своих категорий, такие как существование атомарных временных интервалов по сравнению с плотным временем. Две особенности GFO - это учет устойчивости и модель времени. Что касается персистентности, различие между переносчиками (объектами) и пердрантами (процессами) становится явным в GFO путем введения специальной категории, постоянной [sic ]. Персистент - это особая категория, в которой его экземпляры «остаются идентичными» с течением времени. Что касается времени, временные интервалы принимаются в GFO как примитивные, а временные точки (называемые «временными границами») выводятся. Причем моменты времени могут совпадать, что удобно для моделирования мгновенных изменений.
Онтология процессов с несколькими метамоделями (m3po) объединяет описания рабочих процессов и хореографии, так что ее можно использовать в качестве онтологии обмена процессами. Для внутренних бизнес-процессов системы управления рабочими процессами используются для моделирования процессов и позволяют описывать и выполнять бизнес-процессы. Для внешних бизнес-процессов описания хореографии используются для описания того, как деловые партнеры могут сотрудничать. Хореографию можно рассматривать как представление внутреннего бизнес-процесса с невидимой внутренней логикой, подобное общедоступным представлениям о частных рабочих процессах. Онтология m3po объединяет внутренние и внешние бизнес-процессы, комбинируя эталонные модели и языки из областей рабочего процесса и хореографии. Онтология m3po написана на WSML. Соответствующая онтология m3pl, написанная на PSL с использованием расширения FLOWS (логика первого порядка для веб-служб), позволяет извлекать хореографические интерфейсы из моделей рабочего процесса.
Онтология m3po объединяет функции следующие эталонные модели и языки:
Онтология m3po организована с использованием пяти ключевых аспектов спецификаций рабочего процесса и управления рабочим процессом. Поскольку в разных моделях рабочего процесса пяти аспектам уделяется разное внимание, для каждого аспекта была использована наиболее сложная эталонная модель, которая была объединена в m3po.