首页>
外国专利>
Detecting inconsistencies in semantics of business vocabulary and business rules (SBVR) using many-sorted logic
Detecting inconsistencies in semantics of business vocabulary and business rules (SBVR) using many-sorted logic
展开▼
机译:使用许多排序逻辑检测业务词汇和业务规则(SBVR)语义的不一致
展开▼
页面导航
摘要
著录项
相似文献
摘要
This disclosure relates generally to detection of inconsistencies in Semantics of Business Vocabulary and Business Rules (SBVR) rules, and, more particularly, to detecting inconsistencies in SBVR using Many-Sorted Logic. Traditional systems and methods implementing graphical and other related techniques are not sufficient to detect anomalies in semantic rules, thereby leading to a different verification approach to detect logical anomalies and errors due to quantification. Embodiment of the present disclosure overcome the limitations faced by the traditional systems and methods by translating a set of SBVR rules into a SBVR eXtensible Markup Language Metadata Interchange (XMI); transforming the SBVR XMI into one or more Satisfiability Modulo Theories Library (SMT-LIB) formulas using at least one logical structure and semantic of Many-Sorted Logic; and detecting, from the one or more SMT-LIB formulas, one or more inconsistencies in semantics of SBVR by using a SMT solver invocation.
展开▼