ビジネス用語とビジネスルールのセマンティクス

ビジネス語彙とビジネス ルールのセマンティクス( SBVR )は、オブジェクト管理グループ(OMG)が採用した標準であり、ビジネスなどの複雑なエンティティの形式的かつ詳細な自然言語宣言記述の基礎となることを目的としています。SBVR は、企業の運用ルール、セキュリティ ポリシー、標準コンプライアンス、規制コンプライアンス ルールなどの複雑なコンプライアンス ルールを形式化することを目的としています。このような形式化された語彙とルールは、コンピューター システムによって解釈および使用できます。SBVR は、OMG のモデル駆動型アーキテクチャ(MDA) の不可欠な部分です。

SBVR 標準は、ビジネス語彙、ビジネス事実、ビジネス ルールのセマンティクスを文書化するための語彙とルール、および組織間およびソフトウェア ツール間でビジネス語彙とビジネス ルールを交換するための XMIスキーマを定義します。

SBVR を使用すると、ビジネス ボキャブラリとルールを作成できます。ボキャブラリとルールを組み合わせると、標準オントロジー言語と同じ表現力を持つ共有ドメイン モデルが構成されます。SBVR は、シンボルとその意味の分離に基づいているため、多言語開発が可能です。SBVR を使用すると、ビジネス ルールをソフトウェア ツールで利用できるようになります。これには、ビジネス ルールの作成、検索、検証、管理を行うビジネス エキスパートをサポートするツールや、ビジネス ルールを自動化システムの実装ルールに変換する情報技術エキスパートをサポートするツールが含まれます。

SBVR は、OMG のメタオブジェクト機能(MOF) を使用して、MOF/XMI マッピング ルールの交換機能を提供し、MOF 準拠のモデルの生成を可能にし、XML スキーマを定義します。SBVR は、SBVR メタモデルにマップできる多くの表記法の 1 つとして、構造化英語を提案しています。

SBVR とKnowledge Discovery Metamodel (KDM) は、既存のソフトウェア システムに関連するソフトウェア分析のための独自の OMG テクノロジー スタックの 2 つの部分として設計されています。KDM はソフトウェア成果物に関連するオントロジーを定義し、ソフトウェア システムに関連する情報の初期の形式化を提供します。SBVR はさらに、ソフトウェアに関連する複雑なコンプライアンス ルールを形式化するために使用できます。

ビジネス ルールは、組織がビジネスを管理するための主要な手段を表し、目標を達成してアクションを実行するための運用方法を定義します。

ビジネスとそのビジネスで使用される情報を管理するためのルールベースのアプローチは、企業の構造を定義し、運営を制御するルールを識別して明確にする方法です。 ^[1]これは、企業とそのルールについて考える新しい方法であり、ビジネスマンによるビジネスマンのための完全なビジネス表現を可能にします。ビジネスルールは、ビジネスセマンティクスの定義において重要な役割を果たすことができます。ビジネスルールは、環境状況やイベントに対応して、行動に影響を与えたりガイドしたり、ポリシーをサポートしたりできます。ビジネス語彙とビジネスルールのセマンティクス（SBVR）は、ビジネスルールアプローチのOMG実装です。

2003 年 6 月、OMG はビジネス ルールのビジネス セマンティクス (BSBR) 提案依頼書^{[2]を発行しました}。これは、ビジネスマンがビジネスで扱う事柄に関して、自分の言語でビジネスを運営するためのポリシーとルールを定義し、それらのルールを明確で曖昧さがなく、他の表現に簡単に翻訳できる方法で取り込むことができる標準を作成するためです。 [ ^2] SBVR 提案書は、BSBR RFP に応えて 2003 年 8 月に組織されたコンソーシアムであるビジネス ルール チームによって開発されました。^{[3] [4]}

2005 年 9 月、ビジネス モデリングおよび統合タスク フォースとオブジェクト管理グループのアーキテクチャ ボードは、 RFP への応答として、ビジネス ボキャブラリとビジネス ルールのセマンティクス (SBVR) の 提案を最終採用仕様として承認しました。その後、SBVR 提案はドメイン技術委員会 (DTC) によって批准され、OMG 理事会で承認され、提案を ISO/OMG 標準形式に変換し、OMG の正式仕様としてリリースする前に最終的な編集を行う SBVR 最終化タスク フォースが立ち上げられました。

