Detail publikačního výsledku

Component Model with Support of Mobile Architectures

RYCHLÝ, M.

Originální název

Component Model with Support of Mobile Architectures

Anglický název

Component Model with Support of Mobile Architectures

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Software Architecture, Component-Based Development, ComponentModel, Formal Specification

Klíčová slova v angličtině

Software Architecture, Component-Based Development, ComponentModel, Formal Specification

Autoři

RYCHLÝ, M.

Vydáno

23.04.2007

Nakladatel

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

Místo

Opava

ISBN

978-80-7248-006-7

Kniha

Information Systems and Formal Models

Strany od

55

Strany do

62

Strany počet

8

URL

https://www.fit.vut.cz/research/publication/8312/

BibTex

@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",
  url="https://www.fit.vut.cz/research/publication/8312/"
}

Dokumenty

Komponentový model s podporou mobilních architektur
prezentace na konferenci ISIM'07 (slídy)