UniMod Science

From UniMod Wiki

Contents 1 Themes for bachelor and master thesis 1.1 Validation and OCL 1.1.1 Methods of automata model validation (taken) 1.1.2 Building a set of dependent OCL rules on model property change (open) 1.1.3 Synthesis of quick fix for broken OCL rule (open) 1.2 Verification 1.2.1 Modeling and verification of data flows on state diagrams (taken) 1.2.2 Verification of automata programm models (taken) 1.3 Layout of diagrams 1.3.1 Automatic Layout of State Diagrams

Themes for bachelor and master thesis

Validation and OCL

Methods of automata model validation (taken)

MS thesis of Maxim Mazin

Building a set of dependent OCL rules on model property change (open)

Synthesis of quick fix for broken OCL rule (open)

Verification

Modeling and verification of data flows on state diagrams (taken)

Bachelor thesis of Alexandra Loukianova

Data flow modeling in automata methodology. Data flow verification (DFV): rules for DFV were defined and implementation of their automatic verification was introduced. Benefit of DFV was shown on series of practical examples in automata-based development of applications.

Approach introduced in the thesis includes elements of Functional Model (Data Flows, DF) into Automata-based methodology. Ways of DF presentation on UML activity diagrams were considered (briefly).

Verification of automata programm models (taken)

Bachelor thesis of Dmitry Beleshko

Layout of diagrams

Automatic Layout of State Diagrams

MS thesis of Maxim Korotkov
Summary article in English