Who I am, why this site
- and how to reach me
I am currently doing my Phd at RWTH Aachen University. I am also doing some modeling. But you won't find me posing in magazines -- in SE modeling is somewhat different.
Model-based software engineering has been around for quite some time now. We describe, sketch, draw, drag-n-drop or textually define models as abstractions of systems we are developing and building.
To efficiently work with models -- define their meaning, the meaning of their evolution, etc. -- we need theory and tools to assist us. Such tools are known as formal methods tools. To my insight these tools have only come recently to a state such that they can be used mainstream in software engineering by people like me. I have come across few of these tools, and share my impressions on them on this website.
Some of the things we have done, currently do, and are still planning to do with these tools are:
- Consistency analysis of class and object diagrams
- Encoding of semantic mappings with variability
- Semantic's definitions for UML
- Semantic differencig of class diagrams
- Semantic differencig of activity diagrams
- Consistency checks of I/O automata specifications
