About: Component Model with Support of Mobile Architectures     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • 55-62
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
  • 414537
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
  • [6ED20D50EEDA]
http://linked.open...v/mistoKonaniAkce
  • Hradec nad Moravicí
http://linked.open...i/riv/mistoVydani
  • Opava
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
  • Rychlý, Marek
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
  • 978-80-7248-006-7
http://localhost/t...ganizacniJednotka
  • 26230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software