{"version":"1.0","provider_name":"FSTM EN","provider_url":"https:\/\/www.uni.lu\/fstm-en","author_name":"mchristen","author_url":"https:\/\/www.uni.lu\/fstm-en\/author\/hydrogen\/","title":"Research","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"8csxY8I7zV\"><a href=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/foundation-of-model-driven-engineering\/research\/\">Research<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/foundation-of-model-driven-engineering\/research\/embed\/#?secret=8csxY8I7zV\" width=\"600\" height=\"338\" title=\"&#8220;Research&#8221; &#8212; FSTM EN\" data-secret=\"8csxY8I7zV\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script>\n\/*! This file is auto-generated *\/\n!function(c,d){\"use strict\";var e=!1,o=!1;if(d.querySelector)if(c.addEventListener)e=!0;if(c.wp=c.wp||{},c.wp.receiveEmbedMessage);else if(c.wp.receiveEmbedMessage=function(e){var t=e.data;if(!t);else if(!(t.secret||t.message||t.value));else if(\/[^a-zA-Z0-9]\/.test(t.secret));else{for(var r,s,a,i=d.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),n=d.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),o=new RegExp(\"^https?:$\",\"i\"),l=0;l<n.length;l++)n[l].style.display=\"none\";for(l=0;l<i.length;l++)if(r=i[l],e.source!==r.contentWindow);else{if(r.removeAttribute(\"style\"),\"height\"===t.message){if(1e3<(s=parseInt(t.value,10)))s=1e3;else if(~~s<200)s=200;r.height=s}if(\"link\"===t.message)if(s=d.createElement(\"a\"),a=d.createElement(\"a\"),s.href=r.getAttribute(\"src\"),a.href=t.value,!o.test(a.protocol));else if(a.host===s.host)if(d.activeElement===r)c.top.location.href=t.value}}},e)c.addEventListener(\"message\",c.wp.receiveEmbedMessage,!1),d.addEventListener(\"DOMContentLoaded\",t,!1),c.addEventListener(\"load\",t,!1);function t(){if(o);else{o=!0;for(var e,t,r,s=-1!==navigator.appVersion.indexOf(\"MSIE 10\"),a=!!navigator.userAgent.match(\/Trident.*rv:11\\.\/),i=d.querySelectorAll(\"iframe.wp-embedded-content\"),n=0;n<i.length;n++){if(!(r=(t=i[n]).getAttribute(\"data-secret\")))r=Math.random().toString(36).substr(2,10),t.src+=\"#?secret=\"+r,t.setAttribute(\"data-secret\",r);if(s||a)(e=t.cloneNode(!0)).removeAttribute(\"security\"),t.parentNode.replaceChild(e,t);t.contentWindow.postMessage({message:\"ready\",secret:r},\"*\")}}}}(window,document);\n<\/script>\n","description":"In Model-Driven Engineering (MDE), models serve as the primary artifacts for system development. It's worth noting that modeling languages and model transformations can also be uniformly considered as models within the context of MDE. Consequently, the quality of models and their effective creation are critical factors for the success of the MDE process. Our approach to addressing this begins with basing MDE on a solid theoretical foundation. By harnessing the power of formal methods, we integrate model quality V&amp;V measures into the modeling lifecycle seamlessly. Additionally, in response to the shortage of skilled modeling workforce, we propose leveraging the rapid advancements in artificial intelligence (AI) to enable symbiotic collaboration between human intelligence and AI, with the aim of enabling and\/or assisting (citizen) modelers in effectively building high-quality models.","thumbnail_url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg","thumbnail_width":2560,"thumbnail_height":2560}