Publication Details

Towards Verification of Systems of Asynchronous Concurrent Processes

RYCHLÝ, M. Towards Verification of Systems of Asynchronous Concurrent Processes. In Proceedings of 9th International Conference ISIM'06. Přerov: 2006. p. 123-130. ISBN: 80-86840-19-0.
Czech title
Verifikace systémů asynchronních souběžných procesů
Type
conference paper
Language
English
Authors
Rychlý Marek, RNDr., Ph.D. (DIFS)
Keywords

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

Abstract

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

Published
2006
Pages
123–130
Proceedings
Proceedings of 9th International Conference ISIM'06
Conference
Information Systems Implementation and Modelling 2006 (ISIM'06), Přerov, CZ
ISBN
80-86840-19-0
Place
Přerov
EID Scopus
2-s2.0-84883760304
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/"
}
Files
Back to top