|
Digital Library of the
European Council for Modelling and Simulation |
Title: |
Practical Approach To Modelling And
Verification Of Concurrent Systems With ALVIS |
Authors: |
Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka |
Published in: |
(2011).ECMS
2011 Proceedings edited by: T. Burczynski, J. Kolodziej, A. Byrski, M. Carvalho. European Council for Modeling and Simulation. doi:10.7148/2011 ISBN:
978-0-9564944-2-9 25th
European Conference on Modelling and Simulation, Jubilee Conference Krakow,
June 7-10, 2011
|
Citation
format: |
Szpyrka, M., Matyasik,
P., & Mrowka, R. (2011). Practical Approach To Modelling And Verification Of Concurrent Systems With
ALVIS. ECMS 2011 Proceedings edited by: T. Burczynski,
J. Kolodziej, A. Byrski, M. Carvalho (pp. 539-545).
European Council for Modeling and Simulation. doi:10.7148/2011-0539-0545 |
DOI: |
http://dx.doi.org/10.7148/2011-0539-0545 |
Abstract: |
The
paper presents a practical introduction to the mod- elling
and verification of concurrent systems with the Alvis
modelling language using the α0 system layer. This version of Alvis
is the most universal one. It is as- sumed that
each active agent has access to its own proces- sor and all agents perform their statements concurrently.
All layers of an Alvis models are shortly described
in the paper and possibilities of a formal verification are also discussed. A
classical problem of dining philosophers is presented to illustrate Alvis features and methods of an
automatic model verification with the CADP toolbox. |
Full
text: |