Полезен для использования в рамках BPMN.
Данная заметка пересказ заметки (в момент написания она была только на английском языке) -
https://en.wikipedia.org/wiki/Semantics_of_Business_Vocabulary_and_Business_Rules
SBVR предназначен для формализации сложных правил, таких как операционные правила, политика безопасности, соответствие стандарту или нормативные правила соответствия применяемые в бизнес-среде или на предприятиях. Премимущества формализации в том, что формальные словари и правила могут интерпретироваться и использоваться компьютерными системами.
SBVR является неотъемлемой частью MDA - управляемой моделью архитектуры OMG (MDA - концепция модельно ориентированного подхода к разработке программного обеспечения).
С помощью бизнес-правил организация может направлять свою деятельность, определяя способы достижения своих целей, а также способы выполнения бизнес-операций.
Основанный на правилах подход к управлению бизнесом и информацией, является способом определения и формулирования правил, которые определяют структуру предприятия и управляют его фукционированием. Это довольно новый способ описания предприятия. Бизнес-правила могут играть важную роль в определении бизнес-семантики: они могут влиять на поведение, управлять поведением, обеспечивать реализацию политик, организовывать реакции на события и реагирование в соответствии с экономической ситуацией. Семантика бизнес-словаря и бизнес-правил (SBVR) - это реализация OMG подхода к конструированию бизнес-правил.
SBVR с одной стороны использует естественный язык в моделировании, а с другой, явно предоставляет собой модель формальной логики. SBVR - это слияние лингвистики, логики и информатики, и все это используется для сбора и созданий спецификаций, изложенных на естественном языке и представленных средствами формальной логики.
Методологии, используемые при разработке программного обеспечения, обычно применяются только тогда, когда проблема уже сформулирована и хорошо описана. Но трудность возникает именно на уровне формулирования и описания проблемы. Заинтересованные стороны, участвующие в разработке программного обеспечения, конечно могут выражать идеи, обычно не могут формализовать эти идеи ясным и однозначным способом. Поэтому нужен навык и большие усилия по интерпретации изложенных идей, "вскрытия" реальных значений и понятий, скрытые в словах. В чем то могут помочь специальные синтаксические ограничения и предопределенные лингвистические структуры, позволяющие продвинуться в деле представления и формализации проблем и требований.
Основная цель моделирования на естественном языке - сделать естественный язык пригодным для концептуального моделирования. Основное внимание уделяется семантическим аспектам и общим значениям. Синтаксис рассматривается с точки зрения перспектив формального логическом отображении исследуемых явлений.
Концептуализация и представление играют фундаментальную роль в мышлении, общении и моделировании. Концент может "разложен" на
Концептуальная модель - это формальная структура, представляющая возможный мир, состоящая из концептуальной схемы и набора фактов, которые создают концептуальную схему.
Концептуальная схема - это сочетание понятий и фактов того, что
в каждом возможном мире.
Множество фактов создает концептуальную схему путем утверждений (предложений) о возможным мире.
Правило - это факт, который утверждает либо логическую необходимость, либо обязательство.
SBVR содержит словарь для концептуального моделирования и "сборку" выражений, основываясь на словаре. Выражения представляют собой формальные логические структуры.
Словарь SBVR позволяет формально определять представления концепций, определений, экземпляров и правил в любой области знаний с испльзованием естественного языка. Эти функции делают SBVR приемлемым инструментом описания бизнес-областей, требований к бизнес-процессам и информационным системам.
Люди сообщают факты и факт является единицей общения. Фактно-ориентированный подход обеспечивает многомерную категоризацию.
Концептуальная формализация описывает бизнес-область и состоит из
1) концептуальной схемы (структуры фактов) и
2) совокупности (группы, множества) основных фактов.
Бизнес-область включает те аспекты бизнеса, которые представляют интерес.
Схема объявляет:
Факт - это предложение, принятое бизнесом за истину. Совокупности или группы фактов (множества фактов) состоят их элементарными фактов. На совокупности, или группы могут быть наложены ограничения, которые описывают свойства совокупностей. Они же, ограничения, определяют, какие факты могут быть включены в совокупность.
Вывод фактов.
Подход к управлению, основанный на правилах, направлен на пользователей двух разных типов:
В определенном смысле SBVR - формальная логика с интерфейсом на естественном языке. Основанный на лингвистике и формальной логике, SBVR предоставляет способ представления утверждений на контролируемых естественных языках.Логические структуры представляют собой семантические формулировки. SBVR предназначен для выражения деловой лексики и бизнес-правил, а также для определения бизнес-требований к информационным системам на естественном языке. Модели SBVR являются декларативными, а не императивными или процедурными.
Логика, поддерживаемая SBVR, - это типизированная логика предикатов первого порядка. Интерпретация семантических формулировок SBVR основана на теории моделей.
SBVR фиксирует бизнес-факты и бизнес-правила, которые могут быть выражены в неформальной или формальной форме. Выражения бизнес-правил являются формальными только в том случае, если они выражаются исключительно в терминах типов фактов в предварительно объявленной схеме, в терминах определенных логических/математических операторов и квантификаторов. Формальные правила преобразуются в логическую формулировку, которая используется для обмена с другими инструментами. Неофициальные правила могут быть заменены как не интерпретированные комментарии. Имеется также подход к автоматической генерации бизнес-правил SBVR.
Спецификация SBVR определяет метамодель и позволяет использовать ее для создания различных словарей и определения соответствующих бизнес-правил; также возможно дополнить эти модели данными, подходящими для описания конкретной организации.
Подход SBVR предоставляет средства (то есть правила отображения) для перевода артефактов естественного языка в артефакты, совместимые со специфакаций мета-объектной модели MOF.
Данная заметка пересказ заметки (в момент написания она была только на английском языке) -
https://en.wikipedia.org/wiki/Semantics_of_Business_Vocabulary_and_Business_Rules
SBVR предназначен для формализации сложных правил, таких как операционные правила, политика безопасности, соответствие стандарту или нормативные правила соответствия применяемые в бизнес-среде или на предприятиях. Премимущества формализации в том, что формальные словари и правила могут интерпретироваться и использоваться компьютерными системами.
SBVR является неотъемлемой частью MDA - управляемой моделью архитектуры OMG (MDA - концепция модельно ориентированного подхода к разработке программного обеспечения).
С помощью бизнес-правил организация может направлять свою деятельность, определяя способы достижения своих целей, а также способы выполнения бизнес-операций.
Основанный на правилах подход к управлению бизнесом и информацией, является способом определения и формулирования правил, которые определяют структуру предприятия и управляют его фукционированием. Это довольно новый способ описания предприятия. Бизнес-правила могут играть важную роль в определении бизнес-семантики: они могут влиять на поведение, управлять поведением, обеспечивать реализацию политик, организовывать реакции на события и реагирование в соответствии с экономической ситуацией. Семантика бизнес-словаря и бизнес-правил (SBVR) - это реализация OMG подхода к конструированию бизнес-правил.
SBVR с одной стороны использует естественный язык в моделировании, а с другой, явно предоставляет собой модель формальной логики. SBVR - это слияние лингвистики, логики и информатики, и все это используется для сбора и созданий спецификаций, изложенных на естественном языке и представленных средствами формальной логики.
Методологии, используемые при разработке программного обеспечения, обычно применяются только тогда, когда проблема уже сформулирована и хорошо описана. Но трудность возникает именно на уровне формулирования и описания проблемы. Заинтересованные стороны, участвующие в разработке программного обеспечения, конечно могут выражать идеи, обычно не могут формализовать эти идеи ясным и однозначным способом. Поэтому нужен навык и большие усилия по интерпретации изложенных идей, "вскрытия" реальных значений и понятий, скрытые в словах. В чем то могут помочь специальные синтаксические ограничения и предопределенные лингвистические структуры, позволяющие продвинуться в деле представления и формализации проблем и требований.
Основная цель моделирования на естественном языке - сделать естественный язык пригодным для концептуального моделирования. Основное внимание уделяется семантическим аспектам и общим значениям. Синтаксис рассматривается с точки зрения перспектив формального логическом отображении исследуемых явлений.
Концептуализация и представление играют фундаментальную роль в мышлении, общении и моделировании. Концент может "разложен" на
- концепт в наших умах,
- вещи реального мира, отображаенмые в концепте,
- представление концепта, которое мы можем использовать, о котором думать, которое сообщать.
Концептуальная модель - это формальная структура, представляющая возможный мир, состоящая из концептуальной схемы и набора фактов, которые создают концептуальную схему.
Концептуальная схема - это сочетание понятий и фактов того, что
- возможно,
- необходимо,
- допустимо,
- обязательно
в каждом возможном мире.
Множество фактов создает концептуальную схему путем утверждений (предложений) о возможным мире.
Правило - это факт, который утверждает либо логическую необходимость, либо обязательство.
SBVR содержит словарь для концептуального моделирования и "сборку" выражений, основываясь на словаре. Выражения представляют собой формальные логические структуры.
Словарь SBVR позволяет формально определять представления концепций, определений, экземпляров и правил в любой области знаний с испльзованием естественного языка. Эти функции делают SBVR приемлемым инструментом описания бизнес-областей, требований к бизнес-процессам и информационным системам.
Люди сообщают факты и факт является единицей общения. Фактно-ориентированный подход обеспечивает многомерную категоризацию.
- Ориентированный на фактах подход поддерживает изменчивость времени.
- Фактно-ориентированный подход обеспечивает семантическую стабильность.
- Подход, основанный на фактах, обеспечивает расширяемость и повторное использование.
- Подход, ориентированный на фактах, включает разбиение составных или сложных фактов на элементарные.
Концептуальная формализация описывает бизнес-область и состоит из
1) концептуальной схемы (структуры фактов) и
2) совокупности (группы, множества) основных фактов.
Бизнес-область включает те аспекты бизнеса, которые представляют интерес.
Схема объявляет:
- соответствующие типы фактов
- соответствующие бизнес-правила
Факт - это предложение, принятое бизнесом за истину. Совокупности или группы фактов (множества фактов) состоят их элементарными фактов. На совокупности, или группы могут быть наложены ограничения, которые описывают свойства совокупностей. Они же, ограничения, определяют, какие факты могут быть включены в совокупность.
Вывод фактов.
- Вывод означает либо то, как один тип факта может быть получен из другого.
- Или, как понятие может быть определено в терминах других типов объектов и типов фактов
Подход к управлению, основанный на правилах, направлен на пользователей двух разных типов:
- для бизнес-сообществ в целях обеспечения структурированного подхода к деятельности, основанного на четком наборе понятий;
- для ИТ-специалистов для обеспечения глубокого понимания бизнес-правил, а также для содействия в деле создания моделей.
В определенном смысле SBVR - формальная логика с интерфейсом на естественном языке. Основанный на лингвистике и формальной логике, SBVR предоставляет способ представления утверждений на контролируемых естественных языках.Логические структуры представляют собой семантические формулировки. SBVR предназначен для выражения деловой лексики и бизнес-правил, а также для определения бизнес-требований к информационным системам на естественном языке. Модели SBVR являются декларативными, а не императивными или процедурными.
Логика, поддерживаемая SBVR, - это типизированная логика предикатов первого порядка. Интерпретация семантических формулировок SBVR основана на теории моделей.
SBVR фиксирует бизнес-факты и бизнес-правила, которые могут быть выражены в неформальной или формальной форме. Выражения бизнес-правил являются формальными только в том случае, если они выражаются исключительно в терминах типов фактов в предварительно объявленной схеме, в терминах определенных логических/математических операторов и квантификаторов. Формальные правила преобразуются в логическую формулировку, которая используется для обмена с другими инструментами. Неофициальные правила могут быть заменены как не интерпретированные комментарии. Имеется также подход к автоматической генерации бизнес-правил SBVR.
Спецификация SBVR определяет метамодель и позволяет использовать ее для создания различных словарей и определения соответствующих бизнес-правил; также возможно дополнить эти модели данными, подходящими для описания конкретной организации.
Подход SBVR предоставляет средства (то есть правила отображения) для перевода артефактов естественного языка в артефакты, совместимые со специфакаций мета-объектной модели MOF.