Detail publikace

Distributed Information System as a System of Asynchronous Concurrent Processes

RYCHLÝ, M.; ZENDULKA, J. Distributed Information System as a System of Asynchronous Concurrent Processes. In MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006. p. 206-213. ISBN: 80-214-3287-X.
Název česky
Distribuovaný informační systém jako systém asynchronních souběžných procesů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychlý Marek, RNDr., Ph.D. (UIFS)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS)
Klíčová slova

distribuovaný informační systém, mobilní architektura, pi-kalkulus, verifikace

Abstrakt

Současné informační systémy jsou navrhovány jako distribuované síťové systémy, kde jsou pomocí middleware propojeny existující informační systémy a nové komponenty. Ve většině případů mohou být architektury těchto systémů neformálně nebo semi-formálně pomocí běžných nástrojů. Existují však také kritické aplikace, kde se informační systém stává složitým a je nezbytný formální popis architektury. Tento příspěvek popisuje návrh rámce pro distribuované informační systémy s mobilní architekturou a nástin jeho implementace. Rámec poskytuje automatické odvození formální specifikace z implementace systému, bez explicitního formálního popisu v návrhové fázi projektu. Odvozená specifikace může být využita pro rychlou formální kontrolu správnosti systému, po větších změnách ve fázi implementace, bez nutnosti údržby formálního návrhu.

Rok
2006
Strany
206–213
Sborník
MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
80-214-3287-X
Vydavatel
Faculty of Information Technology BUT
Místo
Mikulov
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"
}
Nahoru