Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools

This contribution proposes to apply informal ideas for model development within a formal tool. The basic idea is to relax the requirements expressed with particular modeling language elements and allow developers to dynamically customize the level of formality in a visual and intuitive way. For UML and OCL class models, the requirements for usual object typing, role typing, role multiplicity, attribute typing and constraint satisfaction are relaxed in order to achieve flexible object models. The long-term aim is to support flexible, iterative model development with qualified tool feedback.