{"id":5112,"date":"2016-06-16T11:23:57","date_gmt":"2016-06-16T11:23:57","guid":{"rendered":"http:\/\/www.pros.upv.es\/?page_id=5112"},"modified":"2016-12-01T10:05:05","modified_gmt":"2016-12-01T10:05:05","slug":"moskitt4spl","status":"publish","type":"page","link":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/","title":{"rendered":"MOSKitt4SPL – An open-source tool for analysing and designing Dynamic Software Product Lines"},"content":{"rendered":"

\"m4spl\"<\/a><\/p>\n

MOSKitt4SPL is a free open-source tool which gives support for modeling Software Product Lines (SPL). MOSKitt4SPL is based on MOSKitt and built on Eclipse. It has been developed using EMF, GMF and ATL.<\/p>\n

MOSKitt4SPL allows Software Product Lines (SPL) Modeling, Dynamic SPL Modeling and Model Validation.<\/p>\n

The Software Product Lines Modeller provides:<\/p>\n

    \n
  1. A Feature Model Editor. Feature Models (FM) are a widely used notation to describe a set of products in a product line and to capture the variability that exists in every product.<\/li>\n
  2. A Feature Model Configurator. Configurations of a SPL are represented as selections of features from the Feature Model. Each configuration is defined by the set of feature states in the Feature Model.<\/li>\n<\/ol>\n

    Recently, there have been increasing demands for the postponement of configuration and binding at runtime. DSPLs bind variation points at runtime, initially when software is launched to adapt to the current situation, as well as during operation to adapt to changes in the environment.<\/p>\n

    The Dynamic SPL Modeller provides:<\/p>\n

      \n
    1. A Resolution Model Editor. Resolutions define the selection of a set of options in the Feature Model when a context change occurs.<\/li>\n
    2. An Adaptation Space Generator. A DSPL’s execution can be abstracted as a highly connected state machine where the states are the possible system configurations and the transitions the migration paths. MOSKitt4SPL fully generates the implicit Adaptation Space (in form of a state machine) from the DSPL specification.<\/li>\n
    3. A set of predefined Refinements: MOSKitt4SPL provides a series of refinements to automatically ensure behavioral issues in the Adaptation Space.<\/li>\n<\/ol>\n

      Finally, MOSKitt4SPL integrates the FaMa (FeAture Model Analyzer) Framework to enable the automated analysis of Feature Models and Configuration Models.<\/p>\n","protected":false},"excerpt":{"rendered":"

      MOSKitt4SPL is a free open-source tool which gives support for modeling Software Product Lines (SPL). MOSKitt4SPL is based on MOSKitt […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":27,"comment_status":"closed","ping_status":"closed","template":"","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"class_list":["post-5112","page","type-page","status-publish","hentry"],"yoast_head":"\nMOSKitt4SPL - An open-source tool for analysing and designing Dynamic Software Product Lines - PROS - Research Center on Software Production Methods<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"MOSKitt4SPL - An open-source tool for analysing and designing Dynamic Software Product Lines - PROS - Research Center on Software Production Methods\" \/>\n<meta property=\"og:description\" content=\"MOSKitt4SPL is a free open-source tool which gives support for modeling Software Product Lines (SPL). MOSKitt4SPL is based on MOSKitt […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/\" \/>\n<meta property=\"og:site_name\" content=\"PROS - Research Center on Software Production Methods\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/CentroPROS\" \/>\n<meta property=\"article:modified_time\" content=\"2016-12-01T10:05:05+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/m4spl.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@CentroPROS\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/\",\"url\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/\",\"name\":\"MOSKitt4SPL - An open-source tool for analysing and designing Dynamic Software Product Lines - PROS - Research Center on Software Production Methods\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/www.pros.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2016\\\/06\\\/m4spl.png\",\"datePublished\":\"2016-06-16T11:23:57+00:00\",\"dateModified\":\"2016-12-01T10:05:05+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/#primaryimage\",\"url\":\"http:\\\/\\\/www.pros.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2016\\\/06\\\/m4spl.png\",\"contentUrl\":\"http:\\\/\\\/www.pros.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2016\\\/06\\\/m4spl.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/moskitt4spl\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"MOSKitt4SPL – An open-source tool for analysing and designing Dynamic Software Product Lines\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#website\",\"url\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/\",\"name\":\"PROS - Research Center on Software Production Methods\",\"description\":\"research, software engineering, model-driven development, testing, Internet of things, genomics\",\"publisher\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#organization\",\"name\":\"PROS Research Center on Software Production Methods\",\"url\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.pros.webs.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2017\\\/12\\\/logo_PROS_no_sticky.png\",\"contentUrl\":\"https:\\\/\\\/www.pros.webs.upv.es\\\/site\\\/wp-content\\\/uploads\\\/2017\\\/12\\\/logo_PROS_no_sticky.png\",\"width\":1181,\"height\":500,\"caption\":\"PROS Research Center on Software Production Methods\"},\"image\":{\"@id\":\"https:\\\/\\\/pros.webs.upv.es\\\/site\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/CentroPROS\",\"https:\\\/\\\/x.com\\\/CentroPROS\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/pros-research-center\\\/\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"MOSKitt4SPL - An open-source tool for analysing and designing Dynamic Software Product Lines - PROS - Research Center on Software Production Methods","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/","og_locale":"en_GB","og_type":"article","og_title":"MOSKitt4SPL - An open-source tool for analysing and designing Dynamic Software Product Lines - PROS - Research Center on Software Production Methods","og_description":"MOSKitt4SPL is a free open-source tool which gives support for modeling Software Product Lines (SPL). MOSKitt4SPL is based on MOSKitt […]","og_url":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/","og_site_name":"PROS - Research Center on Software Production Methods","article_publisher":"https:\/\/www.facebook.com\/CentroPROS","article_modified_time":"2016-12-01T10:05:05+00:00","og_image":[{"url":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/m4spl.png","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_site":"@CentroPROS","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/","url":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/","name":"MOSKitt4SPL - An open-source tool for analysing and designing Dynamic Software Product Lines - PROS - Research Center on Software Production Methods","isPartOf":{"@id":"https:\/\/pros.webs.upv.es\/site\/#website"},"primaryImageOfPage":{"@id":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/#primaryimage"},"image":{"@id":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/#primaryimage"},"thumbnailUrl":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/m4spl.png","datePublished":"2016-06-16T11:23:57+00:00","dateModified":"2016-12-01T10:05:05+00:00","breadcrumb":{"@id":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/#primaryimage","url":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/m4spl.png","contentUrl":"http:\/\/www.pros.upv.es\/site\/wp-content\/uploads\/2016\/06\/m4spl.png"},{"@type":"BreadcrumbList","@id":"https:\/\/pros.webs.upv.es\/site\/moskitt4spl\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/pros.webs.upv.es\/site\/"},{"@type":"ListItem","position":2,"name":"MOSKitt4SPL – An open-source tool for analysing and designing Dynamic Software Product Lines"}]},{"@type":"WebSite","@id":"https:\/\/pros.webs.upv.es\/site\/#website","url":"https:\/\/pros.webs.upv.es\/site\/","name":"PROS - Research Center on Software Production Methods","description":"research, software engineering, model-driven development, testing, Internet of things, genomics","publisher":{"@id":"https:\/\/pros.webs.upv.es\/site\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/pros.webs.upv.es\/site\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/pros.webs.upv.es\/site\/#organization","name":"PROS Research Center on Software Production Methods","url":"https:\/\/pros.webs.upv.es\/site\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/pros.webs.upv.es\/site\/#\/schema\/logo\/image\/","url":"https:\/\/www.pros.webs.upv.es\/site\/wp-content\/uploads\/2017\/12\/logo_PROS_no_sticky.png","contentUrl":"https:\/\/www.pros.webs.upv.es\/site\/wp-content\/uploads\/2017\/12\/logo_PROS_no_sticky.png","width":1181,"height":500,"caption":"PROS Research Center on Software Production Methods"},"image":{"@id":"https:\/\/pros.webs.upv.es\/site\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/CentroPROS","https:\/\/x.com\/CentroPROS","https:\/\/www.linkedin.com\/company\/pros-research-center\/"]}]}},"_links":{"self":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages\/5112","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/comments?post=5112"}],"version-history":[{"count":3,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages\/5112\/revisions"}],"predecessor-version":[{"id":5203,"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/pages\/5112\/revisions\/5203"}],"wp:attachment":[{"href":"https:\/\/pros.webs.upv.es\/site\/wp-json\/wp\/v2\/media?parent=5112"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}