Detail publikace

Distributed Information System as a System of Asynchronous Concurrent Processes

RYCHLÝ, M. ZENDULKA, J.

Originální název

Distributed Information System as a System of Asynchronous Concurrent Processes

Typ

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

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Distributed Information System, Mobile Architecture, pi-Calculus, Verification

Autoři

RYCHLÝ, M.; ZENDULKA, J.

Rok RIV

2006

Vydáno

27. 10. 2006

Nakladatel

Faculty of Information Technology BUT

Místo

Mikulov

ISBN

80-214-3287-X

Kniha

MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Strany od

206

Strany do

213

Strany počet

8

BibTex

@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"
}