Detail publikace
Component Model with Support of Mobile Architectures
softwarová architektura, komponentově orientovaný vývoj, komponentový model, formální specifikace
Vlastnosti současných informačních systémů významně ovlivňují jejich architekturu. Systémy nemohou být realizovány jako monolity, je nutný formální popis chování a rozhraní částí systémů, stejně jako popis interakce těchto částí. Navíc, je nutno řešit mnoho problémů zahrnujících například schopnost klonovat komponenty a přesouvat jejich kopie po síti (mobilita komponent), vznik, zánik a aktualizaci komponent a spojení za běhu systému (dynamická rekonfigurace), kontrola kompatibility komponent atd. V tomto článku je představen komponentový model s podporou mobilních architektur a jeho formální základ. Je zde také uveden aktuální přehled výzkumu a praxe v oblasti formálního komponentově orientovaného vývoje softwarových systémů.
@inproceedings{BUT28588,
author="Marek {Rychlý}",
title="Component Model with Support of Mobile Architectures",
booktitle="Information Systems and Formal Models",
year="2007",
pages="55--62",
publisher="Faculty of Philosophy and Science in Opava, Silesian university in Opava",
address="Opava",
isbn="978-80-7248-006-7"
}