Detail publikačního výsledku

Towards Verification of Systems of Asynchronous Concurrent Processes

RYCHLÝ, M.

Originální název

Towards Verification of Systems of Asynchronous Concurrent Processes

Anglický název

Towards Verification of Systems of Asynchronous Concurrent Processes

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

Distributed information systems as applications of networkedinformation technology systems create needs for reliable architectureswith emphasis on formal specification, verification and validation. Infact, software confederations and global software systems connect manyconcurrent processes into asynchronous network systems, e.g. viaservice-oriented architecture or multiple agent architecture. Areusable object-oriented software framework for systems of asynchronousconcurrent processes based on the modified asynchronous network modelprovides a framework for implementation of asynchronous distributedsystems and their translation into the process algebra. This paper isabout a formal specification and verification of systems implementedusing the framework by means of the calculus of mobile processes(pi-calculus).

Anglický abstrakt

Distributed information systems as applications of networkedinformation technology systems create needs for reliable architectureswith emphasis on formal specification, verification and validation. Infact, software confederations and global software systems connect manyconcurrent processes into asynchronous network systems, e.g. viaservice-oriented architecture or multiple agent architecture. Areusable object-oriented software framework for systems of asynchronousconcurrent processes based on the modified asynchronous network modelprovides a framework for implementation of asynchronous distributedsystems and their translation into the process algebra. This paper isabout a formal specification and verification of systems implementedusing the framework by means of the calculus of mobile processes(pi-calculus).

Klíčová slova

Asynchronous Network Model, System of Asynchronous Concurrent Processes, pi-Calculus, Formal Specification, Verification, Validation

Klíčová slova v angličtině

Asynchronous Network Model, System of Asynchronous Concurrent Processes, pi-Calculus, Formal Specification, Verification, Validation

Autoři

RYCHLÝ, M.

Vydáno

27.04.2006

Nakladatel

Marq software s.r.o.

Místo

Přerov

ISBN

80-86840-19-0

Kniha

Proceedings of 9th International Conference ISIM'06

Strany od

123

Strany do

130

Strany počet

8

URL

https://www.fit.vut.cz/research/publication/8057/

BibTex

@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",
  publisher="Marq software s.r.o.",
  address="Přerov",
  isbn="80-86840-19-0",
  url="https://www.fit.vut.cz/research/publication/8057/"
}

Dokumenty

prezentace na konferenci ISIM'06 (slídy)
Verifikace systémů asynchronních souběžných procesů