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{BUT22196,
author="Marek {Rychlý}",
title="Towards Verification of Systems of Asynchronous Concurrent Processes",
booktitle="Proceedings of 9th International Conference ISIM'06",
year="2006",
pages="123--130",
address="Přerov",
isbn="80-86840-19-0"
}