Detail publikace

Distributed Information System as a System of Asynchronous Concurrent Processes

RYCHLÝ Marek a ZENDULKA Jaroslav. 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: Fakulta informačních technologií VUT v Brně, 2006, s. 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
angličtina
Autoři
Rychlý Marek, RNDr., Ph.D. (UIFS FIT VUT)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS FIT VUT)
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
Konference
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06, Mikulov, CZ
ISBN
80-214-3287-X
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Mikulov, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8195,
   author = "Marek Rychl\'{y} and Jaroslav Zendulka",
   title = "Distributed Information System as a System of Asynchronous Concurrent Processes",
   pages = "206--213",
   booktitle = "MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2006,
   location = "Mikulov, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "80-214-3287-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8195"
}
Soubory
Nahoru