Loading [MathJax]/extensions/MathMenu.js
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools | IEEE Conference Publication | IEEE Xplore

Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools


Abstract:

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 model...Show More

Abstract:

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.
Date of Conference: 10-15 October 2021
Date Added to IEEE Xplore: 20 December 2021
ISBN Information:
Conference Location: Fukuoka, Japan
University of Bremen, Bremen, Germany
Universitat Oberta de Catalunya, Barcelona, Spain
Malina Software Corp, Ottawa, Canada
ICREA, Barcelona, Spain

University of Bremen, Bremen, Germany
Universitat Oberta de Catalunya, Barcelona, Spain
Malina Software Corp, Ottawa, Canada
ICREA, Barcelona, Spain

Contact IEEE to Subscribe

References

References is not available for this document.