Verifikace systémů asynchronních souběžných procesů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66884" target="_blank" >RIV/00216305:26230/06:PU66884 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

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).

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

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

—