====== Differences ====== This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
archi_to_nusmv [2020/06/16 23:58] pszwed [Installation] |
archi_to_nusmv [2020/07/12 23:48] pszwed |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Archimate to NuSMV (nuXmv) ===== | ===== Archimate to NuSMV (nuXmv) ===== | ||
+ | |||
+ | :!: Updated to Archi 4.7.0 (12.07.2020) | ||
//Archimate to NuSMV// is a plugin to popular [[http://www.archimatetool.com/|Archi editor]]. | //Archimate to NuSMV// is a plugin to popular [[http://www.archimatetool.com/|Archi editor]]. | ||
Line 150: | Line 152: | ||
==== Installation ==== | ==== Installation ==== | ||
- | Following the instructions in: [[http://www.archimatetool.com/dev/import-export]] | + | Following the instructions in: [[https://github.com/archimatetool/archi/wiki/Developing-Import-and-Export-Plug-ins]] |
- | - Download the [[http://pszwed.kis.agh.edu.pl/code/2015/archi/pl.edu.agh.kis.pszwed.archi.nusmvexport_1.0.0.201605202317.jar|compiled plugin (JAR)]] controlling the model generation [[http://home.agh.edu.pl/~pszwed/archi/pl.agh.edu.pszwed.archi.nusmvexport.jar|Alternate location]] | + | - Download the |
- | - Copy it to the //plugins// directory of Archi installation | + | [[http://home.agh.edu.pl/~pszwed/archi/pl.edu.agh.kis.pszwed.archi.nusmvexport_1.0.0.202007122336.jar|compiled plugin (JAR)]] controlling the model generation |
+ | - Copy it to the //dropins// directory | ||
- Restart Archi | - Restart Archi | ||
- A new menu item //File//->//Export//->//Model to NuSMV// should appear. | - A new menu item //File//->//Export//->//Model to NuSMV// should appear. | ||
+ | |||
+ | This is a quote from [[https://github.com/archimatetool/archi/wiki/Developing-Import-and-Export-Plug-ins]] | ||
+ | |||
+ | <code> | ||
+ | Note: | ||
+ | |||
+ | The default "dropins" folder is located in the following places: | ||
+ | |||
+ | Windows: %user.home%/AppData/Roaming/Archi4/dropins | ||
+ | Mac: %user.home%/Library/Application Support/Archi4/dropins | ||
+ | Linux: %user.home%/.archi4/dropins | ||
+ | |||
+ | ("%user.home%" denotes your home directory.) | ||
+ | Or you can manually create a "dropins" folder alongside the Archi installation's "plugins" folder. | ||
+ | </code> | ||
==== Controlling model generation ==== | ==== Controlling model generation ==== |