Detail publikace

Modelling of Component-Based Systems with Mobile Architecture

RYCHLÝ, M.; ZENDULKA, J. Modelling of Component-Based Systems with Mobile Architecture. Brno: Faculty of Information Technology BUT, 2010. 139 p. ISBN: 978-80-214-4211-5.
Název česky
Modelování komponentových systémů s mobilní architekturou
Typ
kniha odborná
Jazyk
anglicky
Autoři
Rychlý Marek, RNDr., Ph.D. (UIFS)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS)
Klíčová slova

softwarová architektura, vývoj systémů založený na komponentách, komponentový systém, architektura orientovaná na služby, komponentový model, formální specifikace

Abstrakt

Kniha pojednává o modelování komponentových systémů a formálním popisu jejich chování. Řešení je založeno na vlastním komponentovém modelu, který je popsán meta-modelem, z logického pohledu, a popisem v pi-kalkulu, z procesního pohledu. Je ukázáno, že komponentový model pokrývá dynamické aspekty softwarových architektur včetně mobility jejich komponent. Dále je popsán způsob modelování chování v architekturách orientovaných na služby a přechod ke komponentovým systémům. Chování konkrétní architektury orientované na služby lze pak vyjádřit jako jediný proces v pi-kalkulu. V závěru knihy je navržené řešení ověřeno na případové studii prostředí pro testování kritických aplikací. Přínosem prezentovaného řešení je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.

Rok
2010
Strany
139
ISBN
978-80-214-4211-5
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@book{BUT62012,
  author="Marek {Rychlý} and Jaroslav {Zendulka}",
  title="Modelling of Component-Based Systems with Mobile Architecture",
  year="2010",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  pages="139",
  isbn="978-80-214-4211-5",
  url="https://www.fit.vut.cz/research/publication/9466/"
}
Nahoru