Software systems & services
Overview
The software systems and services research team focuses on a wide ranging set of problems faced by modern enterprises from strategy to business processes to software systems. The endeavor is to come up with novel hyper-automation centric solutions that integrate proven ideas from fields such as software engineering, modeling & simulation, program analysis & synthesis, AI and control theory.
Fields
The research carried out in this area includes:
Enterprise Digital Twin: Primary focus is on supporting the Digital Twin concept for non-physical spaces by building further upon proven ideas from Modelling & Simulation, Artificial Intelligence, and Control Theory to support simulation-based data-driven learning-aided justification-backed approach to decision making in the face of uncertainty. Having demonstrated the value-add in business, cyber-physical and societal spaces, we are now entering biology.
Automated Regulatory Compliance: Principal objective is to develop technology to help enterprises stay compliant at optimal cost with minimal risk exposure. The line of attack leverages a wide spectrum of techniques such as natural language processing, machine learning, domain-specific languages, model checking, model transformation, and data integration.
Knowledge Driven Engineering: Primary focus is on developing knowledge engineering frameworks that help in modelling, extracting, and reasoning in order to deliver the right insights to engineers at the right time to help them make the right decisions in engineering processes such as design, manufacturing and operations.
Information to Insights: This group focuses on human-in-loop authoring of purposive models from [semi / un] structured information so as to enable subject matter experts derive insights in an automation-aided justification-backed manner.
Knowledge-guided SDLC: This group works on developing technology to transform document-centric manual stages of software product development to model-centric automation-aided. Key feature is an active knowledgebase that grows over time thus leading to automatic improvement of SDLC.
Domain-driven Onboarding: An initiative for evolving semi-automated, with human-in-the-loop method, digitized internal specification & model-based architecture, and necessary tool support for on-boarding an information organization’s core business, described using semi-structured and un-structured text, to a TCS or COTS platform.
Program Analysis driven System Renovation: Primary focus is on combining the proven data-flow and control-flow analysis of programs with domain vocabulary and learning techniques to synthesize digitized, model-based specifications, to the extent automatically, from the implementation (source code) of a given system.
Program Synthesis for Data Transformations: The group is exploring a novel iterative combination of machine learning based table and field matching with program synthesis based transformation rule learning for solving complex data transformation needs of enterprises.
Software Engineering for the Uncertain World (SE4UW): Primary objective is to come up with an approach for designing software systems capable of dynamic adaptation in the face of uncertainty, to come up with suitable software system architecture, and to develop the necessary technology infrastructure to support the approach and to implement the architecture.
New-age Software System Architectures: Primary objective is to investigate how enterprise systems should be architected to best address critical run-the-enterprise needs of future enterprises. To begin with, the work will focus on helping some of the key technology-centered initiatives of TCS by building further upon a wide range of technologies such as NLP, ML, analytics, cloud, and big data.
Complex Adaptive Systems: Overall objective is to build further upon TCS’ design and control work to support model reference adaptive control of complex system of systems.
People & Patents
Research team: Led by Chief Scientist Vinay Kulkarni, the team includes Sreedhar Reddy; Ravindra Naik; Souvik Barat; Sagar Sunkle; Suman Roychoudhury; Deepali Kholkar; Raveendra Kumar Medicherla; Asha Rajbhoj; Padmalata V. Nistala; Aditya Paranjape; Pavan Kumar Chittimalli; Sapan Shah; Avadhut Sardeshmukh; and Sushant Vale
Academic partners: Aston University, UK; Middlesex University, UK; Indian Institute of Science, India
Patents: This research has led to 28 patents
Key Publications since 2016
1. A Simulation Based Aid for Complex Dynamic Decision Making - A proposal
Practice of Enterprise Modeling
08/09/2016
Souvik Barat,
2. From Natural-Language Regulations To Enterprise Data Using
International Conference on Software Technologies
27/05/2016
Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,
3. A Simulation-Based Aid for Organisational Decision-Making
International Conference on Software Technologies
25/06/2016
Souvik Barat, Vinay Kulkarni,
4. Comparison and Synergy Between Fact-Orientation and Relation Extraction for Domain Model Generation in Regulatory Compliance
International Conference on Conceptual Modeling
15/06/2016
Sagar Sunkle, Deepali D P Kholkar, Vinay Kulkarni,
5. A NLP based Framework to Support Document Verification-as-a-Service
IEEE Enterprise Distributed Object Computing Conference
30/05/2016
Suman Roychoudhury, Nikhil Narendra Bellarykar, Vinay Kulkarni,
6. A Model Based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-Making
International Conference on Model-Driven Engineering and Software Development
07/01/2017
Souvik Barat, Vinay Kulkarni,
7. A Model-Based Approach to Systematic Review of Research Literature
India Software Engineering Conference
27/01/2017
Souvik Barat, Vinay Kulkarni,
8. Actor Monitors for Adaptive Behaviour - Extended form
India Software Engineering Conference
31/01/2017
Souvik Barat, Vinay Kulkarni,
9. Conducting Systematic Literature Reviews and Systematic Mapping Studies
India Software Engineering Conference
31/01/2017
Souvik Barat,
10. A case study exploring suitability of bottom up modelling and actor-based simulation for decision making
India Software Engineering Conference
31/01/2017
Souvik Barat, Vinay Kulkarni, Asha S Rajbhoj, Prashant Kumar,
11. Towards Automated Generation of Regulation Rule Bases using MDA
International Conference on Model-Driven Engineering and Software Development
09/12/2016
Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,
12. Applying MDA to Rule and Data Generation for
Springer Communications in Computer and Information Systems
01/02/2017
Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,
13. Informed Active Learning to Aid Domain Experts in Modeling Compliance
IEEE Enterprise Distributed Object Computing Conference
01/06/2016
Sagar Sunkle, Deepali D P Kholkar, Vinay Kulkarni,
14. Better Regulatory Compliance with Active Participation of Domain Experts
International Joint Conference on Artificial Intelligence
20/05/2016
Sagar Sunkle, Vinay Kulkarni,
15. A conceptual model for organisational decision-making and its possible realisations
European Simulation and Modelling Conference
30/09/2016
Souvik Barat, Vinay Kulkarni,
16. Enterprise Modeling as a Decision Making Aid: A Systematic Mapping Study
Practice of Enterprise Modeling
03/10/2016
Vinay Kulkarni, Souvik Barat,
17. Actor Monitors for Adaptive Behaviour
International ACM SIGPLAN Workshop on Programming based on Actors, Agents, and Decentralized Control
03/10/2016
Vinay Kulkarni, Souvik Barat,
18. Interactive Patterns: Mobile Data Visualization
European Conference on Pattern Languages of Programs
16/05/2017
Nistala Venkata Padmalata,
19. User-Centered Design Journey for Pattern Development
European Conference on Pattern Languages of Programs
16/05/2017
Nistala Venkata Padmalata,
20. Semi-automated creation of regulation rule bases using generic template-driven rule extraction
International Conference on Artificial Intelligence and Law
15/05/2017
Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,
21. Supporting Organisational Decision Making in Presence of Uncertainty
European Modeling and Simulation Symposium
08/06/2017
Vinay Kulkarni, Souvik Barat,
22. Querying Histories of Organisation Simulations
International Conference on Information Systems Development
11/06/2017
Vinay Kulkarni, Souvik Barat,
23. AN ACTOR-MODEL BASED BOTTOM-UP SIMULATION - AN EXPERIMENT ON INDIAN DEMONETISATION INITIATIVE
Winter Simulation Conference
17/06/2017
Souvik Barat, Vinay Kulkarni,
24. ESL: An Actor-Based Platform for Developing Emergent Behaviour Organisation Simulations
International Conference on Practical Applications of Agents and Multi-Agents Systems
21/04/2017
Souvik Barat, Vinay Kulkarni,
25. An actor-based bottom-up simulation aid for complex dynamic decision making
International Conference on Practical Applications of Agents and Multi-Agents Systems
28/04/2017
Souvik Barat,
26. ESL: An Actor-Based Platform for Developing Emergent Behaviour Organisation Simulations 1
International Conference on Software Engineering
07/04/2017
Souvik Barat, Vinay Kulkarni,
27. A Model-driven Regulatory Compliance Framework
International Conference on Software Engineering
07/04/2017
Deepali D P Kholkar, Vinay Kulkarni, Sagar Sunkle, Suman Roychoudhury,
28. From Natural Language to SBVR ModelAuthoring using Structured English for Compliance Checking
IEEE Enterprise Distributed Object Computing Conference
25/06/2017
Suman Roychoudhury, Vinay Kulkarni, Sagar Sunkle, Deepali D P Kholkar,
29. Actor-Based Methods, Concepts and Tools for Simulation
European Simulation and Modelling Conference
17/06/2017
Vinay Kulkarni, Souvik Barat,
30. Actor-Based Methods, Concepts and Tools for Analyzing Emergent Behaviour - An Introduction to a Model Based Approach
International Conference on Model Driven Engineering Languages and Systems
26/05/2017
Vinay Kulkarni, Souvik Barat,
31. Towards developing right systems - a model-driven approach
Software Technologies: Applications and Foundations Conference
28/04/2017
Vinay Kulkarni, Sreedhar S Reddy,
32. The Construction and Interrogation of Actor Based Simulation Histories
International Conference on Conceptual Modeling
24/06/2017
Vinay Kulkarni, Souvik Barat,
33. From Natural Language to SBVR Model Authoring using Structured English for Compliance Checking
IEEE Enterprise Distributed Object Computing Conference
25/06/2017
Suman Roychoudhury, Deepali D P Kholkar, Sagar Sunkle, Vinay Kulkarni,
34. A Domain-Specific Controlled English Language for Automated Regulatory Compliance (Industrial Paper)
ACM SIGPLAN International Conference on Software Language Engineering
01/08/2017
Suman Roychoudhury, Vinay Kulkarni, Deepali D P Kholkar, Sagar Sunkle,
35. Towards Adaptive Enterprises using Digital Twins
Research Challenges in Information Science
08/04/2019
Vinay Kulkarni,
36. Balancing Model Usability and Verifiability with SBVR and Answer Set Programming
International Conference on Model Driven Engineering Languages and Systems
16/08/2018
Deepali D P Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni,
37. Actor Based Simulation for Closed Loop Control of Supply Chain using Reinforcement Learning
International Conference on Autonomous Agents and Multiagent Systems
23/01/2019
Souvik Barat, Vinay Kulkarni, Vinita Baniwal, Hardik Meisheri, Harshad Khadilkar, Monika Gajrani, Prashant Kumar,
38. Information Extraction and Graph Representation for the Design of Formulated Products
International Conference on Advanced Information Systems Engineering
28/02/2020
Sagar Sunkle, Krati Saxena, Ashwini Patil, Deepak Shyamsunder Jain, Rinu Chacko, Beena Rai, Vinay Kulkarni,
39. Agile Maneuvering with a Small Fixed-Wing Unmanned Aerial Vehicle
Robotics and Autonomous Systems
01/05/2019
Aditya Avinash Paranjape,
40. Comparative Study of Sensor Combinations for Autonomous Landing of Fixed-Wing Unmanned Aircraft
The American Institute of Aeronautics and Astronautics Science and Technology Forum and Exposition
01/09/2019
Aditya Avinash Paranjape,
41. Real-Time Motion Planning with a Fixed Wing UAV using an Agile Maneuver Space
Autonomous Robots
20/05/2019
Aditya Avinash Paranjape,
42. Optimization of the Spanwise Twist of a Flapping Wing for Bird-sized Aircraft using a Quasi-Steady Aerodynamic Model
International Journal of Aeronautical and Space Sciences
01/03/2019
Aditya Avinash Paranjape,
43. Decentralized Information Filter with Noncommon States
AIAA Journal of Guidance, Control, and Dynamics
10/05/2019
Aditya Avinash Paranjape,
44. Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules
IEEE/ACM International Conference on Automated Software Engineering
20/07/2016
Pavan Kumar Chittimalli, Kritika Anand,
45. A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules
India Software Engineering Conference
07/12/2016
Sayandeep Mitra, Pavan Kumar Chittimalli,
46. An Approach to Mine Business Rule Intents from Domain-specific Documents
India Software Engineering Conference
02/11/2016
Abhidip Bhattacharyya, Pavan Kumar Chittimalli, Ravindra Dinkar Naik,
47. Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2
International Conference on Enterprise Information Systems
10/10/2017
Sayandeep Mitra, Pavan Kumar Chittimalli, Kritika Anand,
48. An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic
International Symposium on Practical Aspects of Declarative Languages
11/09/2017
Kritika Anand, Pavan Kumar Chittimalli, Ravindra Dinkar Naik,
49. Relation Identification in Business Rules for Domain-specific Documents
India Software Engineering Conference
05/11/2017
Pavan Kumar Chittimalli, Ravindra Dinkar Naik, Abhidip Bhattacharyya,
50. SBVR-based Business Rule Creation for Legacy Programs using Variable Provenance
India Software Engineering Conference
01/12/2018
Pavan Kumar Chittimalli, Abhidip Bhattacharyya,
51. MatGap: A Systematic Approach to Perform Match and Gap Analysis among SBVR-based Domain Specific Business Rules
Asia Pacific Software Engineering Conference
13/09/2018
Sayandeep Mitra, Chandan Prakash, Pavan Kumar Chittimalli,
52. Semantic Search and Query Over SBVR-Based Business Rules Using SMT Based Approach and Information Retrieval Method
Evaluation of Novel Approaches to Software Engineering
07/02/2019
Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli,
53. Business Rule Rationalization Tool Kit (BuRRiTo): A Framework to Extract, Specify, Verify and Analyze Business Rules (Tech-Briefing Proposal)
India Software Engineering Conference
01/12/2018
Pavan Kumar Chittimalli, Kritika Anand, Sayandeep Mitra,
54. VeriFuzz: A program aware fuzzing
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
15/02/2019
Raveendra Kumar Medicherla, Animesh Basakchowdhury, Venkatesh R,
55. An Approach to Mine SBVR Vocabularies and Rules from Business Documents
India Software Engineering Conference
10/12/2019
Pavan Kumar Chittimalli, Chandan Prakash, Ravindra Dinkar Naik, Abhidip Bhattacharyya,
56. Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams
India Software Engineering Conference
09/12/2019
Sayandeep Mitra, Pavan Kumar Chittimalli, Prof. Ansuman Banerjee,
57. Fitness Guided Vulnerability Detection with Greybox Fuzzing
International Conference on Software Engineering
26/02/2020
Raveendra Kumar Medicherla,
58. BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
IEEE/ACM International Conference on Automated Software Engineering
12/08/2019
Pavan Kumar Chittimalli, Ravindra Dinkar Naik, Rohit Prakash Shere, Chandan Prakash, Sayandeep Mitra, Shrishti Pradhan, Kritika Anand,
59. Aditi: A Systems view of Knowledge Processes
International Council on Systems Engineering
14/02/2017
Anand Kumar,
60. From building systems right to building right systems - A generic architecture and its model based realization
Software Technologies: Applications and Foundations Conference
09/06/2017
Vinay Kulkarni, Sreedhar S Reddy,
61. A RFP System for Generating Response to a Request for Proposal
India Software Engineering Conference
01/12/2018
Asha S Rajbhoj, Nistala Venkata Padmalata, Vinay Kulkarni, Gomathi Ganesan,
62. A system for semi-automatic construction of image processing pipeline for complex problems
International workshop on Exploring Modeling Methods for System Analysis and Design
29/03/2019
Asha S Rajbhoj, Shailesh Shankar Deshpande, Jayavardhana Gubbi, Vinay Kulkarni, Balamuralidhar P,
63. Software Quality Models: A Systematic Mapping Study
International conference on software and systems process
01/03/2019
Nistala Venkata Padmalata,
64. Digital Re-imagination of Software and Systems Processes for Quality Engineering: iSPIN Approach
International conference on software and systems process
29/02/2020
Nistala Venkata Padmalata, Vinay Kulkarni, Asha S Rajbhoj,
65. A domain-specific controlled English language for automated regulatory compliance (industrial paper).
ACM SIGPLAN International Conference on Software Language Engineering
01/08/2017
Suman Roychoudhury, Sagar Sunkle, Deepali D P Kholkar, Vinay Kulkarni,
66. A Case Study on Modeling and Validating Financial Regulations Using (Semi-) Automated Compliance Framework
Practice of Enterprise Modeling
24/08/2018
Suman Roychoudhury, Sagar Sunkle, Namrata Choudhary, Deepali D P Kholkar, Vinay Kulkarni,
67. AI driven streamlined modeling
International Conference on Model Driven Engineering Languages and Systems
05/06/2019
Sagar Sunkle, Suman Roychoudhury, Deepali D P Kholkar, Vinay Kulkarni,
68. An Actor-based Simulation-driven Digital Twin for Analysing Complex Business Systems
Winter Simulation Conference
31/07/2019
Souvik Barat, Vinay Kulkarni
69. Towards Adaptive Enterprises using Digital Twins
Winter Simulation Conference
30/08/2019
Souvik Barat, Vinay Kulkarni
70. Similarity Driven Unsupervised Learning for Materials Science Terminology Extraction
Computacion y Sistemas
15/03/2019
Sapankumar Hiteshchandra Shah, Sarath S, Sreedhar S Reddy,
71. Bayesian Framework for Inverse Inference in Manufacturing Process Chai
Integrating Materials and Manufacturing Innovation
28/05/2019
Avadhut Sardeshmukh, Sreedhar S Reddy, B P Gautham,
72. Future of Mining, Mineral Processing and Metal Extraction Industry
Transactions of Indian Institute of Metals
03/08/2019
Pradip, Venkataramana Runkana, Sreedhar S Reddy, B P Gautham,
73. Language Support for Multi Agent Reinforcement Learning
India Software Engineering Conference
06/12/2019
Vinay Kulkarni, Souvik Barat,
74. Knowledge Graph for Formulated Product Design
ACM SIGKDD Conference on Knowledge Discovery and Data Mining
16/06/2020
Sagar Sunkle, Beena Rai, Rinu Chacko, Deepak Shyamsunder Jain, Vinay Kulkarni, Ashwini Patil, Krati Saxena,
75. Microstructure representation learning using Siamese networks
Materials Research Society Communications
25/06/2020
Avadhut Sardeshmukh, B P Gautham, Sreedhar S Reddy
76. Digital re-imagination of software and systems processes: iSPIN approach
ICSSP - International conference on software and systems processes
26.06.2020
Nistala Padma, Asha Rajbhoj, Vinay Vkulkarni,
77. USE OF SIMULATION-AIDED REINFORCEMENT LEARNING FOR OPTIMAL SCHEDULING OF OPERATIONS IN INDUSTRIAL PLANTS
Winter Simulation Conference
13.12.2020
Aditya Paranjape,
78. A Retrofitting Model for Incorporating Semantic Relations into WordEmbeddings
International Conference on Computational Linguistics
08.12.2020
Sapan Hs, Sreedhar Reddy,