将业务规则转换为像DMN(决策模型与表示法)这样的执行模型,在SBVR框架下是通过一个桥接转换(Transformation)过程实现的。虽然SBVR专注于业务层面的语义,但它为向IT系统模型的转换提供了基础结构。
以下是实现转换的核心步骤和逻辑:
1.构建SBVR内容模型(SBVR Content Model)
首先,业务规则必须被记录在SBVR规则手册(SBVR Rulebook)中。
l 语义对齐:使用结构化英语(Structured English)来消除自然语言的歧义,确保规则的含义对业务人员和IT转换工具都是清晰的。
l 元素构成:规则手册不仅包含词汇定义(名词概念、动词概念),还包含行为型和定义型业务规则的正式表述。
2.生成正式的逻辑表述(Logical Formulation)
为了能够被工具处理,规则需要通过“逻辑表述”来结构化其含义。
l 结构化含义:逻辑表述涵盖了量化(Quantification)、逻辑运算(Logical Operation)和模态算子(Modal Formulations)。
l 机器可读:这种逻辑结构(如全称量化、蕴含关系等)是机器理解业务规则逻辑并将其映射到执行引擎(如DMN决策表)的基础。
3.执行桥接转换(Bridge Transformation)
SBVR规范明确指出,从SBVR内容模型到IT系统模型(例如DMN的XML结构)需要一个桥接转换。
l IT人员的角色:转换过程需要IT职员利用系统架构决策、平台无关模型(PIM)设计以及软件工具功能,将业务语义转化为IT设计。
l 映射意图:通过使用URI,SBVR内容模型可以为DMN建模过程中涉及的任何数据元素提供明确的业务意图。
4.确保语义一致性(SBVR Semantics Conformance)
符合“SBVR语义一致性”的工具应具备以下能力:
l 解释语义:能够解释SBVR语义并进行推理,以验证逻辑的一致性。
l 输出可执行规则:这类工具可以将SBVR规则手册直接转换为可执行规则(Executable Rules)。
5.关键差异的处理
在转换过程中,必须处理业务语义与IT执行逻辑之间的差异:
l 关键关系:SBVR的核心关系是“词汇表/规则手册中的含义”与“现实世界中的事物”之间的联系;而IT系统(如DMN执行层)的核心关系是“数据/推理模型中的类”与“记录的业务数据”之间的联系。
l 可判定性检查:利用逻辑技术发现SBVR内容模型中的不一致性和漏洞,确保转换到DMN时逻辑是完备且可判定的。
总结:
SBVR并不直接运行规则,而是通过提供一套无歧义的逻辑结构,作为输入供给IT转换工具。IT工具随后根据SBVR的逻辑表述(如原子表述、角色绑定等)生成DMN决策表或逻辑表达式,从而实现从“业务语言”到“执行模型”的闭环。