Model-Based Software Engineering Group
Head of the research group: VAHUR KOTKAS, email@example.com
Topics and Competences
The research of the group is aiming at a tool development that enables modeling and simulation of complex systems and automated program composition. The research is concentrated on the following fields: ontology-driven software development; model-based software engineering; structural program synthesis – a proof search based program synthesis paradigm; visual specification languages; etc.
During a number of decades several software tools that facilitate program synthesis features have been developed by the group:
- PRIZ – for mainframes IBM 370, ES;
- ExpertPRIZ – a PRIZ version for PC with a built-in expert system engine;
- c-Priz - a PRIZ version for PC implemented in C; the first tool in the line that facilitated a graphical user interface;
- NUT – an X11 based tool for engineering modeling running on Sun Solaris and Linux (support discontinued);
- CoCoViLa – the current Java-based tool for model based visual program composition.
Applications and Activities
We consider building just the tools without any applications not fun. Most of the ideas and realization approaches are there due to the tasks from the real life. The following is a limited list of applications made:
- Gearbox planner;
- Model of Estonian Radar Coverage;
- Fluid Power Systems' Simulator;
- Graded Security Optimizer;
- Graph-Based Automated DDoS Attack Response;
- MB-JSDT - a project on model based Java software development.
The most significant research results were related to the research on the development of ontology technology and on model-based software deployment in hydraulic system design.
A precise implementation for execution of mapping rules from OWL to the CoCoViLa modelling language and for semi-automated generation of a DSL meta-model is realized.
The novelty of our approach comparing to other ontology-driven software development methodologies lies in using formal domain ontologies as a basis for automated generation of concept specification templates of a DSL meta-model that are consistent with the given domain ontology.
A tool for automatic evaluation of UI conformance to category-specific ontology-driven usability guidelines after modification of UI is developed. This approach has been approved by the Estonian eGovernment authority for automated usability evaluation of web applications.
An approach based on multi-pole modelling and intelligent simulation has been proposed and tested for design of fluid power feeding systems with pneumo-hydraulic accumulators.
- Haav, H.-M., Ojamaa, A. Semi-automated integration of domain ontologies to DSL meta-models (2017). International Journal of Intelligent Information and Database Systems, 10, 1/2, 94–116.
- Marenkov, J., Robal, T., Kalja, A. (2017). A tool for design-time usability evaluation of web user interfaces. Advances in Databases and Information Systems: 21st European Conference, Nicosia, Cyprus, Sept. 24–27, Proceedings. Cham: Springer, 394–407. (Lecture Notes in Computer Science; 10509).
- Harf, M., Grossschmidt, G. Multi-pole modelling and intelligent simulation of a fluid power feeding system with a pneumo-hydraulic accumulator (2017). The 16th International Conference on Modeling and Applied Simulation, Sept. 18–20, Barcelona, Spain, Proceedings, Genova, Italy: DIME University of Genoa, 128–135.
|Irina Astrova||Senior Research ScientistSchool of Information Technologies: Department of Software Sciences||CYBfirstname.lastname@example.org||6204219|
|Hele-Mai Haav||Senior Research ScientistSchool of Information Technologies: Department of Software Sciences||CYBemail@example.com||6204213|
|Mait Harf||Research ScientistSchool of Information Technologies: Department of Software Sciences||CYBfirstname.lastname@example.org||6204221|
|Priit Järv||Software Development SpecialistSchool of Information Technologies: Department of Software Sciences||ICT-416||Priit.Jarv1@taltech.ee|
|Kristiina Kindel||EngineerSchool of Information Technologies: Department of Software Sciences||CYBemail@example.com||6204219|
|Vahur Kotkas||Development OfficerSchool of Information Technologies: Department of Software Sciences||CYBfirstname.lastname@example.org||6204217|
|Rauni Lillemets||ResearcherSchool of Information Technologies: Department of Software Sciencesemail@example.com|
|Ago Luberg||LecturerSchool of Information Technologies: Department of Software Sciences||ICTfirstname.lastname@example.org|
|Riina Maigre||Research ScientistSchool of Information Technologies: Department of Software Sciences||CYBemail@example.com||6204240|
|Marta Olvet||GIS SpecialistSchool of Information Technologies: Department of Software Sciencesfirstname.lastname@example.org|
|Jaan Penjam||DirectorSchool of Information Technologies: Department of Software Sciences||ICTemail@example.com||6204214|
|Rene Pihlak||Early Stage ResearcherSchool of Information Technologies: Department of Software Sciencesfirstname.lastname@example.org|
|Margarita Spitšakova||Software DeveloperSchool of Information Technologies: Department of Software Sciences||CYBemail@example.com||6204219|
|Tanel Tammet||ProfessorSchool of Information Technologies: Department of Software Sciences||ICTfirstname.lastname@example.org||6203457|
|Martin Verrev||LecturerSchool of Information Technologies: Department of Software Sciences||ICT-422||Martin.Verrev@taltech.ee|
|Sven Veskioja||EngineerSchool of Information Technologies: Department of Software Sciencesemail@example.com|