Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В Семантика Business Vocabulary и бизнес - правилах ( SBVR ) является принятым стандартом Object Management Group (OMG) , предназначенным стать основой для формального и детального естественного языка декларативного описания сложного объекта, таких как бизнес. SBVR предназначен для формализации сложных правил соответствия, таких как операционные правила для предприятия, политика безопасности, соответствие стандартам или правила соответствия нормативным требованиям. Такие формальные словари и правила могут интерпретироваться и использоваться компьютерными системами. SBVR является неотъемлемой частью модели-ориентированной архитектуры OMG (MDA).

Обзор [ править ]

Стандарт SBVR определяет словарь и правила для документирования семантики бизнес-словарей, бизнес-фактов и бизнес-правил; а также схему XMI для обмена бизнес-словарями и бизнес-правилами между организациями и между программными инструментами.

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

SBVR использует OMG Meta-Object Facility (MOF) для обеспечения возможностей обмена правилами сопоставления MOF / XMI, создания возможности создания моделей, совместимых с MOF, и определения схемы XML. SBVR предлагает структурированный английский язык как одну из многих нотаций, которые могут отображаться в метамодели SBVR.

SBVR и метамодель обнаружения знаний (KDM) разработаны как две части уникального технологического стека OMG для анализа программного обеспечения, связанного с существующими программными системами. KDM определяет онтологию, относящуюся к программным артефактам, и, таким образом, обеспечивает начальную формализацию информации, относящейся к программной системе. SBVR можно в дальнейшем использовать для формализации сложных правил соответствия, связанных с программным обеспечением.

Фон [ править ]

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

Основанный на правилах подход к управлению бизнесом и информацией, используемой этим бизнесом, - это способ выявления и формулирования правил, которые определяют структуру и контролируют работу предприятия [1]. Он представляет собой новый способ думать о предприятии и его правилах. , чтобы обеспечить полное представление бизнеса, сделанное деловыми людьми и для деловых людей. Бизнес-правила могут играть важную роль в определении бизнес-семантики: они могут влиять или направлять поведение и поддерживать политики, реагируя на ситуации и события окружающей среды. Семантика бизнес-словаря и бизнес-правил (SBVR) - это реализация OMG подхода бизнес-правил .

История [ править ]

В июне 2003 года OMG выпустила запрос предложений бизнес-семантики бизнес-правил (BSBR) [2] , чтобы создать стандарт, позволяющий деловым людям определять политику и правила, по которым они ведут свой бизнес, на их родном языке, в терминах того, с чем они имеют дело в бизнесе, и зафиксировать эти правила в ясной, недвусмысленной и легко переводимой форме в другие представления. [2] Предложение SBVR было разработано группой Business Rules Team, консорциумом, организованным в августе 2003 года в ответ на запрос предложений BSBR. [3] [4]

В сентябре 2005 года Целевая группа по бизнес-моделированию и интеграции и Совет по архитектуре Группы управления объектами одобрили предложение « Семантика бизнес-словаря и бизнес-правил» (SBVR), которое должно стать окончательной принятой спецификацией в ответ на запрос предложений. Позже предложение SBVR было ратифицировано Техническим комитетом домена (DTC), одобрено Советом директоров OMG, и была запущена целевая группа по доработке SBVR для преобразования предложения в стандартный формат ISO / OMG и выполнения окончательного редактирования перед выпуском в качестве официального OMG. Технические характеристики.

В январе 2008 года завершилась фаза завершения, и была выпущена формальная спецификация «Семантика бизнес-словаря и бизнес-правил» (SBVR) версии 1.0, которая находится в открытом доступе [5] в Каталоге бизнес-стратегии, бизнес-правил и спецификаций управления бизнес-процессами OMG. страница в Интернете.

Концептуальная формализация [ править ]

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

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

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

Концептуализация и репрезентация играют фундаментальную роль в мышлении, общении и моделировании. Для каждой концепции существует триада: 1) концепция в нашем сознании, 2) вещи реального мира, концептуализированные концепцией, и 3) представление концепции, которую мы можем использовать, чтобы думать и сообщать о концепции и соответствующих ей. реальные вещи. (Обратите внимание, что реальные вещи включают в себя как конкретные вещи, так и их представления в виде записей и процессов в операционных информационных системах.)

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

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

Ориентация на факты [ править ]

Люди сообщают факты, то есть факт является единицей коммуникации. Подход, ориентированный на факты, допускает многомерную категоризацию. [7]

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

