Detail výsledku

Formal-based Component Model with Support of Mobile Architecture

RYCHLÝ, M. Formal-based Component Model with Support of Mobile Architecture. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2010, vol. 2, no. 1, p. 13-25. ISSN: 1338-1237.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Rychlý Marek, RNDr., Ph.D., UIFS (FIT)
Abstrakt

In this article, an approach to modelling of component-based systems and formal description of their behaviour is proposed. It is based on a novel component model defined by a metamodel in a logical view and by description in the pi-calculus in a process view. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling of service-oriented architectures is proposed to pass smoothly from service to component level and to describe behaviour of a whole system as a single pi-calculus process. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of the approach.

Klíčová slova

Component-based development, Service-oriented architecture, Component model, Formal specification

URL
Rok
2010
Strany
13–25
Časopis
Information Sciences and Technologies Bulletin of the ACM Slovakia, roč. 2, č. 1, ISSN 1338-1237
BibTeX 
@article{BUT50544,
  author="Marek {Rychlý}",
  title="Formal-based Component Model with Support of Mobile Architecture",
  journal="Information Sciences and Technologies Bulletin of the ACM Slovakia",
  year="2010",
  volume="2",
  number="1",
  pages="13--25",
  issn="1338-1237",
  url="https://www.fit.vut.cz/research/publication/9330/"
}
Soubory
Projekty
Rozpoznávání a prezentace informací z multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, zahájení: 2010-04-01, ukončení: 2010-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