{"id":354,"date":"2018-11-06T00:57:02","date_gmt":"2018-11-06T00:57:02","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=354"},"modified":"2018-12-12T19:01:38","modified_gmt":"2018-12-12T19:01:38","slug":"sos-modeling-tool-for-simulation","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/tools-and-artifacts\/opensource-tools\/sos-modeling-tool-for-simulation\/","title":{"rendered":"SoS Modeling Tool for Simulation"},"content":{"rendered":"<h4><strong>Background<\/strong><\/h4>\n<p>To analyze and design an SoS, model-based approaches are generally used as SoS engineering activities. For the model-based engineering, both input and intermediate models should be systematically generated. &lt;SIMVA-SoS Modeler&gt; is a modeling tool for conceptually designing SoS and its component objects such as organizations, CSs, infrastructure, environment, and so on. This tool is developed based on ADOxx metamodeling platform, which supports modeling language development by providing a meta-modeling framework. Based on M2SoS (Meta-model for SoS, See M2SoS page), we developed several model types to represent a target SoS and its components.<\/p>\n<p>In &lt;SIMVA-SoS Modeler&gt;, 6 major model types are included as follows (Find more information in Modeling Language Development page).<\/p>\n<ul>\n<li><strong>Integration Model<\/strong>: This model integrates component entities of an SoS, and this model is basically constructed by referencing model instances of other model types.<\/li>\n<li><strong>Goal Decomposition Model<\/strong>: This model defines requirements, tasks, services based on SoS-level common goals.<\/li>\n<li><strong>Organization Model<\/strong>: This model defines an organization and its components (i.e., constituent systems), and this model also includes organization-level components such as contracts, roles, goals, tasks.<\/li>\n<li><strong>CS Capability Model<\/strong>: This model represents a single CS and its features to be used for SoS integration. Thus, CS-level capability is the most important class of CS Capability Model, and CS-level resource, knowledge are also included.<\/li>\n<li><strong>SoS Environment Model<\/strong>: This model represents an SoS-level environment comprising of several environmental elements.<\/li>\n<li><strong>SoS Infrastructure Model<\/strong>: This model represents infrastructure services and resources to be used or accessed by SoS components.<\/li>\n<\/ul>\n<p>Since this tool is developed based on ADOxx meta-modeling platform, the ADOxx modeling toolkit should be installed to use a library of &lt;SIMVA-SoS Modeler&gt;. Detailed installation and user guide are included in next sections.<\/p>\n<p>&nbsp;<\/p>\n<h4><strong>Tool Overview: SIMVA-SoS Modeler (Prototype)<\/strong><\/h4>\n<ul>\n<li>User Interface<\/li>\n<\/ul>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/13.jpg\"><img loading=\"lazy\" class=\"size-full wp-image-687 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/13.jpg\" alt=\"\" width=\"1080\" height=\"574\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/13.jpg 1080w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/13-300x159.jpg 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/13-768x408.jpg 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/13-1024x544.jpg 1024w\" sizes=\"(max-width: 1080px) 100vw, 1080px\" \/><\/a><\/p>\n<ul>\n<li>Tool Features: SIMVA-SoS Modeler and SIMVA-SoS\n<ul>\n<li><em>SIMVA-SoS Modeler <\/em>generates input models and specifications on user\u2019s local device.\n<ul>\n<li>Input models: SoS system models, SoS environment model<\/li>\n<li>Input specifications (not implemented in prototype version): Verification properties, Policy specifications, Simulation scenario specification<\/li>\n<\/ul>\n<\/li>\n<li><em>SIMVA-SoS Modeler <\/em>contains predefined classes to represent an SoS conceptually.\n<ul>\n<li>Based on predefined classes, <em>SIMVA-SoS Modeler can <\/em>check correctness and completeness of input models for simulation model generation (used in <em>SIMVA-SoS<\/em>).<\/li>\n<\/ul>\n<\/li>\n<li><em>SIMVA-SoS <\/em>reads, interprets, and transforms input models.\n<ul>\n<li>XML parser reads and interprets input XML files.<\/li>\n<li>Java code generator transforms input models into simulatable Java code using predefined classes in SIMVA-SoS.<\/li>\n<\/ul>\n<\/li>\n<li>SIMVA-SoS displays information of imported input files.<\/li>\n<li>SIMVA-SoS supports re-importation of input files.<\/li>\n<li>SIMVA-SoS shows runtime status of model objects during simulation.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<h4><strong>Opensource Library<\/strong><\/h4>\n<p>You can download ABL (ADOxx library) file and import it to your ADOxx meta-modeling platform.<\/p>\n<p>There is no specific license\/restriction to change definitions of (meta) models and classes.<\/p>\n<table>\n<tbody>\n<tr>\n<td width=\"107\"><strong>No<\/strong><\/td>\n<td width=\"339\"><strong>Library (ABL file)<\/strong><\/td>\n<td width=\"102\"><strong>Version<\/strong><\/td>\n<td width=\"159\"><strong>File<\/strong><\/td>\n<\/tr>\n<tr>\n<td width=\"107\">1<\/td>\n<td width=\"339\">SIMVASoS_Modeler_Prototype_v0.8_abl<\/td>\n<td width=\"102\">v0.8<\/td>\n<td width=\"159\"><em>Deprecated<\/em><\/td>\n<\/tr>\n<tr>\n<td width=\"107\">2<\/td>\n<td width=\"339\">SIMVASoS_Modeler_Prototype_v0.9_abl<\/td>\n<td width=\"102\">v0.9<\/td>\n<td width=\"159\"><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/\">Download<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n<h4><strong>Installation Guide &amp; User Manual<\/strong><\/h4>\n<p>(1) You can install ADOxx Meta-modeling platform, following the document below.<\/p>\n<p>[wpdm_package id=&#8217;690&#8242;]<\/p>\n<p>&nbsp;<\/p>\n<p>(2) You can download\/modify SIMVA-SoS Modeler (Prototype) here.<\/p>\n<p>[wpdm_package id=&#8217;694&#8242;]<\/p>\n<p>&nbsp;<\/p>\n<p>A. SIMVA-SoS Modeler Overview<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/01.png\"><img loading=\"lazy\" class=\"size-full wp-image-696 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/01.png\" alt=\"\" width=\"1723\" height=\"776\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/01.png 1723w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/01-300x135.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/01-768x346.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/01-1024x461.png 1024w\" sizes=\"(max-width: 1723px) 100vw, 1723px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>B. Make a model instance or a model group<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02.png\"><img loading=\"lazy\" class=\"size-full wp-image-697 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02.png\" alt=\"\" width=\"1645\" height=\"605\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02.png 1645w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02-300x110.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02-768x282.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/02-1024x377.png 1024w\" sizes=\"(max-width: 1645px) 100vw, 1645px\" \/><\/a><\/p>\n<p>C. Check created models and modeling panel<\/p>\n<h4><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/03.png\"><img loading=\"lazy\" class=\"size-full wp-image-698 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/03.png\" alt=\"\" width=\"1664\" height=\"472\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/03.png 1664w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/03-300x85.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/03-768x218.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/03-1024x290.png 1024w\" sizes=\"(max-width: 1664px) 100vw, 1664px\" \/><\/a><\/h4>\n<p>&nbsp;<\/p>\n<p>D. Update attributes of a class object using &#8216;Notebook&#8217;<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/04.png\"><img loading=\"lazy\" class=\"size-full wp-image-699 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/04.png\" alt=\"\" width=\"1523\" height=\"693\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/04.png 1523w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/04-300x137.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/04-768x349.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/04-1024x466.png 1024w\" sizes=\"(max-width: 1523px) 100vw, 1523px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>E. Reference other model instances (in &lt;Integration Model&gt;)<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/05.png\"><img loading=\"lazy\" class=\"size-full wp-image-700 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/05.png\" alt=\"\" width=\"1498\" height=\"674\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/05.png 1498w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/05-300x135.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/05-768x346.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/05-1024x461.png 1024w\" sizes=\"(max-width: 1498px) 100vw, 1498px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>F. Model a model type using defined classes and relationclasses<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/06.png\"><img loading=\"lazy\" class=\"size-full wp-image-701 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/06.png\" alt=\"\" width=\"1810\" height=\"728\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/06.png 1810w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/06-300x121.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/06-768x309.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/06-1024x412.png 1024w\" sizes=\"(max-width: 1810px) 100vw, 1810px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>G. Check modeling results: Graphical mode, Table mode<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/07.png\"><img loading=\"lazy\" class=\"size-full wp-image-702 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/07.png\" alt=\"\" width=\"1814\" height=\"591\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/07.png 1814w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/07-300x98.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/07-768x250.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/07-1024x334.png 1024w\" sizes=\"(max-width: 1814px) 100vw, 1814px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>H. Export modeling results as graphics or XML\/ADL<\/p>\n<p><a href=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/08.png\"><img loading=\"lazy\" class=\"size-full wp-image-703 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/08.png\" alt=\"\" width=\"1726\" height=\"717\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/08.png 1726w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/08-300x125.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/08-768x319.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/08-1024x425.png 1024w\" sizes=\"(max-width: 1726px) 100vw, 1726px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Background To analyze and design an SoS, model-based approaches are generally used as SoS engineering activities. For the model-based engineering, both input and intermediate models should be systematically generated. &lt;SIMVA-SoS Modeler&gt; is a modeling tool for conceptually designing SoS and its component objects such as organizations, CSs, infrastructure, environment, and so on. This tool is [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":350,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/354"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=354"}],"version-history":[{"count":5,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/354\/revisions"}],"predecessor-version":[{"id":704,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/354\/revisions\/704"}],"up":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/350"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=354"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}