|
|
Formal-based Component Model with Support of Mobile Architecture
Rychlý, Marek
Disertační práce se zabývá modelováním komponentových systémů a formálním popisem 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 práce je navržené řešení ověřeno na případové studii prostředí pro testování kritických aplikací. Přínosem disertační práce je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.
|
|
|
Dynamic Software Architectures for Resilient Distributed Systems
Keznikl, Jaroslav ; Bureš, Tomáš (vedoucí práce) ; Becker, Steffen (oponent) ; Loreti, Michele (oponent)
Resilientní Distribuované Systémy (RDS) jsou ty rozsáhlé distribuované systémy, které fungují spolehlivě navzdory svému značně dynamickému, otevřenému a z principu nepředvídatelnému prostředí. Takováto kombinace systémových vlastností a vlastností prostředí však velmi ztěžuje vývoj softwarových architektur pomocí dnes dostupných softwarových modelů a abstrakcí. Proto se tato dizertační práce snaží přinést: (1) nové abstrakce, které jsou speciálně uzpůsobeny potřebám dynamických softwarových architektur RDS, (2) softwarové modely a procesy, které usnadňují použití těchto abstrakcí během vývoje, a (3) prostředky pro efektivní implementaci, provoz i analýzu softwarových architektur postavených na těchto abstrakcích. Tato práce řeší bod (1) zavedením komponentového modelu DEECo, jenž je založen na konceptu ensemblů komponent. Práce dále přispívá k (2) představením metody Invariant Refinement Method, která zajišťuje spolehlivý formalizovaný vývoj softwarových architektur postavených na DEECo, a uvedením metody ARCAS, která se soustředí na spolehlivou realizaci dynamických spojení komponent, typických pro DEECo. Práce se věnuje (3) prostřednictvím formalizace operační sémantiky komponentového modelu DEECo a projekcí této sémantiky do jazyka Java formou prototypu běhového prostředí - jDEECo. Tato sémantika je dále...
|
|
|
Reification of the DEECo component model and its application in virtual-world simulations
Forch, Jan ; Bureš, Tomáš (vedoucí práce) ; Gemrot, Jakub (oponent)
V oblasti dynamicky vyvijejících se distribuovaných systémů složených z autonomních a adaptivních komponent je úkol systematického zpracovávání návrhu složitosti komunikace a kompozice kritickým bodem. To pramení z dynamické povahy takových systémů, kde komponenty a jejich spojování mohou vznikat a zanikat bez varování. Jednou z cest, jak reagovat na tuto výzvu, je zkoumaný model komponentového systému (pojmenovaný DEECo) [15], pro který je charakteristická funkcionalita separace zájmů skrze dynamické implicitní spojování komponent a jejich komunikaci. Cílem této práce je realizace DEECo konceptů a paradigmat v prostředí Javy a napojení na aplikaci simulace virtuálního světa. Jako taková by práce měla sloužit jako platforma k experimentování s aplikacemi založenými na DEECo.
|
|
|
Formal-based Component Model with Support of Mobile Architecture
Rychlý, Marek
Disertační práce se zabývá modelováním komponentových systémů a formálním popisem 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 práce je navržené řešení ověřeno na případové studii prostředí pro testování kritických aplikací. Přínosem disertační práce je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.
|
host ::
RSS.