https://alvis.kis.agh.edu.pl/wiki/ 2026-05-10T21:17:21+00:00 https://alvis.kis.agh.edu.pl/wiki/ https://alvis.kis.agh.edu.pl/wiki/lib/tpl/scanlines/images/favicon.ico text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:active2?rev=1632387097&do=diff Communication between active agents agent A { loop { -- 1 out a; -- 2 } } agent B { loop { -- 1 in b; -- 2 } } text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:active2passive1?rev=1632387097&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 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:bibtex?rev=1632387097&do=diff @Article{Szp:etal:Alvis:FI:14, author = {Szpyrka, M. and Matyasik, P. and Mrówka, R. and Kotulski, L.}, title = {Formal description of {A}lvis language with $\alpha^0$ system layer}, journal = {Fundamenta Informaticae}, year = {2014}, volume = {129}, pages = {161-176} } @InCollection{SzpMatMr:Alvis:SCI:11, author = {Szpyrka, M. and Matyasik, P. and Mrówka, R.}, title = {Alvis -- modelling language for concurrent systems}, publisher = {Springer-Verlag}, year = {2011}, series = {Studies in Comput… text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:compiler?rev=1632387097&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 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:editor?rev=1632387097&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. ALVIS home website, hosting information about current status of the project, is located a text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:name?rev=1632387097&do=diff Name origin Alvis The word Alvis originates from the ancient Norse mythology, where an old and wise dwarf named Alvíss („All-wise”, „All-Knowing”) could answer every single question the god of thunder, Thor asked him. Alvis was promised Thor's daughter - Thrud (in return for the weapons he forged for the gods). When Alvis came to Thor's hall, he challenged the dwarf to a test of knowledge. Alvis had to know the names for different things in the language of the Elfs, Dwarfs, Gods, etc. Thor pro… text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:ncn?rev=1632387097&do=diff Alvis NCN Project 2009-11 The basics of Alvis language have been worked out in the NCN research project Formal methodology of real-time systems development with the use of visual object process algebra (Formalna metodyka realizacji systemów czasu rzeczywistego z wykorzystaniem wizualnej obiektowej algebry procesów) founded by National Science Centre in Poland. text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:old?rev=1632387097&do=diff Priorities Priorities range from 0 to 9. Zero is the higher system priority. Alvis uses static priorities. The default agent's priority is 0. The priority of an agent is put inside round brackets after the agent name, e.g.: agent Buffer(9) { -- ... } text/html 2021-09-23T08:51:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:sbrexample?rev=1632387097&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 2021-10-23T17:24:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://alvis.kis.agh.edu.pl/wiki/alvis:start?rev=1635009856&do=diff Documentation * [Alvis Manual v. 0.13] * Alvis name origin * Getting Started with Alvis Editor * Getting Started with Alvis Compiler Examples * Communication between active agents * Communication with a passive agent * Sender-Buffer-Receiver example * [ Test models] The archive contains selected Alvis test models: * name.alvis - model XML file, * namecorrect.dot - LTS (dot format) for non-time version of the model, * nametime1correct.dot - LTS (dot format) for time ve…