SBVR Is Formal Logic With A Natural Language Interface
SBVR is for modeling in natural language. Based on linguistics and formal logic, SBVR provides a way to represent statements in controlled natural languages as logic structures called semantic formulations. SBVR is intended for expressing business vocabulary and business rules, and for specifying business requirements for information systems in natural language. SBVR models are declarative, not imperative or procedural. SBVR has the greatest expressivity of any OMG modeling language. The logics supported by SBVR are typed first order predicate logic with equality, restricted higher order logic (Henkin semantics), restricted deontic and alethic modal logic, set theory with bag comprehension, and mathematics. SBVR also includes projections, to support definitions and answers to queries, and questions, for formulating queries. Interpretation of SBVR semantic formulations is based on model theory. SBVR has a MOF model, so models can be structurally linked at the level of individual facts with other MDA models based on MOF.
SBVR is aligned with Common Logic – published by ISO as ISO/IEC 24707:2007.
SBVR captures business facts and business rules that may be expressed either informally or formally. Business rule expressions are formal only if they are expressed purely in terms of: fact types in the pre-declared schema for the business domain, certain logical/ mathematical operators, quantifiers etc. Formal rules are transformed into a logical formulation that is used for exchange with other rules-based software tools. Informal rules may be exchanged as un-interpreted comments. An approach to automatically generate SBVR business rules from natural language specification is presented in.
Read more about this topic: Semantics Of Business Vocabulary And Business Rules
Famous quotes containing the words formal, logic, natural and/or language:
“The manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.”
—Franz Grillparzer (1791–1872)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)
“The Royal Navy of England hath ever been its greatest defence and ornament; it is its ancient and natural strength; the floating bulwark of the island.”
—William Blackstone (1723–1780)
“The language of the younger generation ... has the brutality of the city and an assertion of threatening power at hand, not to come. It is military, theatrical, and at its most coherent probably a lasting repudiation of empty courtesy and bureaucratic euphemism.”
—Elizabeth Hardwick (b. 1916)