Szczegóły publikacji
Opis bibliograficzny
Język modelowania Alvis — Alvis modelling language / Marcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-88-5; e-ISBN: 978-83-66727-89-2. — S. 135–144. — Bibliogr. s. 143–144, Streszcz., Abstr.
Autorzy (4)
Słowa kluczowe
Dane bibliometryczne
ID BaDAP | 141408 |
---|---|
Data dodania do BaDAP | 2022-08-30 |
Tekst źródłowy | URL |
DOI | 10.7494/978-83-66727-89-2_8 |
Rok publikacji | 2022 |
Typ publikacji | fragment monografii pokonferencyjnej |
Otwarty dostęp | |
Creative Commons | |
Wydawca | Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie |
Abstract
Alvis is a formal language for modelling concurrent systems including real-time systems. It combines the advantages of high-level programming languages, a graphical language for modelling system structure and the capabilities of formal model verification using model checking techniques. The chapter presents fundamental information on the syntax and semantics of Alvis models, describes tools supporting the use of the Alvis language, and suggests areas of its potential applications.
Streszczenie
Alvis jest formalnym językiem modelowania systemów współbieżnych, w tym systemów czasu rzeczywistego. Łączy w sobie zalety języków programowania wysokiego poziomu, graficzny język modelowania struktury systemu i możliwości formalnej analizy modelu z użyciem technik weryfikacji modelowej. W artykule przedstawiono podstawowe informacje na temat składni i semantyki modeli rozwijanych w tym języku, a także narzędzia wspierające korzystanie z języka Alvis oraz obszary potencjalnych zastosowań.