Heterogeneous Modelling with YAM

1
Heterogeneous Modelling with YAM

• Sujit Kumar Chakrabarti
• PhD Student
• Compiler Lab.
• Department of Computer Science and Automation,
• Indian Institute of Science, Bangalore-12

2
Agenda

• The Context of Heterogeneous Modelling
• The Research Agenda
• Findings
• Conclusion The Road Ahead and Summary

3
The Context System Design Documents
4
Context

• Features of a Design Document
• Several languages Heterogeneous Models
• Dependencies
• Voluminous

5
Context

• Ready Solutions
• Hypertext
• Microsoft Word
• UML

• Disadvantages
• Difficult to create and handle
• Document Content is not live
• Huge and proprietary

6
Research Agenda

• A modelling environment which supports the
  following
• Heterogeneous Modelling
• Live models showing change impact
• Logical view
• Open-ended non-proprietary tool-support

7
Research Agenda
Yet Another Modeller
8
Research Agenda
Yet Another Modeller
9
Initial Findings

• Too connected!

• Inflated change impact

• Manual change-impact analysis is too much work
  with little returns

10
Initial Findings

• Roles of modelling elements
• Types of relations between modelling elements
• Is there a meta-language that can describe the
  logical structure of a design document?
• Restricting the search-space for manual
  change-impact analysis
• Can the change-impact analysis be automated?

11
Findings

• Meta-language for Logical-Structure of
  Design-Documents
• Graphical language
• Nodes (Elements) classes, objects, assertions,
  arguments
• Edges (Relations) equivalence, refinement,
  instance-of, scope-of, proof-of

12
Meta-language - Example
Specification, Equivalence
13
Meta-Language - Example
Models, Refinement
14
Findings

• Automation of Change-Impact Analysis
• Based on verification-technology
• Software-architectural approach
• Verification-tools provided by formalism-vendors
  utilised to achieve automation
• Three levels of verification
• Within a language
• Between languages
• Case-to-case on individual relations

15
Conclusion

• Summary
• Heterogeneous modelling
• Logical view of a design document
• The business model
• The meta-language for document logical-structure

16
Conclusion

• The Road Ahead
• Refining the meta-language
• Automation of change-impact analysis
• Development of relevant tool-support

17
Thank You!