Szczegóły publikacji
Opis bibliograficzny
Alvis Virtual Machine / Piotr MATYASIK // W: FedCSIS [Dokument elektroniczny] : preprints of the Federated Conference on Computer Science and Information Systems : [Warsaw, Poland, 7 - 10 September, 2014] / PTI Polish Information Processing Society. — Wersja do Windows. — Dane tekstowe. — [Piscataway : IEEE], [2014]. — Dysk Flash. — e-ISBN: 978-83-60810-58-3. — S. 1669–1675. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1675, Abstr. — W bazie Web of Science: 2014 Federated Conference on Computer Science and Information Systems (FEDCSIS). — ISBN 978-83-60810-58-3. — S. 1639–1645
Autor
Dane bibliometryczne
| ID BaDAP | 85396 |
|---|---|
| Data dodania do BaDAP | 2014-11-07 |
| DOI | 10.15439/2014F267 |
| Rok publikacji | 2014 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | Federated Conference on Computer Science and Information Systems |
Abstract
Alvis is a formal modelling language. It combines graphical modelling of communication schema and a high level programming language to describe behaviour of individual system entities. An Alvis model can be verified formally by using methods based on a system state space. The paper presents the design and the command list of the Alvis Virtual Machine. The aim of the project is to provide an execution environment for Alvis language. Moreover, one of the goals is to allow different hardware units to run Alvis models. Thus, a virtual machine was chosen as a solution.
