Component Model with Support of Mobile Architectures

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70786" target="_blank" >RIV/00216305:26230/07:PU70786 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Component Model with Support of Mobile Architectures

Popis výsledku v původním jazyce

Common features of current information systems have significant impact on software architectures of the systems. The systems can not be realised as monoliths, formal specification of behaviour and interfaces of the systems' parts are necessary, as well as specification of their interaction. Moreover, the systems have to deal with many problems including the ability to clone components and to move the copies across a network (component mobility), creation, destruction and updating of components and connections during the systems' runtime (dynamic reconfiguration), maintaining components' compatibility, etc. In this paper, we present the component model with support of mobile architectures and outline its formal basis. We also review the related researchon the current theory and practice of formal component-based development of software systems.

Název v anglickém jazyce

Component Model with Support of Mobile Architectures

Popis výsledku anglicky

Common features of current information systems have significant impact on software architectures of the systems. The systems can not be realised as monoliths, formal specification of behaviour and interfaces of the systems' parts are necessary, as well as specification of their interaction. Moreover, the systems have to deal with many problems including the ability to clone components and to move the copies across a network (component mobility), creation, destruction and updating of components and connections during the systems' runtime (dynamic reconfiguration), maintaining components' compatibility, etc. In this paper, we present the component model with support of mobile architectures and outline its formal basis. We also review the related researchon the current theory and practice of formal component-based development of software systems.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Information Systems and Formal Models

ISBN

978-80-7248-006-7

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

55-62

Název nakladatele

Faculty of Philosophy and Science in Opava, Silesian university in Opava

Místo vydání

Opava

Místo konání akce

Hradec nad Moravicí

Datum konání akce

23. 4. 2007

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—