2008年1月に最終段階が完了し、ビジネス語彙とビジネスルールのセマンティクス（SBVR）バージョン1.0の正式仕様がリリースされ、OMGビジネス戦略、ビジネスルール、ビジネスプロセス管理仕様のカタログWebページで公開されています^[5]。

SBVR は OMG にとって画期的なものであり、モデリングに自然言語の形式的な使用を取り入れた最初の OMG 仕様であり、形式論理のモデルを明示的に提供する最初の仕様です。言語学、論理学、コンピューター サイエンスの融合に基づき、2 年の準備期間を経て、SBVR は自然言語で仕様をキャプチャし、それを形式論理で表現して機械処理できるようにする方法を提供します。

ソフトウェア開発で使用される方法論は、通常、問題がすでに定式化され、適切に記述されている場合にのみ適用されます。実際の難しさは、問題と期待される機能の記述という前のステップにあります。ソフトウェア開発に携わる利害関係者は、非常に身近な言語を使用してアイデアを表現することができますが、通常、これらの概念を明確かつ曖昧さのない方法で形式化することはできません。これは、利害関係者の言葉に隠された実際の意味と概念を解釈して理解するために多大な労力がかかることを意味します。この問題を克服するために、構文または定義済みの言語構造に対する特別な制約を使用できます。これにより、自然言語で問題と要件を適切に表現し、形式的に定義できるようになります。

したがって、自然言語モデリングの主な目的は、自然言語を概念モデリングに適したものにすることです。意味的側面と共有される意味に重点が置かれ、構文は形式論理マッピングに基づく観点から考えられます。

概念化と表現は、思考、コミュニケーション、モデリングにおいて基本的な役割を果たします。概念化と表現には、1) 頭の中にある概念、2) 概念によって概念化された現実世界のもの、3) 概念とそれに対応する現実世界のものについて考えたりコミュニケーションしたりするために使用できる概念の表現、という 3 つの要素があります。

(現実世界の事物には、具体的な事物と、運用情報システム内の記録やプロセスとしての具体的な事物の表現の両方が含まれることに注意してください。)

概念モデルは、可能世界を表現する形式的な構造であり、概念スキーマと概念スキーマを具体化する一連の事実から構成されます。概念スキーマは、各可能世界において何が可能で、何が必要で、何が許容され、何が義務であるかの概念と事実の組み合わせです。一連の事実は、1つの可能世界を記述するために、概念スキーマを表明によって具体化します。ルールは、論理的な必然性または義務のいずれかを表明する事実です。義務は必ずしも事実によって満たされるわけではありませんが、必然性は常に満たされます。^[6]

SBVR には概念モデリング用の語彙が含まれており、この語彙に基づく表現を正式な論理構造として捉えます。SBVR 語彙を使用すると、表形式を含む自然言語で、あらゆる知識ドメインの概念、定義、インスタンス、ルールの表現を正式に指定できます。これらの機能により、SBVR はビジネス ドメインや、ビジネス プロセスおよび情報システムがビジネス モデルを実装するための要件を記述するのに適しています。

人々は事実を伝えます。つまり、事実がコミュニケーションの単位です。事実指向のアプローチは多次元の分類を可能にします。^[7]

• 事実指向のアプローチは時間の変化をサポートします。
• 事実指向のアプローチは意味の安定性を提供します。
• 事実指向のアプローチにより、拡張性と再利用が可能になります。
• 事実指向のアプローチでは、複合的な事実タイプを基本 (アトミック) な事実タイプに分解します。

概念の形式化はビジネス ドメインを記述するもので、1) 概念スキーマ (事実構造) と 2) 基礎事実の集合で構成されます。ビジネス ドメイン (論議対象領域) は、ビジネスの関心のある側面で構成されます。

スキーマは以下を宣言します:

