Detail publikace

Towards Verification of Systems of Asynchronous Concurrent Processes

RYCHLÝ Marek. Towards Verification of Systems of Asynchronous Concurrent Processes. In: Proceedings of 9th International Conference ISIM'06. Přerov: MARQ, 2006, s. 123-130. ISBN 80-86840-19-0.
Název česky
Verifikace systémů asynchronních souběžných procesů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova

asynchronní síťový model, systém asynchronních souběžných procesů, pi-kalkulus, formální specifikace, verifikace, validace

Abstrakt

Distribuované informační systémy, jako aplikace síťových informačních systémů, vytvářejí potřeby pro spolehlivé architektury s důrazem na formální specifikaci, verifikaci a validaci. Ve skutečnosti spojují softwarové konfederace a globální softwarové systémy mnoho souběžných procesů do asynchronně komunikujících síťových systémů, např. pomocí architektury orientované na služby (SOA) nebo architektury multi-agentních systémů. Znovupoužitelný objektově orientovaný softwarový rámec pro systémy asynchronně souběžných procesů, který vychází z upraveného asynchornního síťového modelu, poskytuje rámec pro implementaci asynchronních distribuovaných systémů a jejich převod do výrazů procesní algebry. Tato práce pojednává o formální specifikaci a verifikaci systémů implementovaných pomocí výše uvedeného rámce prostředky kalkulu mobilních procesů (pi-kalkulu).

Rok
2006
Strany
123-130
Sborník
Proceedings of 9th International Conference ISIM'06
Konference
Information Systems Implementation and Modelling 2006 (ISIM'06), Přerov, CZ
ISBN
80-86840-19-0
Vydavatel
MARQ
Místo
Přerov, CZ
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB8057,
   author = "Marek Rychl\'{y}",
   title = "Towards Verification of Systems of Asynchronous Concurrent Processes",
   pages = "123--130",
   booktitle = "Proceedings of 9th International Conference ISIM'06",
   year = 2006,
   location = "P\v{r}erov, CZ",
   ISBN = "80-86840-19-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8057"
}
Soubory
Nahoru