{"id":408,"date":"2012-12-20T19:03:50","date_gmt":"2012-12-20T18:03:50","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=408"},"modified":"2015-03-19T13:41:44","modified_gmt":"2015-03-19T12:41:44","slug":"open-and-edit-a-project","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/open-and-edit-a-project\/","title":{"rendered":"Open and edit a project"},"content":{"rendered":"<p><\/p>\n<div>\n<dl>\n<dt><div class=\"alert alert-warning\" role=\"alert\"><p class=\"printonly\"><strong>Warning!<\/strong><\/p><strong>Prerequisite<\/strong><br \/>\nFor this tutorial we assume that you know how to launch PLASMA Lab. If you don&#8217;t know how to do that please refer to the <strong><a href=\"https:\/\/project.inria.fr\/plasma-lab\/download\/\">download page<\/a><\/strong> or directly run <strong><a href=\"http:\/\/plasma-lab.gforge.inria.fr\/ressources\/PlasmaLab.jnlp\">PLASMA Lab<\/a><\/strong> from your web browser.<\/div><\/dt>\n<\/dl>\n<\/div>\n<p>PLASMA Lab Graphical User Interface (GUI) is composed of several elements:<\/p>\n<ul>\n<li>A <strong>main tabbed panel<\/strong>, which display projects and experimentation\/simulation panels.<\/li>\n<li>A <strong>project explorer<\/strong>, which shows the tree structure of opened projects.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\">We will have a later look at the experimentation panel so let&#8217;s focus on the project panel. In this panel we can edit two types of data. <strong>Models<\/strong> that describe our system and <strong>properties and contracts<\/strong> that we want to verify. For more information on models and properties see the <a href=\"http:\/\/project.inria.fr\/plasma-lab\/Languages\">languages page<\/a>.<\/p>\n<p>Download this <a href=\"http:\/\/plasma-lab.gforge.inria.fr\/plasma_lab_examples\/DTMC\/Philosophers.plasma\">sample project<\/a> and open it in PLASMA Lab. This can be done using the File menu. You can also find more examples <a href=\"http:\/\/project.inria.fr\/plasma-lab\/Examples\">here<\/a>.<\/p>\n<div style=\"width: 453px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/plasma-lab.gforge.inria.fr\/plasma_lab_images\/plasma_gui_philo.png\"><img loading=\"lazy\" decoding=\"async\" class=\" \" alt=\"\" src=\"http:\/\/plasma-lab.gforge.inria.fr\/plasma_lab_images\/plasma_gui_philo.png\" width=\"443\" height=\"294\" \/><\/a><p class=\"wp-caption-text\">PLASMA Lab GUI with open model<\/p><\/div>\n<p>You can now edit your model and properties. You could also create new properties and models or import them using the File menu. <strong>Be sure to select the right type when creating a new data or importing one<\/strong>. If you want to rename a file you can do so by right-clicking on the item you want to rename in the project explorer.<\/p>\n<p style=\"text-align: justify;\">At the bottom of the edit panel you can find <strong>error messages<\/strong> from the properties and models you are editing, as well as an indication showing <strong>the type of the selected data<\/strong>. It is not yet possible to change the type of a data object.<\/p>\n<div style=\"text-align: justify;\">\n<dl id=\"attachment_170\">\n<dt><\/dt>\n<dt>You can then test your model in the <strong><a title=\"How to simulate a model\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/how-to-simulate-a-model\/\">simulation panel<\/a><\/strong>.<\/dt>\n<dd><\/dd>\n<\/dl>\n<\/div>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>PLASMA Lab Graphical User Interface (GUI) is composed of several elements: A main tabbed panel, which display projects and experimentation\/simulation panels. A project explorer, which shows the tree structure of opened projects. We will have a later look at the experimentation panel so let&#8217;s focus on the project panel. In\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/open-and-edit-a-project\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":234,"featured_media":0,"parent":135,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-408","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/408","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=408"}],"version-history":[{"count":25,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/408\/revisions"}],"predecessor-version":[{"id":1991,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/408\/revisions\/1991"}],"up":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/135"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=408"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}