Publication Details
Distributed Information System as a System of Asynchronous Concurrent Processes
Distributed Information System, Mobile Architecture, pi-Calculus, Verification
Nowadays enterprise information systems are designed as distributed network
systems, where existing information systems and new components are connected
together via a middleware. In most cases, architectures of the systems can be
described informally or semiformally by means of common design tools. But there
are also critical applications where an information system is getting involved,
and a formal architecture specification is necessary. This paper describes
a design of a framework for distributed information systems with a mobile
architecture and an outline of its implementation. The framework provides an
automatic derivation of a formal specification from an implementation of system,
without an explicit formal description in a design phase of project. The derived
specification can be used for a quick formal proof of correctness after radical
changes in an implementation phase, without a maintenance of a formal design.
@inproceedings{BUT22278,
author="Marek {Rychlý} and Jaroslav {Zendulka}",
title="Distributed Information System as a System of Asynchronous Concurrent Processes",
booktitle="MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
year="2006",
pages="206--213",
publisher="Faculty of Information Technology BUT",
address="Mikulov",
isbn="80-214-3287-X",
url="https://www.fit.vut.cz/research/publication/8195/"
}