• 関連する事実の種類（根拠となる事実の種類、例：従業員は部門に勤務している）
• 関連するビジネス ルール (通常は制約または導出ルール)。

事実とは、ビジネスによって真実であるとみなされる命題です。人口に関する事実は、基本的事実と実存的事実に限定されます。

制約は静的または動的にすることができます。

• 静的制約は、各ファクト集団に対して、可能または許可されるファクト集団に制限を課します。たとえば、 各従業員は最大で 1 つの日付に生まれました。
• 動的制約は、事実集団間の遷移に制限を課す。

例えば、 ある人の婚姻状況は独身から既婚に変わることはあるが、離婚から独身には変わらない。

事実の導出。

• 派生とは、あるファクトタイプが1つ以上の他のファクトタイプからどのように派生するかを意味します。例:
  • Person1がPerson2の親であるPerson3の兄弟である場合、Person1はPerson2の叔父である。
• あるいは、名詞概念（オブジェクト型）が他のオブジェクト型や事実型の観点からどのように定義されるか、例：
  • 各女性オーストラリア人は、国「オーストラリア」で生まれ、性別「女性」の人です。

ルールは、ビジネス セマンティクスを定義する上で非常に重要な役割を果たします。ルールは、環境状況やイベントに対応して、行動に影響を与えたり、行動を導いたり、ポリシーをサポートしたりできます。つまり、ルールは、組織がビジネスを方向付ける主な手段であり、目的を達成してアクションを実行するための運用方法を定義します。

ルールベースのアプローチは、次の 2 種類のユーザーに対応することを目的としています。

• ビジネス コミュニティを対象とし、明確な一連の概念に基づき、ビジネス ルールにアクセスして管理するために使用される構造化されたアプローチを提供します。
• IT プロフェッショナルを対象としており、ビジネス ルールに関する深い理解を提供し、モデルの作成を支援します。ルールベースのアプローチは、データ マネージャーとソフトウェア設計者の間に生じる可能性のある溝を埋めるのにも役立ちます。

ルールベースの概念形式化の本質は、ルールが事実に基づいて構築され、事実が用語によって表現される概念に基づいて構築されることです。^[8]

このマントラは覚えやすいものですが、SBVR では意味は表現とは別であり、事実タイプ (動詞の概念) は名詞の概念に基づいて構築され、名詞の概念は用語によって表され、事実タイプは事実記号 (動詞句) によって表されるため、単純化されています。

規則ステートメントは、論理的様相または義務的様相のいずれかを使用して表現され、形式化として様相論理の要素を必要とします。

SBVR構造ビジネス ルールでは、 2 つの論理的 モーダル演算子を使用します。

…が必要です。

…という可能性もあります

SBVR運用ビジネス ルールは、 2 つの義務的 モーダル演算子を使用します。

…は必須です。

…が許可されます。

構造的なビジネス ルール (静的制約) は、デフォルトでは論理的必然性として扱われ、ファクト モデルの各状態は可能世界に対応します。実際的には、ルールは、ルールが取り消されるか変更されるまで、ファクト モデルの将来のすべての状態に適用されると理解されます。モデル理論では、必然性演算子は式から省略されます。代わりに、ルールは単に必然性としてタグ付けされます。Common Logicに準拠するため、このような式は不規則な表現として扱うことができ、必然性様相演算子は解釈されないシンボルとして扱われます。

ルールに義務演算子が 1 つだけ含まれている場合 (例: O (義務))、これが先頭にある場合、ルールは Op として形式化できます。ここで、p は義務としてタグ付けされた 1 階式です。SBVR では、このタグに非形式的な意味論が割り当てられます。つまり、p が当てはまるはずです (制約が取り消されるか変更されるまで、ファクト モデルの将来のすべての状態について)。モデル理論の観点からは、モデルは各非義務式が true と評価される解釈であり、モデルは次のように分類されます。各義務式 (Op 形式) の p が true と評価される場合は許可されたモデル、それ以外の場合はモデルは禁止モデル (それでもモデルです)。このアプローチにより、Op 形式の式に 真理値を割り当てる必要がなくなります。

