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 FIXME
  11. Jump statement
  12. Loop statements
  13. Null statement
  14. Out statement FIXME
  15. Proc statement
  16. Select statement
  17. Start statement
  18. Formal model definition
  19. α^0 system layer
  20. Agent state
  21. Model state
  22. Steps counting
  23. Steps (transitions)
  24. LTS graphs
  25. Sender-Buffer-Receiver exampleFIXME
  26. FIXME
© Marcin Szpyrka 2008-2025