Component Model with Support of Mobile Architectures

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Component Model with Support of Mobile Architectures

Original language description

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.

Czech name

Component Model with Support of Mobile Architectures

Czech description

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ů.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: A Framework for Formal Specifications and Prototyping of Information System's Network Applications</a><br>

Continuities

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

Publication year

2007

Confidentiality

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

Article name in the collection

Information Systems and Formal Models

ISBN

978-80-7248-006-7

ISSN

—

e-ISSN

—

Number of pages

8

Pages from-to

55-62

Publisher name

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

Place of publication

Opava

Event location

Hradec nad Moravicí

Event date

Apr 23, 2007

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—