Tata Consultancy Services Limited

Ravindra Naik

Pavan Kumar Chittimalli

Raveendra Kumar Medicherla

Amit Saxena

Kritika Anand

Narayan Ramaswami

Sayandeep Mitra

Thirthahalli Shivaprasad

Shrishti Pradhan

Shivani Pravin Kondewar

For performing analysis of enterprise application, code analysis tools may be used. But currently available analysis tools lack support for analyzing database processing statements, such as structured query language (SQL) statements and inter-service communication statements that may be present along with the programming language statements in the computer program. Present disclosure provides method and system for performing program transformations for precise analysis of enterprise applications. The system transform each database processing statement present in a computer program associated with the enterprise application into host programming language statement and each service call into function call statements. In particular, the system replaces syntax of embedded language with equivalent host programming language syntax. The system then uses existing code analyzers for performing analysis of the computer program to get data flow information of the computer program.

Method and system for performing program transformations for precise analysis of enterprise applications

Data migration of an application from source to target information system is a critical step for a successful modernization project. There are few commercial tools available to address the data migration challenge, creation of a data transformation specification is largely a manual, knowledge intensive, and expert driven process. A system and method for learning based synthesis of data transformation rules have been provided. The system is focused on automating important aspects of automatic inference of the transformation specification. The key principles behind the system and method are derived from the observations on how experts use domain, system, and historical mapping knowledge while creating data transformation specifications. The system contains two major components, schema matching and transformation rule program generation. The system uses machine learning, knowledge representation for schema matching and developed rule generator using a deductive synthesizer.

System and method for learning-based synthesis of data transformation rules

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

The present invention relates to a method and system comprising service pattern definitions and automated extraction of Services from the legacy code based on the pattern matching.

System and method for pattern based services extraction

The present invention relates to method of defining multiple program abstractions, extraction methodologies, transformation, and code conversion to convert legacy monolithic architecture of business systems to a layered modern architecture using Object Oriented language such as Java.

Growing community of inventors

Pune, India

Ravindra Naik