La Semántica del Vocabulario y Reglas de Negocios ( SBVR ) es un estándar adoptado por el Object Management Group (OMG) destinado a ser la base para una descripción declarativa formal y detallada en lenguaje natural de una entidad compleja, como una empresa. SBVR tiene como objetivo formalizar reglas de cumplimiento complejas, como reglas operativas para una empresa, políticas de seguridad, cumplimiento de estándares o reglas de cumplimiento regulatorio. Estos vocabularios y reglas formales pueden ser interpretados y utilizados por sistemas informáticos. SBVR es una parte integral de la arquitectura basada en modelos (MDA) de OMG.
El estándar SBVR define el vocabulario y las reglas para documentar la semántica de los vocabularios comerciales, los hechos comerciales y las reglas comerciales; así como un esquema XMI para el intercambio de vocabularios y reglas de negocio entre organizaciones y entre herramientas de software.
SBVR permite la producción de vocabularios y reglas comerciales; El vocabulario más las reglas constituyen un modelo de dominio compartido con el mismo poder expresivo de los lenguajes ontológicos estándar . SBVR permite el desarrollo multilingüe, ya que se basa en la separación entre símbolos y su significado. SBVR permite hacer que las reglas comerciales sean accesibles para herramientas de software, incluidas herramientas que apoyan a los expertos comerciales en la creación, búsqueda, validación y gestión de reglas comerciales, y herramientas que respaldan a los expertos en tecnología de la información para convertir reglas comerciales en reglas de implementación para sistemas automatizados.
SBVR utiliza Meta-Object Facility (MOF) de OMG para proporcionar capacidades de intercambio de reglas de mapeo MOF/XMI, permitir la generación de modelos compatibles con MOF y definir un esquema XML. SBVR propone el inglés estructurado como una de las muchas notaciones que pueden asignarse al metamodelo SBVR.
SBVR y Knowledge Discovery Metamodel (KDM) están diseñados como dos partes de una pila de tecnología OMG única para análisis de software relacionados con sistemas de software existentes. KDM define una ontología relacionada con artefactos de software y así proporciona una formalización inicial de la información relacionada con un sistema de software. SBVR se puede utilizar además para formalizar reglas de cumplimiento complejas relacionadas con el software.
Las reglas de negocio representan el medio principal por el cual una organización puede dirigir su negocio, definiendo la forma operativa para alcanzar sus objetivos y realizar sus acciones.
Un enfoque basado en reglas para gestionar el negocio y la información utilizada por ese negocio es una forma de identificar y articular las reglas que definen la estructura y controlan el funcionamiento de una empresa [1] y representa una nueva forma de pensar sobre la empresa y sus reglas. , con el fin de posibilitar una representación empresarial completa realizada por y para empresarios. Las reglas comerciales pueden desempeñar un papel importante en la definición de la semántica empresarial: pueden influir o guiar comportamientos y respaldar políticas, respondiendo a situaciones y eventos ambientales. La semántica del vocabulario y las reglas comerciales (SBVR) es la implementación OMG del enfoque de reglas comerciales .
En junio de 2003, OMG emitió la Solicitud de propuesta sobre semántica empresarial de reglas comerciales (BSBR), [2] con el fin de crear un estándar que permita a los empresarios definir las políticas y reglas mediante las cuales dirigen sus negocios en su propio idioma, en términos de las cosas con las que tratan en el negocio, y capturar esas reglas de una manera que sea clara, inequívoca y fácilmente traducible a otras representaciones. [2] La propuesta SBVR fue desarrollada por el Business Rules Team, un consorcio organizado en agosto de 2003 para responder a la RFP de BSBR. [3] [4]
En septiembre de 2005, el Grupo de Trabajo de Integración y Modelado de Negocios y la Junta de Arquitectura del Grupo de Gestión de Objetos aprobaron la propuesta Semántica del Vocabulario y Reglas de Negocios (SBVR) para convertirse en una especificación final adoptada en respuesta a la RFP. Posteriormente, la propuesta de SBVR fue ratificada por el Comité Técnico de Dominio (DTC), aprobada por la Junta Directiva de OMG, y se lanzó el grupo de trabajo de finalización de SBVR para convertir la propuesta al formato estándar ISO/OMG y realizar la edición final antes de su lanzamiento como OMG formal. especificación.
En enero de 2008, se completó la fase de finalización y se publicó la especificación formal Semantics of Business Vocabulary and Business Rules (SBVR), versión 1.0, que está disponible públicamente [5] en el Catálogo de especificaciones de gestión de procesos de negocio, reglas de negocio y estrategia de negocio de OMG. Página web.
SBVR es un hito para OMG, la primera especificación OMG que incorpora el uso formal del lenguaje natural en el modelado y la primera en proporcionar explícitamente un modelo de lógica formal. Basado en una fusión de lingüística, lógica e informática, y con dos años de preparación, SBVR proporciona una manera de capturar especificaciones en lenguaje natural y representarlas en lógica formal para que puedan procesarse por máquina.
Las metodologías utilizadas en el desarrollo de software normalmente se aplican sólo cuando un problema ya está formulado y bien descrito. La verdadera dificultad radica en el paso anterior, que es describir los problemas y las funcionalidades esperadas. Las partes interesadas involucradas en el desarrollo de software pueden expresar sus ideas utilizando un lenguaje muy cercano a ellos, pero generalmente no pueden formalizar estos conceptos de una manera clara e inequívoca. Esto implica un gran esfuerzo para interpretar y comprender significados y conceptos reales escondidos entre las palabras de los stakeholders. Se pueden utilizar restricciones especiales en la sintaxis o estructuras lingüísticas predefinidas para superar este problema, permitiendo que el lenguaje natural represente bien y defina formalmente problemas y requisitos.
Por tanto, el objetivo principal del modelado del lenguaje natural es hacer que el lenguaje natural sea adecuado para el modelado conceptual. La atención se centra en los aspectos semánticos y los significados compartidos, mientras que la sintaxis se piensa en una perspectiva basada en el mapeo lógico formal.
La conceptualización y la representación desempeñan papeles fundamentales en el pensamiento, la comunicación y el modelado. Hay una tríada de 1) conceptos en nuestras mentes, 2) cosas del mundo real conceptualizadas por conceptos y 3) representaciones de conceptos que podemos usar para pensar y comunicar sobre el concepto y sus correspondientes cosas del mundo real.
(Tenga en cuenta que las cosas del mundo real incluyen tanto cosas concretas como representaciones de esas cosas concretas como registros y procesos en sistemas de información operativos).
Un modelo conceptual es una estructura formal que representa un mundo posible, que comprende un esquema conceptual y un conjunto de hechos que instancian el esquema conceptual. El esquema conceptual es una combinación de conceptos y hechos de lo que es posible, necesario, permisible y obligatorio en cada mundo posible. El conjunto de hechos instancia el esquema conceptual mediante afirmación para describir un mundo posible. Una regla es un hecho que afirma una necesidad lógica o una obligación. Las obligaciones no necesariamente quedan satisfechas por los hechos; Las necesidades siempre están satisfechas. [6]
SBVR contiene un vocabulario para modelado conceptual y captura expresiones basadas en este vocabulario como estructuras lógicas formales. El vocabulario SBVR permite especificar formalmente representaciones de conceptos, definiciones, instancias y reglas de cualquier dominio de conocimiento en lenguaje natural, incluidas las formas tabulares. Estas características hacen que SBVR sea muy adecuado para describir dominios comerciales y requisitos para procesos comerciales y sistemas de información para implementar modelos comerciales.
Las personas comunican hechos, ese es el hecho es la unidad de comunicación. El enfoque orientado a los hechos permite la categorización multidimensional. [7]
La formalización conceptual describe un dominio empresarial y se compone de 1) un esquema conceptual (estructura de hechos) y 2) una población de hechos básicos. Un dominio empresarial ( universo de discurso ) comprende aquellos aspectos del negocio que son de interés.
El esquema declara:
Un hecho es una proposición que la empresa considera verdadera. Los hechos de población se restringen a hechos elementales y existenciales.
Las restricciones pueden ser estáticas o dinámicas:
Por ejemplo, el estado civil de una persona puede cambiar de soltero a casado, pero no de divorciado a soltero.
Derivación de hechos.
Las reglas juegan un papel muy importante en la definición de la semántica empresarial: pueden influir o guiar comportamientos y respaldar políticas, respondiendo a situaciones y eventos ambientales. Esto significa que las reglas representan el medio principal por el cual una organización puede dirigir su negocio, definiendo la forma operativa para alcanzar sus objetivos y realizar sus acciones.
El enfoque basado en reglas pretende abordar dos tipos diferentes de usuarios:
La esencia de las formalizaciones conceptuales basadas en reglas es que las reglas se basan en hechos y los hechos se basan en conceptos expresados por términos . [8]
Este mantra es memorable, pero es una simplificación ya que en SBVR: el significado está separado de la expresión; Los tipos de hechos (conceptos verbales) se basan en conceptos sustantivos; Los conceptos sustantivos están representados por términos; y los tipos de hechos están representados por símbolos de hechos (frases verbales).
Las declaraciones de reglas se expresan utilizando la modalidad alética o la modalidad deóntica y requieren elementos de lógica modal como formalización.
Las reglas comerciales estructurales de SBVR utilizan dos operadores modales aléticos :
Las reglas comerciales operativas de SBVR utilizan dos operadores modales deónticos :
Las reglas estructurales de negocio (restricciones estáticas) se tratan como necesidades aléticas por defecto, donde cada estado del modelo de hechos corresponde a un mundo posible. Pragmáticamente, se entiende que la regla se aplica a todos los estados futuros del modelo de hechos, hasta que la regla sea revocada o modificada. Para la teoría de modelos, el operador de necesidad se omite en la fórmula. En cambio, la regla se etiqueta simplemente como una necesidad. Para cumplir con la lógica común , dichas fórmulas pueden tratarse como expresiones irregulares, y el operador modal necesario se puede tratar como un símbolo no interpretado.
Si la regla incluye exactamente un operador deóntico, por ejemplo O (obligación), y éste está al principio, entonces la regla puede formalizarse como Op, donde p es una fórmula de primer orden etiquetada como obligatoria. En SBVR, a esta etiqueta se le asigna la semántica informal: debería darse el caso de que p (para todos los estados futuros del modelo de hechos, hasta que se revoque o cambie la restricción). Desde una perspectiva teórica de modelos, un modelo es una interpretación en la que cada fórmula no deóntica se evalúa como verdadera, y el modelo se clasifica como: un modelo permitido si la p en cada fórmula deóntica (de la forma Op) se evalúa como verdadera; de lo contrario, el modelo es un modelo prohibido (aunque sigue siendo un modelo). Este enfoque elimina cualquier necesidad de asignar un valor de verdad a expresiones de la forma Op.
SBVR es para modelar en lenguaje natural. Basado en la lingüística y la lógica formal, SBVR proporciona una forma de representar declaraciones en lenguajes naturales controlados como estructuras lógicas llamadas formulaciones semánticas. SBVR está destinado a expresar vocabulario y reglas comerciales, y a especificar requisitos comerciales para sistemas de información en lenguaje natural. Los modelos SBVR son declarativos, no imperativos ni procesales. SBVR tiene la mayor expresividad de cualquier lenguaje de modelado OMG. Las lógicas admitidas por SBVR son lógica de predicados tipificada de primer orden con igualdad, lógica restringida de orden superior (semántica de Henkin), lógica modal deóntica y alética restringida, teoría de conjuntos con comprensión de bolsas y matemáticas. SBVR también incluye proyecciones, para respaldar definiciones y respuestas a consultas, y preguntas, para formular consultas. La interpretación de las formulaciones semánticas de SBVR se basa en la teoría de modelos. SBVR tiene un modelo MOF, por lo que los modelos pueden vincularse estructuralmente a nivel de hechos individuales con otros modelos MDA basados en MOF.
SBVR está alineado con Common Logic , publicado por ISO como ISO/IEC 24707:2007.
SBVR captura hechos y reglas comerciales que pueden expresarse de manera informal o formal. Las expresiones de reglas de negocios son formales sólo si se expresan puramente en términos de: tipos de hechos en el esquema predeclarado para el dominio de negocios, ciertos operadores lógicos/matemáticos, cuantificadores, etc. Las reglas formales se transforman en una formulación lógica que se utiliza para el intercambio. con otras herramientas de software basadas en reglas. Las reglas informales pueden intercambiarse como comentarios no interpretados. En [9] se presenta un enfoque para generar automáticamente reglas de negocio SBVR a partir de especificaciones de lenguaje natural.
La especificación SBVR define un metamodelo y permite instanciarlo para crear diferentes vocabularios y definir las reglas de negocio relacionadas; También es posible completar estos modelos con datos adecuados para describir una organización específica. el enfoque SBVR proporciona medios (es decir, reglas de mapeo) para traducir artefactos del lenguaje natural en artefactos compatibles con MOF; esto permite explotar todas las ventajas relacionadas con MOF (instalaciones de repositorio, intercambiabilidad, herramientas, ...).
Se espera que varios trabajos de OMG en curso relacionados con la MDA incorporen SBVR, entre ellos:
El metamodelo de definición de ontología (ODM) se ha hecho compatible con SBVR, principalmente alineando la base lógica de la especificación de lógica común (CL) ISO a la que hace referencia ODM con el vocabulario de formulación lógica de semántica de SBVR. La propia CL se modificó específicamente para que potencialmente pueda incluir los requisitos de sentencias modales de la SBVR. ODM proporciona un puente para vincular SBVR con el lenguaje de ontología web para servicios (OWL-S), el esquema del marco de descripción de recursos (RDFS), el lenguaje de modelado unificado (UML), el mapa de temas (TM), el modelado de relaciones entre entidades (ER) y la lógica de descripción . (DL) y CL.
Otros programas fuera de OMG están adoptando SBVR. El Digital Business Ecosystem (DBE), un proyecto integrado del Sexto Programa Marco de la Comisión Europea, ha adoptado SBVR como base para su lenguaje de modelado de negocios. [ cita necesaria ] El Consorcio World Wide Web (W3C) está evaluando SBVR para su uso en la Web Semántica, a través del puente proporcionado por ODM. [ cita necesaria ] SBVR ampliará la capacidad de MDA en todas estas áreas.
{{cite web}}: |author=tiene nombre genérico ( ayuda ){{cite web}}: |author=tiene nombre genérico ( ayuda )