RNDr. Marek Rychlý, Ph.D.
| 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, CZ, FIT VUT, 2006, s. 206-213, ISBN 80-214-3287-X | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Distributed Information System as a System of Asynchronous Concurrent Processes |
|---|
| Název (cs): | Distribuovaný informační systém jako systém asynchronních souběžných procesů |
|---|
| 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 |
|---|
| Místo vydání: | Mikulov, CZ |
|---|
| Rok: | 2006 |
|---|
| ISBN: | 80-214-3287-X |
|---|
| Vydavatel: | Fakulta informačních technologií VUT v Brně |
|---|
| Soubory: | |
|---|
|
| | Klíčová slova |
|---|
distribuovaný informační systém, mobilní architektura, pi-kalkulus, verifikace
|
| Anotace |
|---|
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.
|
| BibTeX: |
|---|
@INPROCEEDINGS{
author = {Marek Rychlý 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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8195}
} |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)