{"id":286,"date":"2013-08-06T10:45:47","date_gmt":"2013-08-06T08:45:47","guid":{"rendered":"https:\/\/altarica.labri.fr\/wp\/?page_id=286"},"modified":"2013-08-21T11:37:42","modified_gmt":"2013-08-21T09:37:42","slug":"altarica-studio","status":"publish","type":"page","link":"https:\/\/altarica.labri.fr\/wp\/?page_id=286","title":{"rendered":"AltaRica Studio"},"content":{"rendered":"<p>AltaRica Studio is a prototype of a graphical front-end to <a title=\"ARC\" href=\"http:\/\/altarica.labri.fr\/wp\/?page_id=32\">ARC<\/a>. This tool is not an IDE (at least for the time being) and aims to offer a quick access to main computations proposed by the model-checker. It also embed a graphical simulator that displays state-graph of models built according to events triggered by the user.<\/p>\n<p>AltaRica Studio is distributed within <a title=\"Downloads\" href=\"http:\/\/altarica.labri.fr\/wp\/?page_id=44\">ARC<\/a> package.<\/p>\n<h1>Screenshots<\/h1>\n<div id=\"attachment_542\" style=\"width: 440px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-01.png\"><img decoding=\"async\" aria-describedby=\"caption-attachment-542\" class=\"size-medium wp-image-542   \" title=\"Source tab\" alt=\"as-01\" src=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-01.png\" width=\"430\" srcset=\"https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-01.png 880w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-01-300x225.png 300w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-01-399x300.png 399w\" sizes=\"(max-width: 880px) 100vw, 880px\" \/><\/a><p id=\"caption-attachment-542\" class=\"wp-caption-text\">On the left hand side a navigator displays the hierarchy of the loaded model.<br \/>Here the main window displays source code of the selected node.<\/p><\/div>\n<div id=\"attachment_541\" style=\"width: 440px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-02.png\"><img decoding=\"async\" aria-describedby=\"caption-attachment-541\" class=\" wp-image-541 \" title=\"Validation tab\" alt=\"as-02\" src=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-02.png\" width=\"430\" srcset=\"https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-02.png 880w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-02-300x225.png 300w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-02-399x300.png 399w\" sizes=\"(max-width: 880px) 100vw, 880px\" \/><\/a><p id=\"caption-attachment-541\" class=\"wp-caption-text\">This tab displays results of the <code>validate<\/code> command applied on the selected node.<\/p><\/div>\n<div id=\"attachment_540\" style=\"width: 440px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-03.png\"><img decoding=\"async\" aria-describedby=\"caption-attachment-540\" class=\"size-medium wp-image-540\" title=\"Semantics tab\" alt=\"as-03\" src=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-03.png\" width=\"430\" srcset=\"https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-03.png 880w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-03-300x225.png 300w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-03-399x300.png 399w\" sizes=\"(max-width: 880px) 100vw, 880px\" \/><\/a><p id=\"caption-attachment-540\" class=\"wp-caption-text\">The main window displays the semantics i.e. the labelled transition system of the<br \/>selected node.<\/p><\/div>\n<div id=\"attachment_539\" style=\"width: 440px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-04.png\"><img decoding=\"async\" aria-describedby=\"caption-attachment-539\" class=\"size-medium wp-image-539\" title=\"Relations tab\" alt=\"as-04\" src=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-04.png\" width=\"430\" srcset=\"https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-04.png 880w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-04-300x225.png 300w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-04-399x300.png 399w\" sizes=\"(max-width: 880px) 100vw, 880px\" \/><\/a><p id=\"caption-attachment-539\" class=\"wp-caption-text\">This tab lists all relations computed so far and their cardinality.<\/p><\/div>\n<div id=\"attachment_538\" style=\"width: 440px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-05.png\"><img decoding=\"async\" aria-describedby=\"caption-attachment-538\" class=\"size-medium wp-image-538\" title=\"ARC console\" alt=\"as-05\" src=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-05.png\" width=\"430\" srcset=\"https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-05.png 880w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-05-300x225.png 300w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/as-05-399x300.png 399w\" sizes=\"(max-width: 880px) 100vw, 880px\" \/><\/a><p id=\"caption-attachment-538\" class=\"wp-caption-text\">ARC Console offers a direct interaction with ARC tool.<\/p><\/div>\n<div id=\"attachment_537\" style=\"width: 440px\" class=\"wp-caption alignnone\"><a href=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/ass-01.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-537\" class=\"size-medium wp-image-537\" title=\"AltaRica Studio Simulator\" alt=\"ass-01\" src=\"http:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/ass-01.png\" width=\"430\" height=\"245\" srcset=\"https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/ass-01.png 1313w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/ass-01-300x170.png 300w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/ass-01-1024x582.png 1024w, https:\/\/altarica.labri.fr\/wp\/wp-content\/uploads\/2013\/08\/ass-01-500x284.png 500w\" sizes=\"auto, (max-width: 430px) 100vw, 430px\" \/><\/a><p id=\"caption-attachment-537\" class=\"wp-caption-text\">This picture shows GUI of the simulator. Upper left frame displays current assignment of variables. Lower left frame displays transitions that can be triggered and the central frame show the state-graph built so far.<\/p><\/div>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>AltaRica Studio is a prototype of a graphical front-end to ARC. This tool is not an IDE (at least for the time being) and aims to offer a quick access to main computations proposed by the model-checker. It also embed &hellip; <a href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=286\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-286","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/286","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=286"}],"version-history":[{"count":9,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/286\/revisions"}],"predecessor-version":[{"id":549,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/286\/revisions\/549"}],"wp:attachment":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=286"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}