{"version":"1.0","provider_name":"Microsoft Research","provider_url":"https:\/\/www.microsoft.com\/en-us\/research","author_name":"Ethan Jackson","author_url":"https:\/\/www.microsoft.com\/en-us\/research\/people\/ejackson\/","title":"A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems - Microsoft Research","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"jSKA7vBuK1\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/framework-unambiguous-extensible-specification-dsmls-cyber-physical-systems\/\">A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/framework-unambiguous-extensible-specification-dsmls-cyber-physical-systems\/embed\/#?secret=jSKA7vBuK1\" width=\"600\" height=\"338\" title=\"&#8220;A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems&#8221; &#8212; Microsoft Research\" data-secret=\"jSKA7vBuK1\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script type=\"text\/javascript\">\n\/* <![CDATA[ *\/\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n\/* ]]> *\/\n<\/script>\n","description":"Increased emphasis on developing model-based design methods for Cyber-Physical Systems (CPS) brings new challenges to the specification of domain specific modeling languages (DSML) and the integration of heterogeneous CPS components.Since CPS are composed of tightly integrated physical and computational components, the modeled domains include both physical and computational systems.Formal specification of physical and computational languages [&hellip;]"}