General-Purpose Partial Model Editor

OData support
Dr. Semeráth Oszkár
Department of Measurement and Information Systems

In the world of IT it is increasingly popular these days to use modelling tools in the

development of systems and softwares. These tools make the design more efficient but

most of them are incapable of creating incomplete models.

Sofwares usually determine already at the design phase that the model is appropriately

constructed and complete. This often leads to decisions that should not be necessary to

deal with at this early stage of the designing process. The best we can do in such a case

is to leave comments.

A device that could handle this type of decisions on an abstract level of modelling would

come handy. More and more professionals are busy with this problem and there are already

several possible solutions from varous perspectives around. This is how the parcial model

and the MAVO (May-Arbitrary-Variable-Open word) abstractions have come to the fore.

In my thesis I will demonstrate a general modelling environment with the help of which

it is possible to create and construct partial models. The tool supports the MAVO abstraction.

This works based on the possibility to assign annotations to uncertain elements

in the model. And in the case of the ’Open world’ the model itself can be assigned. The

annotations are not only signs but they are also functional. The modelling tool provides

an automated solution to unlock the annotations, which is called refinement. Thus the

partiality of the model can be gradually reduced as far as it is complete and does not

contain any annotations.

In the end, it is possible to realize a quality design with the editor, which results in more

precise documentation and speeds up the production.



Please sign in to download the files of this thesis.