SBVR は、自然言語でのモデリング用です。言語学と形式論理に基づき、SBVR は制御された自然言語のステートメントを意味定式化と呼ばれる論理構造として表現する方法を提供します。SBVR は、ビジネス用語とビジネス ルールを表現し、情報システムのビジネス要件を自然言語で指定することを目的としています。SBVR モデルは宣言型であり、命令型や手続き型ではありません。SBVR は、OMG モデリング言語の中で最も優れた表現力を持っています。SBVR でサポートされるロジックは、等式による型付き 1 階述語論理、制限付き高階論理 (Henkin 意味論)、制限付き義務論的および論理的様相論理、バッグ理解による集合論、および数学です。SBVR には、クエリの定義と回答をサポートする投影や、クエリを作成するための質問も含まれています。SBVR 意味定式の解釈は、モデル理論に基づいています。 SBVR には MOF モデルがあるため、モデルは個々のファクトのレベルで MOF に基づく他の MDA モデルと構造的にリンクできます。

SBVR は、 ISOによってISO/IEC 24707:2007 として 公開されているCommon Logicに準拠しています。

SBVR は、非公式または公式に表現される可能性のあるビジネス ファクトとビジネス ルールをキャプチャします。ビジネス ルールの表現は、ビジネス ドメインの事前宣言スキーマ内のファクト タイプ、特定の論理/数学演算子、量指定子などのみで表現されている場合にのみ、公式です。公式ルールは、他のルールベースのソフトウェア ツールとの交換に使用される論理定式に変換されます。非公式ルールは、解釈されないコメントとして交換できます。自然言語仕様から SBVR ビジネス ルールを自動的に生成する方法は、^{[9]で紹介されています。}

SBVR 仕様はメタモデルを定義し、それをインスタンス化して、さまざまな語彙を作成し、関連するビジネス ルールを定義できるようにします。また、特定の組織を記述するのに適したデータを使用してこれらのモデルを完成させることもできます。SBVR アプローチは、自然言語アーティファクトを MOF 準拠のアーティファクトに変換する手段 (つまり、マッピング ルール) を提供します。これにより、MOF に関連するすべての利点 (リポジトリ機能、互換性、ツールなど) を活用できます。

進行中の MDA 関連の OMG 作業のいくつかには、SBVR が組み込まれる予定です。これには以下が含まれます。

• ビジネスプロセス定義メタモデル ( BPDM )
• 組織構造メタモデル (OSM)
• ビジネスモチベーションモデル（BMM）
• UML 生成ルール表現プロファイル (PRR)
• 国防総省アーキテクチャ フレームワーク/国防省 (カナダ) アーキテクチャ フレームワーク (DoDAF/MODAF) の UML プロファイル。
• 知識発見メタモデル(KDM)
• SBVR への関心の高まり - セマンティック ウェブ、OASIS

オントロジー定義メタモデル (ODM) は、主に ODM が参照する ISO共通ロジック仕様 (CL) のロジック基盤を SBVR の論理的セマンティクス定式化語彙と整合させることにより、SBVR と互換性を持つようになりました。CL 自体は、SBVR のモーダル センテンスの要件を潜在的に含むことができるように特別に変更されました。ODM は、SBVR をWeb オントロジー言語(OWL-S)、リソース記述フレームワーク スキーマ(RDFS)、統一モデリング言語(UML)、トピック マップ(TM)、エンティティ リレーションシップ モデリング(ER)、記述ロジック(DL)、および CL に リンクするためのブリッジを提供します。

OMG 以外のプログラムも SBVR を採用しています。欧州委員会フレームワーク プログラム 6 の統合プロジェクトであるデジタル ビジネス エコシステム (DBE) は、ビジネス モデリング言語の基礎として SBVR を採用しています。^{[引用が必要]} World Wide Web コンソーシアム (W3C) は、ODM が提供するブリッジを介して、セマンティック Web での使用について SBVR を評価しています。^{[引用が必要]} SBVR は、これらすべての領域で MDA の機能を拡張します。

• ビジネスルールグループ