Detail publikace

Towards Verification of Systems of Asynchronous Concurrent Processes

RYCHLÝ, M.

Originální název

Towards Verification of Systems of Asynchronous Concurrent Processes

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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 the modified 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 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

Autoři

RYCHLÝ, M.

Rok RIV

2006

Vydáno

27. 4. 2006

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

Dokumenty

presentation.pdf
towards-verification-of-acp-systems.pdf