*[[start|Home]] *[[research|Research]] *[[fuzzy_semantic_petri_nets|Fuzzy Semantic Petri]] *[[is_security_risk_assesment|IT Security Risk]] *[[papers|Publications]] *[[projects|Projects]] *[[ontologies|Ontologies]] *[[software|Software]] *[[archi_to_owl|Archimate to OWL]] *[[archi_to_nusmv|Archimate to nuSMV]]
Sidebar
archi_to_nusmv
**This is an old revision of the document!** ----
A PCRE internal error occured. This might be caused by a faulty plugin
===== Archimate to NuSMV ===== //Archimate to SMV// is a plugin to popular [[http://www.archimatetool.com/|Archi editor]]. ==== General description ==== ==== Installation ==== Following the instructions in: [[http://www.archimatetool.com/dev/import-export]] - Download the [[http://pszwed.kis.agh.edu.pl/code/2015/archi/com.archimatetool.nusmvexport_1.0.0.201605181456.jar|compiled plugin (JAR)]] - Downolad properties file [[http://pszwed.kis.agh.edu.pl/code/2015/archi/NuSMVExport.properties|NuSMVExport.properties] controlling the model generation - Copy them to the //plugins// directory of Archi installation (not sure about properties) - Restart Archi - A new menu item //File//->//Export//->//Model to OWL// should appear. ==== Controlling model generation ==== Model genetration is controlled by the properties file. You may edit it (hash sign starts a comment till the end of line). <code> specification.generate=true # generate CTL specification specification.generate.ctl.universal=true specification.generate.ctl.existential=true specification.generate.reachable.or=true specification.generate.reachable.and=true specification.generate.module=false #generate specification for modules # For the below elements there is a choice between synchronous and interleaving implementation # interleaving implementation: FSM model is used for a given element, i.e. there are intermediary states between an input occurrence and output # synchronous: output is generated synchronously with the input semantcis.event=synchronous semantcis.process=interleaving #semantcis.process=synchronous semantcis.xorfork=synchronous semantcis.xorjoin=synchronous semantcis.andfork=synchronous semantcis.andjoin=synchronous #semantcis.event=interleaving #semantcis.process=interleaving #semantcis.xorfork=interleaving #semantcis.xorjoin=interleaving #semantcis.andfork=interleaving #semantcis.andjoin=interleaving refactoring.remove.process=false #a process with one input and one output can be removed </code>
archi_to_nusmv.1463578029.txt.gz · Last modified: 2016/05/18 15:27 by pszwed
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
