Publikationsdatum:
2014-01-26
Beschreibung:
The paper presents a formal description of a subset of the Alvis language designed for the modelling and formal verification of concurrent systems. Alvis combines possibilities of a formal models verification with flexibility and simplicity of practical programming languages. Alvis provides a graphical modelling of interconnections among agents and a high level programming language used for the description of agents behaviour. Its semantic depends on the so-called system layer. The most universal system layer α 0 , described in the paper, makes Alvis similar to other formal languages like Petri nets, process algebras, time automata, etc. Content Type Journal Article Pages 161-176 DOI 10.3233/FI-2014-967 Authors Marcin Szpyrka, AGH University of Science and Technology, Department of Applied Computer Science, Al. Mickiewicza 30, 30-059 Krakow, Poland. {mszpyrka,ptm,Rafal.Mrowka,kotulski}@agh.edu.pl Piotr Matyasik, AGH University of Science and Technology, Department of Applied Computer Science, Al. Mickiewicza 30, 30-059 Krakow, Poland. {mszpyrka,ptm,Rafal.Mrowka,kotulski}@agh.edu.pl Rafał Mrówka, AGH University of Science and Technology, Department of Applied Computer Science, Al. Mickiewicza 30, 30-059 Krakow, Poland. {mszpyrka,ptm,Rafal.Mrowka,kotulski}@agh.edu.pl Leszek Kotulski, AGH University of Science and Technology, Department of Applied Computer Science, Al. Mickiewicza 30, 30-059 Krakow, Poland. {mszpyrka,ptm,Rafal.Mrowka,kotulski}@agh.edu.pl Journal Fundamenta Informaticae Online ISSN 1875-8681 Print ISSN 0169-2968 Journal Volume Volume 129 Journal Issue Volume 129, Number 1-2 / 2014
Print ISSN:
0169-2968
Digitale ISSN:
1875-8681
Thema:
Informatik
Permalink