Detail výsledku

Component Model with Support of Mobile Architectures

RYCHLÝ, M. Component Model with Support of Mobile Architectures. In Information Systems and Formal Models. Opava: Faculty of Philosophy and Science in Opava, Silesian university in Opava, 2007. p. 55-62. ISBN: 978-80-7248-006-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychlý Marek, RNDr., Ph.D., UIFS (FIT)
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

URL
Rok
2007
Strany
55–62
Sborník
Information Systems and Formal Models
Konference
10th International conference on Information System Implementation and Modeling ISIM'07
ISBN
978-80-7248-006-7
Vydavatel
Faculty of Philosophy and Science in Opava, Silesian university in Opava
Místo
Opava
EID Scopus
2-s2.0-55849089132
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/"
}
Soubory
Projekty
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru