Семантика делового словаря и бизнес-правил ( SBVR ) — это принятый стандарт Object Management Group (OMG), призванный стать основой для формального и подробного декларативного описания на естественном языке сложной сущности, такой как бизнес. SBVR предназначен для формализации сложных правил соответствия, таких как операционные правила для предприятия, политика безопасности, соответствие стандартам или правила соответствия нормативным требованиям. Такие формальные словари и правила могут интерпретироваться и использоваться компьютерными системами. SBVR является неотъемлемой частью архитектуры OMG, основанной на моделях (MDA).
Стандарт SBVR определяет словарь и правила документирования семантики бизнес-словарей, бизнес-фактов и бизнес-правил, а также схему XMI для обмена бизнес-словарями и бизнес-правилами между организациями и между программными инструментами.
SBVR позволяет создавать бизнес-словари и правила; словарь плюс правила составляют общую модель предметной области с той же выразительной силой стандартных онтологических языков. SBVR позволяет многоязычную разработку, поскольку она основана на разделении символов и их значения. SBVR позволяет сделать бизнес-правила доступными для программных инструментов, включая инструменты, которые поддерживают бизнес-экспертов в создании, поиске, проверке и управлении бизнес-правилами, а также инструменты, которые поддерживают экспертов по информационным технологиям в преобразовании бизнес-правил в правила реализации для автоматизированных систем.
SBVR использует OMG's Meta-Object Facility (MOF) для предоставления возможностей обмена правилами отображения MOF/XMI, позволяет генерировать совместимые с MOF модели и определять схему XML. SBVR предлагает структурированный английский как одну из многих возможных нотаций, которые могут отображаться в метамодели SBVR.
SBVR и Knowledge Discovery Metamodel (KDM) разработаны как две части уникального OMG Technology Stack для аналитики программного обеспечения, связанной с существующими программными системами. KDM определяет онтологию, связанную с программными артефактами, и, таким образом, обеспечивает начальную формализацию информации, связанной с программной системой. SBVR может быть дополнительно использован для формализации сложных правил соответствия, связанных с программным обеспечением.
Бизнес-правила представляют собой основные средства, с помощью которых организация может управлять своим бизнесом, определяя оперативный способ достижения своих целей и выполнения своих действий.
Подход на основе правил к управлению бизнесом и информацией, используемой этим бизнесом, является способом определения и формулирования правил, которые определяют структуру и контролируют работу предприятия [1] он представляет собой новый способ думать о предприятии и его правилах, чтобы обеспечить полное представление бизнеса, сделанное деловыми людьми и для них. Бизнес-правила могут играть важную роль в определении бизнес-семантики: они могут влиять или направлять поведение и поддерживать политику, реагируя на ситуации и события окружающей среды. Семантика делового словаря и бизнес-правил (SBVR) является реализацией OMG подхода бизнес-правил .
В июне 2003 года OMG выпустила Запрос на предложение по бизнес-семантике бизнес-правил (BSBR) [2] с целью создания стандарта , позволяющего предпринимателям определять политики и правила, по которым они ведут свой бизнес, на своем родном языке, с точки зрения вещей, с которыми они имеют дело в бизнесе, и фиксировать эти правила таким образом, чтобы они были понятными, недвусмысленными и легко переводимыми в другие представления. [2] Предложение SBVR было разработано командой Business Rules Team, консорциумом, организованным в августе 2003 года для ответа на запрос предложений BSBR. [3] [4]
В сентябре 2005 года Целевая группа по моделированию и интеграции бизнеса и Архитектурный совет Группы управления объектами одобрили предложение Semantics of Business Vocabulary and Business Rules (SBVR) в качестве окончательной принятой спецификации в ответ на RFP. Позднее предложение 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) совокупности основных фактов. Бизнес-домен ( вселенная дискурса ) охватывает те аспекты бизнеса, которые представляют интерес.
Схема декларирует:
Факт — это предложение, принимаемое бизнесом за истинное. Факты населения ограничиваются элементарными и экзистенциальными фактами.
Ограничения могут быть статическими или динамическими:
например, семейное положение человека может измениться с холостого на женатого, но не с разведенного на холостого
Вывод фактов.
Правила играют очень важную роль в определении семантики бизнеса: они могут влиять на поведение или направлять его, а также поддерживать политику, реагируя на ситуации и события окружающей среды. Это означает, что правила представляют собой основные средства, с помощью которых организация может направлять свой бизнес, определяя оперативный способ достижения своих целей и выполнения своих действий.
Подход, основанный на правилах, направлен на два разных типа пользователей:
Суть концептуальных формализации, основанной на правилах, заключается в том, что правила строятся на фактах, а факты строятся на концепциях, выраженных терминами . [8]
Эта мантра запоминается, но является упрощением, поскольку в SBVR: значение отделено от выражения; типы фактов (глагольные концепции) построены на существительных концепциях; существительные концепции представлены терминами; а типы фактов представлены символами фактов (глагольными фразами).
Утверждения правил выражаются с использованием либо алетической , либо деонтической модальности и требуют элементов модальной логики в качестве формализации.
Структурные бизнес-правила SBVR используют два алетических модальных оператора :
Оперативные деловые правила 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]
Спецификация SBVR определяет метамодель и позволяет создавать ее экземпляры для создания различных словарей и определения соответствующих бизнес-правил; также возможно дополнять эти модели данными, подходящими для описания конкретной организации. Подход SBVR предоставляет средства (т. е. правила отображения) для перевода артефактов естественного языка в артефакты, совместимые с MOF; это позволяет использовать все преимущества, связанные с MOF (возможности репозитория, взаимозаменяемость, инструменты, ...).
Ожидается, что несколько текущих работ OMG, связанных с MDA, будут включать SBVR, в том числе:
Метамодель определения онтологии (ODM) стала совместимой с SBVR, в первую очередь, за счет приведения логического обоснования спецификации ISO Common Logic (CL), на которую ссылается ODM, в соответствие со словарем SBVR Logical Formulation of Semantics. Сам CL был специально изменен, чтобы потенциально включать требования модальных предложений SBVR. ODM обеспечивает мост для связи SBVR с языком веб-онтологии для услуг (OWL-S), схемой структуры описания ресурсов (RDFS), унифицированным языком моделирования (UML), картой тем (TM), моделированием отношений сущностей (ER), логикой описания (DL) и CL.
Другие программы за пределами OMG принимают SBVR. Цифровая бизнес-экосистема (DBE), интегрированный проект Рамочной программы Европейской комиссии 6, приняла SBVR в качестве основы для своего языка бизнес-моделирования. [ необходима цитата ] Консорциум Всемирной паутины (W3C) оценивает SBVR для использования в семантической паутине через мост, предоставленный ODM. [ необходима цитата ] SBVR расширит возможности MDA во всех этих областях.
{{cite web}}: |author=имеет общее название ( помощь ){{cite web}}: |author=имеет общее название ( помощь )