Verifikace systémů asynchronních souběžných procesů
Popis výsledku
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).
Klíčová slova
Asynchronous Network ModelSystem of Asynchronous Concurrent Processespi-CalculusFormal SpecificationVerificationValidation
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Towards Verification of Systems of Asynchronous Concurrent Processes
Popis výsledku v původním jazyce
Distributed information systems as applications of networked information technology systems create needs for reliable architectures with emphasis on formal specification, verification and validation. In fact, software confederations and global software systems connect many concurrent processes into asynchronous network systems, e.g. via service-oriented architecture or multiple agent architecture. A reusable object-oriented software framework for systems of asynchronous concurrent processes based on themodified asynchronous network model provides a framework for implementation of asynchronous distributed systems and their translation into the process algebra. This paper is about a formal specification and verification of systems implemented using theframework by means of the calculus of mobile processes (pi-calculus).
Název v anglickém jazyce
Towards Verification of Systems of Asynchronous Concurrent Processes
Popis výsledku anglicky
Distributed information systems as applications of networked information technology systems create needs for reliable architectures with emphasis on formal specification, verification and validation. In fact, software confederations and global software systems connect many concurrent processes into asynchronous network systems, e.g. via service-oriented architecture or multiple agent architecture. A reusable object-oriented software framework for systems of asynchronous concurrent processes based on themodified asynchronous network model provides a framework for implementation of asynchronous distributed systems and their translation into the process algebra. This paper is about a formal specification and verification of systems implemented using theframework by means of the calculus of mobile processes (pi-calculus).
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
GA102/05/0723: Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2006
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 9th International Conference ISIM'06
ISBN
80-86840-19-0
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
123-130
Název nakladatele
NEUVEDEN
Místo vydání
Přerov
Místo konání akce
Přerov
Datum konání akce
25. 4. 2006
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—
Základní informace
Druh výsledku
D - Stať ve sborníku
CEP
JC - Počítačový hardware a software
Rok uplatnění
2006