Концептуальная формализация описывает бизнес-домен и состоит из 1) концептуальной схемы (структуры фактов) и 2) совокупности основных фактов. Бизнес-сфера ( дискурсивная вселенная ) включает в себя те аспекты бизнеса, которые представляют интерес.

Схема объявляет:

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

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

Ограничения могут быть статическими или динамическими:

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

например , семейное положение человека может измениться с холостого на женатый, но не с разведенного на холостого

Вывод фактов.

  • Деривация означает либо то, как тип факта может быть получен из одного или нескольких других типов фактов, например
    • Person1 является дядей Person2, если Person1 является братом некоторого Person3, который является родителем Person2.
  • Или как понятие существительного (тип объекта) может быть определено в терминах других типов объектов и типов фактов, например
    • Каждая австралийка - это человек, родившийся в стране «Австралия» и имеющий пол «женский».

Подход, основанный на правилах [ править ]

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

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

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

Суть концептуальных формализаций, основанных на правилах, заключается в том, что правила основываются на фактах, а факты - на концепциях, выраженных терминами . [8]

Эта мантра запоминается, но является упрощением, поскольку в SBVR: значение отделено от выражения; Типы фактов (концепции глаголов) построены на концепциях существительных; Существительные понятия представлены Терминами; и Типы фактов представлены символами фактов (глагольными фразами).

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

SBVR Структурные бизнес - правила используют два alethic модальных операторов :

необходимо, чтобы ...
Возможно, что …

SBVR Оперативный бизнес - правила используют два деонтические модальные операторы :

обязательно, чтобы…
допускается, чтобы ...

Структурные бизнес-правила (статические ограничения) по умолчанию рассматриваются как элементарные потребности, где каждое состояние модели фактов соответствует возможному миру. Прагматически правило считается применимым ко всем будущим состояниям модели фактов, пока правило не будет отменено или изменено. Для теории модели в формуле опускается оператор необходимости. Вместо этого правило просто помечается как необходимость. В соответствии с Common Logic такие формулы можно рассматривать как нерегулярные выражения, а модальный оператор необходимости - как неинтерпретируемый символ.

Если правило включает в себя ровно один деонтический оператор, например O (обязательство), и он находится впереди, то правило может быть формализовано как Op, где p - формула первого порядка, помеченная как обязательная. В SBVR этому тегу присваивается неформальная семантика: должно быть так, что p (для всех будущих состояний модели фактов, пока ограничение не будет отменено или изменено). С теоретико-модельной точки зрения модель - это интерпретация, в которой каждая недеонтическая формула оценивается как истинная, а модель классифицируется как: разрешенная модель, если p в каждой деонтической формуле (формы Op) оценивается как истинная, в противном случае модель является запрещенной моделью (хотя и остается моделью). Этот подход устраняет необходимость присваивать значение истинности выражениям формы Op.

Формальная логика с интерфейсом на естественном языке [ править ]

SBVR предназначен для моделирования на естественном языке. Основываясь на лингвистике и формальной логике, SBVR предоставляет способ представления утверждений на контролируемых естественных языках.в виде логических структур, называемых семантическими формулировками. SBVR предназначен для выражения бизнес-лексики и бизнес-правил, а также для определения бизнес-требований к информационным системам на естественном языке. Модели SBVR являются декларативными, а не императивными или процедурными. SBVR обладает наибольшей выразительностью из всех языков моделирования OMG. Логики, поддерживаемые SBVR, - это типизированная логика предикатов первого порядка с равенством, ограниченная логика более высокого порядка (семантика Хенкина), ограниченная деонтическая и алетическая модальная логика, теория множеств с пониманием мешков и математика. SBVR также включает прогнозы для поддержки определений и ответов на запросы, а также вопросы для формулирования запросов. Интерпретация семантических формулировок SBVR основана на теории моделей. SBVR имеет модель MOF,поэтому модели могут быть структурно связаны на уровне отдельных фактов с другими моделями MDA, основанными на MOF.

SBVR согласован с Common Logic, опубликованным ISO как ISO / IEC 24707: 2007.

SBVR фиксирует бизнес-факты и бизнес-правила, которые могут быть выражены как неформально, так и формально. Выражения бизнес-правил являются формальными только в том случае, если они выражаются исключительно в терминах: типов фактов в предварительно объявленной схеме для бизнес-домена, определенных логических / математических операторов, квантификаторов и т. Д. Формальные правила преобразуются в логическую формулировку, которая используется для обмена с другими программными инструментами, основанными на правилах. Неформальные правила могут быть обменены как не интерпретируемые комментарии. Подход к автоматической генерации бизнес-правил SBVR из спецификации естественного языка представлен в [9].

