MERLIN: An Intelligent Tool for Creating Domain Models

The complexity of modelling languages and the lack of intelligent tool support add unnecessary difficulties to the process of modelling, a process that is in itself already demanding, given the challenges associated to capturing user requirements and abstracting these in the correct way. In the past, the MERODE method has been developed to address the problem of UML’s complexity and lack of formalization. In this paper, we demonstrate how the formalization of a multi-view modelling approach entails the possibility to create smart and user-friendly modelling support.

[1]  Marlon Dumas.  On the Convergence of Data and Process Engineering , 2011, ADBIS.

[2]  Keng Siau,et al.  Identifying Difficulties in Learning Uml , 2006, Inf. Syst. Manag..

[3]  Monique Snoeck,et al.  Enterprise Information Systems Engineering , 2014, The Enterprise Engineering Series.

[4]  Monique Snoeck,et al.  Assessing the effectiveness of feedback enabled simulation in teaching conceptual modeling , 2014, Comput. Educ..

[5]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[6]  Stijn Hoppenbrouwers,et al.  Cognitive Mechanisms of Conceptual Modelling - How Do People Do It? , 2013, ER.

[7]  Monique Snoeck,et al.  Enterprise Information Systems Engineering : The MERODE Approach , 2014 .

[8]  Michael Jackson,et al.  The World and the Machine , 1995, 1995 17th International Conference on Software Engineering.

[9]  Marta Indulska,et al.  How good is BPMN really? Insights from theory and practice , 2006, ECIS.

[10]  Vera Künzle,et al.  PHILharmonicFlows: towards a framework for object-aware process management , 2011, J. Softw. Maintenance Res. Pract..

[11]  Diego Calvanese,et al.  Modeling and In-Database Management of Relational, Data-Aware Processes , 2018, CAiSE.

[12]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[13]  King Sing Cheung,et al.  Consistency Analysis on Lifecycle Model and Interaction Model , 1998 .

[14]  Monique Snoeck,et al.  Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types , 1998, IEEE Trans. Software Eng..

[15]  Richard F. Paige,et al.  The Single Model Principle , 2002, J. Object Technol..

[16]  Monique Snoeck,et al.  Consistency by Construction: The Case of MERODE , 2003, ER.

[17]  Gianna Reggio,et al.  Consistency Problems in UML-Based Software Development , 2004, UML Satellite Activities.

[18]  Robert B. France,et al.  Defining Precise Semantics for UML , 2000, ECOOP Workshops.

[19]  Marcela Genero,et al.  A systematic identification of consistency rules for UML diagrams , 2018, J. Syst. Softw..