https://home.agh.edu.pl/~mszpyrka/ 2026-05-17T15:36:09+00:00 https://home.agh.edu.pl/~mszpyrka/ https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2026-05-01T11:02:55+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?id=alvis:start&rev=1777633375&do=diff Alvis Team * Prof. Marcin Szpyrka * Piotr Matyasik, PhD * Michał Wypych, PhD * Jerzy Biernacki, PhD * Łukasz Podolski, MSc Documentation * [Alvis Manual v. 0.13] * Getting Started with Alvis Editor * Getting Started with Alvis Compiler Download * * [Alvis Compiler v. 0.4.3.33] Examples * Communication between active agents * Communication with a passive agent * Sender-Buffer-Receiver example * [ Test models] The archive contains selected Alvis test models: text/html 2026-05-01T11:02:52+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Atests.zip&ns=alvis&rev=1777633372&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/images/fileicons/svg/zip.svg" alt="tests.zip" loading="lazy" width="500" height="500" /> text/html 2026-05-01T11:01:29+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?id=alvis:sbrexample&rev=1777633289&do=diff Example: Sender-Buffer-Receiver system Agent S (sender) puts sequentially valueless signals to the buffer (agent B) and agent R (receiver) gets such signals from the buffer. Agent B offers two procedures (services, ports) to connected agents. agent S { loop { -- 1 comments contain steps numbers out put; -- 2 } } agent B { i :: Int = 0; proc (i == 0) put { in put; -- 1 i = 1; -- 2 exit; -- 3 } … text/html 2026-05-01T11:01:10+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?id=alvis:active2passive1&rev=1777633270&do=diff Communication with a passive agent agent A, C { x :: Int = 5; out q x; -- 1 } agent B { x :: Int = 0; proc p1 { in p1 x; -- 1 exit; -- 2 } proc p2 { in p2 x; -- 3 exit; -- 4 } } text/html 2026-05-01T11:00:44+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?id=alvis:active2&rev=1777633244&do=diff Communication between active agents agent A { loop { -- 1 out a; -- 2 } } agent B { loop { -- 1 in b; -- 2 } } text/html 2026-05-01T11:00:11+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3At016.png&ns=alvis&rev=1777633211&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=0feb8c&amp;media=alvis:t016.png" alt="t016.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T11:00:11+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3At016lts.png&ns=alvis&rev=1777633211&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=439e16&amp;media=alvis:t016lts.png" alt="t016lts.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T11:00:10+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3At012.png&ns=alvis&rev=1777633210&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=796834&amp;media=alvis:t012.png" alt="t012.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T11:00:10+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3At012lts.png&ns=alvis&rev=1777633210&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=7fa7b3&amp;media=alvis:t012lts.png" alt="t012lts.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T11:00:10+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Asbrlts.png&ns=alvis&rev=1777633210&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=ba598a&amp;media=alvis:sbrlts.png" alt="sbrlts.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T11:00:10+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Arbs.png&ns=alvis&rev=1777633210&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=43de6e&amp;media=alvis:rbs.png" alt="rbs.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T10:52:47+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?id=alvis:compiler&rev=1777632767&do=diff Usage of compiler Basic usage of the compiler is to produce an intermediate Haskell representation of an Alvis model. The intermediate representation may be used to generate the Label Transition System (LTS graph) for the given model. The Alvis compiler requires a Haskell compiler to be installed. text/html 2026-05-01T10:52:05+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?id=alvis:editor&rev=1777632725&do=diff Getting Started This section gives you an overview of ALVIS, including installation, work area, file format to store Alvis model and license. Installing ALVIS A Java JRE 1.7 or higher required. ALVIS runs successfully on the most recent systems with Java installed on it. If your computer does not meet these requirements, you may not be able to use ALVIS. text/html 2026-05-01T10:51:23+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Aalvisemptyhighlignblue.png&ns=alvis&rev=1777632683&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=fa0970&amp;media=alvis:alvisemptyhighlignblue.png" alt="alvisemptyhighlignblue.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T10:51:23+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Aalvisadingagent.png&ns=alvis&rev=1777632683&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=5c5780&amp;media=alvis:alvisadingagent.png" alt="alvisadingagent.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T10:51:23+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Aalvisagentpopup.png&ns=alvis&rev=1777632683&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=5b82a2&amp;media=alvis:alvisagentpopup.png" alt="alvisagentpopup.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T10:51:22+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Aalvisaddingconnectionfail.png&ns=alvis&rev=1777632682&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=c380b9&amp;media=alvis:alvisaddingconnectionfail.png" alt="alvisaddingconnectionfail.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T10:51:22+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Aalvisaddingpage.png&ns=alvis&rev=1777632682&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=4471cd&amp;media=alvis:alvisaddingpage.png" alt="alvisaddingpage.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T10:51:22+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Aalvistext.png&ns=alvis&rev=1777632682&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=afae02&amp;media=alvis:alvistext.png" alt="alvistext.png" loading="lazy" width="500" height="500" /> text/html 2026-05-01T10:51:22+00:00 marcin (marcin@undisclosed.example.com) https://home.agh.edu.pl/~mszpyrka/doku.php?image=alvis%3Aalvisnavigate.png&ns=alvis&rev=1777632682&tab_details=history&media_do=diff&do=media <img src="https://home.agh.edu.pl/~mszpyrka/lib/exe/fetch.php?w=500&amp;h=500&amp;tok=332460&amp;media=alvis:alvisnavigate.png" alt="alvisnavigate.png" loading="lazy" width="500" height="500" />