Detail publikace
Towards Verification of Systems of Asynchronous Concurrent Processes
asynchronní síťový model, systém asynchronních souběžných procesů, pi-kalkulus, formální specifikace, verifikace, validace
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).
@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" }