Другие стандарты OMG [ править ]

Спецификация SBVR определяет метамодель и позволяет создавать ее экземпляры для создания различных словарей и определения связанных бизнес-правил; также возможно дополнить эти модели данными, подходящими для описания конкретной организации. подход SBVR предоставляет средства (т. е. правила отображения) для преобразования артефактов естественного языка в артефакты, совместимые с MOF; это позволяет использовать все преимущества, связанные с MOF (возможности репозитория, взаимозаменяемость, инструменты, ...).

Ожидается, что несколько незавершенных работ OMG, связанных с MDA, будут включать SBVR, в том числе:

  • Метамодель определения бизнес-процесса ( BPDM )
  • Метамодель организационной структуры (OSM)
  • Модель мотивации бизнеса (BMM)
  • Профиль UML для представления производственных правил (PRR)
  • Профиль UML для структуры архитектуры министерства обороны / структуры архитектуры министерства обороны (Канада) (DoDAF / MODAF).
  • Метамодель обнаружения знаний (KDM)
  • Повышенный интерес к SBVR - Semantic Web, OASIS.

Метамодель определения онтологии (ODM) была сделана совместимой с SBVR, в первую очередь путем согласования логической основы спецификации общей логики ISO (CL), на которую ссылается ODM, со словарем логической формулировки семантики SBVR. Сам CL был специально модифицирован, чтобы он потенциально мог включать требования модальных предложений SBVR. ODM обеспечивает мост для связи SBVR с языком веб-онтологий для служб (OWL-S), схемой структуры описания ресурсов (RDFS), унифицированным языком моделирования (UML), тематической картой (TM), моделированием отношений сущностей (ER), логикой описания (DL) и CL.

Другие программы за пределами OMG переходят на SBVR. Экосистема цифрового бизнеса (DBE), интегрированный проект Рамочной программы 6 Европейской комиссии, приняла SBVR в качестве основы для своего языка моделирования бизнеса. [ необходима цитата ] Консорциум World Wide Web (W3C) оценивает SBVR для использования в Semantic Web через мост, предоставляемый ODM. [ необходима цитата ] SBVR расширит возможности MDA во всех этих областях.

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

  1. ^ Группа бизнес-правил (июль 2000 г.). «Определение бизнес-правил ~ что они на самом деле? Итоговый отчет, редакция 1.3» . Группа бизнес-правил . Cite journal requires |journal= (help)
  2. ^ a b Группа управления объектами (июнь 2003 г.). «Бизнес-семантика бизнес-правил RFP Document, br / 03-06-03» . Группа управления объектами . Cite journal requires |journal= (help)
  3. ^ Соавторами SBVR были:
    • Adaptive, Business Rule Solutions LLC, Business Semantics Ltd, Hendryx & Associates, MEGA, Neumont University, Unisys Corporation
  4. ^ Сторонниками SBVR являются:
    • Automated Reasoning Corporation, Business Rules Group, Fujitsu Ltd, Hewlett-Packard Company, InConcept, LibRT, KnowGravity Inc, Model Systems, Ness Technologies, Perpetual Data Systems, Sandia National Laboratories, The Rule Markup Initiative, X-Change Technologies Group
  5. ^ Семантика бизнес-словаря и бизнес-правил (SBVR), версия 1.0 (формальная)
  6. ^ Стан Hendryx (29 сентября 2005). «Модельно-ориентированная архитектура и семантика бизнес-словаря и бизнес-правил» (PDF) . Hendryx & Associates . Cite journal requires |journal= (help)
  7. ^ Стан Hendryx (14 ноября 2003). «Архитектура бизнес-моделирования» (PDF) . Hendryx & Associates . Cite journal requires |journal= (help)
  8. ^ Группа бизнес-правил (ноябрь 2003 г.). «Манифест бизнес-правил - принципы независимости правил» . Hendryx & Associates . Cite journal requires |journal= (help)
  9. ^ Имран Сарвар Bajwa (март 2011). «Генерация бизнес-правил SBVR из спецификации естественного языка, 2010» . AAAI . Cite journal requires |journal= (help)

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

  • Группа бизнес-правил