Sidebar

Main

Internal

Trace:

This shows you the differences between two versions of the page.

--- alvis:reference_card [2013/11/09 23:30]
marcin created
+++ — (current)
@@ Line 1: / Line 1: @@
-====== Alvis Reference Card ======
-===== Communication diagrams items =====
-{{:alvis:agents.png|}}
-Agents (from left)
-  * active
-  * passive
-  * hierarchical
-{{:alvis:connections.png|}}
-  * One-way and two-way communication channels.
-  * Initially activated agents are indicated with underlined identifiers.
-===== Statements =====
-''A'' stands for an agent name, ''p'' stands for a port name, ''x'' stands for a parameter, ''g'', ''g1'', ''g2'',... stand for guards, ''ms'' stands for miliseconds.
-<code>
-if (g) {...}
-else {...}
-if (g1) {...}
-elseif (g2) {...}
-elseif (g3) {...}
-...
-else {...}
-loop (g) {...}
-loop {...}
-loop (every ...) {...}
-jump label;
-jump far A;
-null;
-delay miliseconds;
-exec x = expression;
-in p;
-in p x;
-out p;
-out p x;
-select {
-  alt (g1) {...}
-  alt (g2) {...}
-  ...
-}
-proc (g) p {...}
-cli;
-sti;
-critical {...}
-start A;
-exit;
-</code>