Model-driven Productline Engineering of Mobile Applications

We use product-line engineering in collaboration with model-driven engineering to generate feature-based mobile application variants for multiple platforms, and developed a tool named MOPPET.

Automated OCL Constraint Solver

Object Constraint Language (OCL) is used to write constraints at various levels, e.g., they can represent class and state invariants, guards in state machines, constraints in sequence diagrams, and pre and post conditions of operations.

Automated Testing of Platform Games

Automated Game Testing in whict the models are developed in UML using a proposed model-based testing profile for platform games.

Model Transformation Testing Environment(MOTTER)

The model transformation testing environment (motter) is a tool-set that implements searchbased approach to provide automated structural testing of model transformations and metamodel.

Cyber Physical System