Detail publikačního výsledku

A Component Model with Support of Mobile Architectures and Formal Description

RYCHLÝ, M.

Originální název

A Component Model with Support of Mobile Architectures and Formal Description

Anglický název

A Component Model with Support of Mobile Architectures and Formal Description

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

Common features of current information systems have significant impact on software architectures of these 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' run-time (dynamic reconfiguration), maintaining components' compatibility, etc. In this paper, we present the component model that addresses component mobility including dynamic reconfiguration, allows to combine control and functional interfaces, and separates a component's specification from its implementation. We focus on the formal basis of the component model in detail. 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 these 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' run-time (dynamic reconfiguration), maintaining components' compatibility, etc. In this paper, we present the component model that addresses component mobility including dynamic reconfiguration, allows to combine control and functional interfaces, and separates a component's specification from its implementation. We focus on the formal basis of the component model in detail. 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, Component Model, Formal Specification

Klíčová slova v angličtině

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

Autoři

RYCHLÝ, M.

Rok RIV

2010

Vydáno

12.10.2009

ISSN

1897-7979

Periodikum

e-Informatica Software Engineering Journal

Svazek

3

Číslo

1

Stát

Polská republika

Strany od

9

Strany do

25

Strany počet

17

URL

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

BibTex

@article{BUT49317,
  author="Marek {Rychlý}",
  title="A Component Model with Support of Mobile Architectures and Formal Description",
  journal="e-Informatica Software Engineering Journal",
  year="2009",
  volume="3",
  number="1",
  pages="9--25",
  issn="1897-7979",
  url="https://www.fit.vut.cz/research/publication/9080/"
}

Dokumenty

Komponentový model s podporou mobilních architektur a formálním popisem