Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:Towards Verification of Systems of Asynchronous Concurrent Processes
Název (cs):Verifikace systémů asynchronních souběžných procesů
Strany:123-130
Sborník:Proceedings of 9th International Conference ISIM'06
Konference:Information Systems Implementation and Modelling 2006 (ISIM'06)
Místo vydání:Přerov, CZ
Rok:2006
ISBN:80-86840-19-0
Vydavatel:MARQ
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconpresentation.pdfprezentace na konferenci ISIM'06 (slídy)207 KB2007-04-19 14:38:32
icontowards-verification-of-acp-systems.pdfVerifikace systémů asynchronních souběžných procesů410 KB2007-04-19 14:09:01
^ Vybrat vše
S vybranými:
Klíčová slova
asynchronní síťový model, systém asynchronních souběžných procesů, pi-kalkulus, formální specifikace, verifikace, validace
Anotace
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).
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8057}
}

Vaše IPv4 adresa: 3.87.147.184
Přepnout na https