Attributes | Values |
---|
rdf:type
| |
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 research on the current theory and practice of formal component-based development of software systems.
- 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 research on the current theory and practice of formal component-based development of software systems. (en)
- 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ů. (cs)
|
Title
| - Component Model with Support of Mobile Architectures
- Component Model with Support of Mobile Architectures (en)
- Component Model with Support of Mobile Architectures (cs)
|
skos:prefLabel
| - Component Model with Support of Mobile Architectures
- Component Model with Support of Mobile Architectures (en)
- Component Model with Support of Mobile Architectures (cs)
|
skos:notation
| - RIV/00216305:26230/07:PU70786!RIV08-MSM-26230___
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA102/05/0723), Z(MSM0021630528)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/07:PU70786
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Software Architecture, Component-Based Development, Component Model, Formal Specification (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Information Systems and Formal Models
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Slezská univerzita v Opavě. Filozoficko-přírodovědecká fakulta
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |