Tata Consultancy Services Limited

Pavan Kumar Chittimalli

Ravindra Naik

Kritika Anand

Vipul Shah

Soham Sundar Chakraborty

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.

Detecting inconsistencies in semantics of business vocabulary and business rules (SBVR) using many-sorted logic

A method and a system for mining rule intents from documents is provided, wherein the rule intents are basic atomic facts present in a sentence. The proposed method and system for identification of relation among rule intents from a document is performed in multiple stages that include identification and optimization of a pair-wise relation graph from rule intents based on a plurality of relation optimizing heuristic rules. The relations identified among the rule intents are displayed in Semantics of Business Vocabulary and Rules (SBVR) format, which can be easily analyzed by machines as SBVR is a comprehensive standard for business rule representation by Object Management Group (OMG) in accordance with set of a standard pre-defined vocabularies.

Method and system for identification of relation among rule intents from a document

A system and method for method and a system for mining rule intents from documents is provided, wherein the rule intents are basic atomic facts present in a sentence. The proposed method and system for mining of rule intents from documents is performed in multiple stages that include extraction of rule sentences from input documents that are further parsed to create dependency trees. The created dependency trees are further analyzing based on a set of plurality of heuristic rules to mine rule intents. The mined rule intents are saved and further displayed in Semantics of Business Vocabulary and Rules (SBVR) format. The mined rule intents that are displayed automatically in the SBVR format can be easily analyzed as they SBVR is a comprehensive standard for business rule representation by Object Management Group (OMG) in accordance with set of a standard pre-defined vocabularies.

Method and system to mine rule intents from documents

A method and system for assigning an annotation to a statement in a source code. The method comprises generating intermediate representation of the source code by parsing the source code. The method comprises identifying one or more instances of definition of a variable and one or more instances of use of the variable. The method comprises categorizing the variable into a group of variables based on the one or more instances of definition of the variable, the one or more instances of use of the variable, a description of the variable, and mathematical operators defining a correlation between the variable and one or more other variables. Further, a data description table and a data dictionary of the plurality of variables are created. The method assigns an annotation to the variable present in the statement of the source code based on the data description table and the data dictionary.

Assigning an annotation to a variable and a statement in a source code of a software application

A system and method is disclosed to estimate both, the time and number of resources required to execute a test suite or a subset of test suite in parallel, with the objective of providing a balanced workload distribution. The present invention partitions test suite for parallelization, given the dependencies that exists between test cases and test execution time.

Growing community of inventors

Pune, India

Pavan Kumar Chittimalli