Sidebar

Main

Internal

Trace:
Trace:

This is an old revision of the document!

Marcin Szpyrka: On-line Alvis Manual. AGH University of Science and Technology, Krakow, Poland.

Remark: The manual is based on the following white papers:

  1. Szpyrka M., Matyasik P., Mrówka R.: Alvis - modelling language for concurrent systems. In: Bouvry P., Gonzalez-Velez H., Kołodziej, J. (eds.): Intelligent Decision Systems in Large-Scale Distributed Environments, Studies in Computational Intelligence, vol. 362, Springer-Verlag, 2011, pp. 315-341 bibtex
  2. Szpyrka M., Matyasik P., Mrówka R., Kotulski L.: Formal description of Alvis language with α^0 system layer. Fundamenta Informaticae, vol. 129, 2014, pp. 161-176 bibtex

Please cite this papers when referring to Alvis syntax (paper 1) and semantics (paper 2).

Contents

  1. Introduction
  2. Modelling and verification process
  3. Communication diagrams
  4. Hierarchical communication diagrams
  5. Alvis key words
  6. Code layer structure
  7. Types and parameters
  8. Exec statement
  9. Exit statement
  10. In statement
  11. Jump statement
  12. Loop statements
  13. Null statement
  14. Out statement
  15. Proc statement
  16. Select statement
  17. Start statement
  18. Formal model definition
  19. $\alpha^0$ system layer
  20. Agent state
  21. Model state FIXME
  22. Steps counting FIXME
  23. Steps (transitions) FIXME
  24. LTS graphs FIXME
  25. Sender-Buffer-Receiver exampleFIXME
  26. FIXME
© Marcin Szpyrka 2008-2025