Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)（2021）
摘要
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, attr...
更多查看译文
关键词
Visualization,Computational modeling,Unified modeling language,Model driven engineering,Contracts
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要