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.