Detail publikace
Distributed Information System as a System of Asynchronous Concurrent Processes
distribuovaný informační systém, mobilní architektura, pi-kalkulus, verifikace
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.
@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" }