Piotr Szwed
https://home.agh.edu.pl/~pszwed/en/
2024-03-29T00:35:11+01:00Piotr Szwed
https://home.agh.edu.pl/~pszwed/en/
https://home.agh.edu.pl/~pszwed/en/lib/tpl/dokuwiki/images/favicon.icotext/html2020-07-12T23:49:33+01:00pszwedarchi_to_nusmv
https://home.agh.edu.pl/~pszwed/en/doku.php?id=archi_to_nusmv&rev=1594590573&do=diff
===== 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]].
The plugin examines business processes embeded within the Business layer and builds a model suitable for model checking with NuSMV or nuXmv.
Example Archimate process
{{::archimate_preparation.png|}}
{{:archimate_finalization.png|}}
Generated code NuSMV (nuXmv). In the following example FSM (interleaving) semantics i…text/html2016-06-01T18:52:46+01:00pszwedsoftware
https://home.agh.edu.pl/~pszwed/en/doku.php?id=software&rev=1464799966&do=diff
Below a list of small software tools that someone may find useful
*[[archi_to_owl|Archimate To OWL]]
*[[archi_to_nusmv|Archimate To NuSMV]]text/html2016-05-20T23:40:19+01:00pszwedarchimate_finalization.png - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=archimate_finalization.png&ns=&rev=1463780419&tab_details=history&mediado=diff&do=media
<img src="https://home.agh.edu.pl/~pszwed/en/lib/exe/fetch.php?w=500&h=175&t=1463780419&tok=952e49&media=archimate_finalization.png" alt="archimate_finalization.png" />text/html2016-05-20T23:39:28+01:00pszwedarchimate_preparation.png - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=archimate_preparation.png&ns=&rev=1463780368&tab_details=history&mediado=diff&do=media
<img src="https://home.agh.edu.pl/~pszwed/en/lib/exe/fetch.php?w=499&h=149&t=1463780368&tok=e3c099&media=archimate_preparation.png" alt="archimate_preparation.png" />text/html2016-05-20T23:26:11+01:00pszwedarchi_to_nusmv-properties.png - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=archi_to_nusmv-properties.png&ns=&rev=1463779571&tab_details=history&mediado=diff&do=media
<img src="https://home.agh.edu.pl/~pszwed/en/lib/exe/fetch.php?w=500&h=166&t=1463779571&tok=afdabb&media=archi_to_nusmv-properties.png" alt="archi_to_nusmv-properties.png" />text/html2015-04-14T21:13:51+01:00pszwedpapers:draft-icaics-2015-pso-qap-opencl.pdf
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Adraft-icaics-2015-pso-qap-opencl.pdf&ns=papers&rev=1429038831&tab_details=history&mediado=diff&do=media
text/html2015-02-21T23:00:09+01:00pszwedcode:archisurance-owl.png - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=code%3Aarchisurance-owl.png&ns=code&rev=1424556009&tab_details=history&mediado=diff&do=media
<img src="https://home.agh.edu.pl/~pszwed/en/lib/exe/fetch.php?w=500&h=298&t=1424556009&tok=cdddaa&media=code:archisurance-owl.png" alt="code:archisurance-owl.png" />text/html2014-07-07T15:37:43+01:00pszwedpapers:icaisc-2014-belief-slides.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Aicaisc-2014-belief-slides.pdf&ns=papers&rev=1404740263&tab_details=history&mediado=diff&do=media
text/html2014-07-07T15:37:22+01:00pszwedpapers:icaisc-2014-map-matching-slides.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Aicaisc-2014-map-matching-slides.pdf&ns=papers&rev=1404740242&tab_details=history&mediado=diff&do=media
text/html2014-07-07T15:37:02+01:00pszwedpapers:bdas-traffic-monitoring-slides.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Abdas-traffic-monitoring-slides.pdf&ns=papers&rev=1404740222&tab_details=history&mediado=diff&do=media
text/html2014-07-07T15:34:06+01:00pszwedpapers:icaics-map-matching-hmm-draft.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Aicaics-map-matching-hmm-draft.pdf&ns=papers&rev=1404740046&tab_details=history&mediado=diff&do=media
text/html2014-07-07T15:34:06+01:00pszwedpapers:icaisc-belief-draft.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Aicaisc-belief-draft.pdf&ns=papers&rev=1404740046&tab_details=history&mediado=diff&do=media
text/html2014-07-07T15:33:34+01:00pszwedpapers:bdas-traffic-monitoring-draft.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Abdas-traffic-monitoring-draft.pdf&ns=papers&rev=1404740014&tab_details=history&mediado=diff&do=media
text/html2014-07-05T02:08:10+01:00pszwedpapers:pszwed-praca-doktorska-1999.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Apszwed-praca-doktorska-1999.pdf&ns=papers&rev=1404518890&tab_details=history&mediado=diff&do=media
text/html2013-12-06T23:50:36+01:00pszwedpapers:icmmi-fspn-event-recognition-draft.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Aicmmi-fspn-event-recognition-draft.pdf&ns=papers&rev=1386370236&tab_details=history&mediado=diff&do=media
text/html2013-12-06T23:49:58+01:00pszwedpapers:kicss-fspn-draft.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Akicss-fspn-draft.pdf&ns=papers&rev=1386370198&tab_details=history&mediado=diff&do=media
text/html2013-10-21T03:05:21+01:00pszwedprojects:pets-scenario.png - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=projects%3Apets-scenario.png&ns=projects&rev=1382317521&tab_details=history&mediado=diff&do=media
<img src="https://home.agh.edu.pl/~pszwed/en/lib/exe/fetch.php?w=500&h=128&t=1382313921&tok=5e9fa7&media=projects:pets-scenario.png" alt="projects:pets-scenario.png" />text/html2013-09-17T16:15:00+01:00pszwedpapers:insigma-route-planning.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Ainsigma-route-planning.pdf&ns=papers&rev=1379427300&tab_details=history&mediado=diff&do=media
text/html2013-06-25T16:17:16+01:00pszwedpapers:scr20120_submission_30_eng-v04.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Ascr20120_submission_30_eng-v04.pdf&ns=papers&rev=1372169836&tab_details=history&mediado=diff&do=media
text/html2013-06-25T16:06:55+01:00pszwedpapers:fcm-ocena-jednostek-slides.pdf - created
https://home.agh.edu.pl/~pszwed/en/doku.php?image=papers%3Afcm-ocena-jednostek-slides.pdf&ns=papers&rev=1372169215&tab_details=history&mediado=diff&do=media