{"id":317,"date":"2011-02-01T13:40:31","date_gmt":"2011-02-01T13:40:31","guid":{"rendered":"http:\/\/www.serscis.eu\/?page_id=317"},"modified":"2011-02-01T13:40:31","modified_gmt":"2011-02-01T13:40:31","slug":"downloads-2","status":"publish","type":"page","link":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/downloads-2\/","title":{"rendered":"Downloads"},"content":{"rendered":"<p>The following software has been produced by SERSCIS and is released under an open source licence. Details of the licence are given in the downloaded software.<\/p>\n<p><strong>SERSCIS Access Modeller<\/strong><\/p>\n<p>The SERSCIS Access Modeller (SAM) takes a model of a system (e.g. a set of objects within a computer program or a set of machines on a network) and attempts to verify certain security properties about the system, by exploring all the ways access can propagate through the system.<\/p>\n<p><a href=\"http:\/\/serscis.eu\/sam\/install.html\">SAM installation instructions<\/a><br \/>\n<a href=\"http:\/\/serscis.eu\/sam\/\">SAM documentation<\/a><\/p>\n<p><strong>Service management framework and emulated airport application services<\/strong><\/p>\n<p>The software can be installed using the\u00a0<a href=\"http:\/\/0install.net\/\">0install<\/a> software installation system.\u00a0During the installation process, you will prompted to trust GPG keys from this site and from other sites hosting dependent packages. Documentation for the software is\u00a0<a href=\"http:\/\/www.serscis.eu\/releases\/docs\/serscis-workbench-4.1\/\">available online<\/a>.<\/p>\n<p>On Windows:<\/p>\n<ol>\n<li>Install 0install from <a href=\"http:\/\/0install.de\/downloads\/?lang=en\">http:\/\/0install.de\/downloads\/?lang=en<\/a><\/li>\n<li>Open a command-prompt (Start -&gt; Run -&gt; cmd)<\/li>\n<li>Change (&#8216;cd&#8217;) to a directory where the database can be created<\/li>\n<li>Run the following command: 0launch <a href=\"http:\/\/www.serscis.eu\/0install\/workbench\">http:\/\/www.serscis.eu\/0install\/workbench<\/a><\/li>\n<\/ol>\n<p>On Linux:<\/p>\n<ol>\n<li>Install 0install from <a href=\"http:\/\/0install.net\/\">http:\/\/0install.net\/<\/a> (click on the big green\u00a0button)<\/li>\n<li>Open a terminal<\/li>\n<li>Change to a directory where the database can be created<\/li>\n<li>Run the following command: 0launch <a href=\"http:\/\/www.serscis.eu\/0install\/workbench\">http:\/\/www.serscis.eu\/0install\/workbench<\/a><\/li>\n<\/ol>\n<p><strong>System composition components<\/strong><\/p>\n<p class=\"MsoNormal\">System composition components are <a href=\"http:\/\/www.serscis.eu\/releases\/SERSCIS-orchestration-source-0.3.3.zip\">available for download<\/a>.<\/p>\n<p class=\"MsoNormal\"><span lang=\"EN-US\">The system composition components allow for the execution of business processes formulated as annotated BPEL workflows. Services are bound to workflow instances dynamically at run-time. This is done by evaluating annotations to identify services that are suitable for handling a late bound service request. Late binding additionally enables the usage of dynamic fault handling strategies like retry, blacklist or switch service.<\/span><\/p>\n<p>The framework is based on\u00a0<a href=\"http:\/\/servicemix.apache.org\/\">Apache ServiceMix<\/a> and\u00a0<a href=\"http:\/\/ode.apache.org\/\">Apache ODE<\/a>. Details of the license and contact data are given in the downloaded software.<\/p>\n<p>Installation instructions are available in the downloaded software.<\/p>\n<p><strong>SERSCIS System Model<\/strong><\/p>\n<p>The SERSCIS system model can be <a href=\"\/releases\/serscis-ontology.zip\"> downloaded as a set of OWL ontologies<\/a>. The ontologies can be viewed and edited using an OWL editor, such as <a href=\"http:\/\/protege.stanford.edu\/\">Prot\u00e9g\u00e9<\/a>, and integrated using a library, such as the <a href=\"http:\/\/owlapi.sourceforge.net\/\">OWL API<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The following software has been produced by SERSCIS and is released under an open source licence. Details of the licence are given in the downloaded software. SERSCIS Access Modeller The SERSCIS Access Modeller (SAM) takes a model of a system (e.g. a set of objects within a computer program or a set of machines on [&hellip;]<\/p>\n","protected":false},"author":3890,"featured_media":0,"parent":0,"menu_order":5,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-317","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/wp-json\/wp\/v2\/pages\/317","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/wp-json\/wp\/v2\/users\/3890"}],"replies":[{"embeddable":true,"href":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/wp-json\/wp\/v2\/comments?post=317"}],"version-history":[{"count":0,"href":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/wp-json\/wp\/v2\/pages\/317\/revisions"}],"wp:attachment":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/serscis\/wp-json\/wp\/v2\/media?parent=317"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}