Publication Details
Towards Verification of Systems of Asynchronous Concurrent Processes
Asynchronous Network Model, System of Asynchronous Concurrent Processes,
pi-Calculus, Formal Specification, Verification, Validation
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).
@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/"
}