dc.contributor.advisor | Bureš, Tomáš | |
dc.creator | Keznikl, Jaroslav | |
dc.date.accessioned | 2018-11-30T13:28:13Z | |
dc.date.available | 2018-11-30T13:28:13Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/63196 | |
dc.description.abstract | Resilient Distributed Systems (RDS) are large-scale distributed systems that remain de-pendable despite their very dynamic, open-ended, and inherently unpredictable environ-ments. This combination of system and environment properties makes development of soft-ware architectures for RDS using contemporary architecture models and abstractions very challenging. Therefore, the thesis proposes: (1) new architecture abstractions that are tailored for building dynamic software architectures for RDS, (2) design models and processes that endorse these abstractions at design time, and (3) means for efficient implementation, execu-tion, and analysis of architectures based on these abstractions. Specifically, the thesis delivers (1) by introducing the DEECo component model, based on the concept of component ensembles. Contributing to (2), the thesis presents the Invari-ant Refinement Method, governing dependable, formally-grounded design of DEECo-based architectures, and the ARCAS method, focusing on dependable realization of open-ended dynamic component bindings typical for DEECo. Furthermore, it pursues (3) by presenting a formal operational semantics of DEECo and its mapping to Java in terms of an execution environment prototype - jDEECo. Additionally, the semantics is used as a basis for formal analysis via model... | en_US |
dc.description.abstract | 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... | cs_CZ |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
dc.subject | Software architecture | en_US |
dc.subject | Adaptation | en_US |
dc.subject | Component model | en_US |
dc.subject | Formal semantics | en_US |
dc.subject | Softwarová architektura | cs_CZ |
dc.subject | Adaptace | cs_CZ |
dc.subject | Komponentový model | cs_CZ |
dc.subject | Formální sémantika | cs_CZ |
dc.title | Dynamic Software Architectures for Resilient Distributed Systems | en_US |
dc.type | dizertační práce | cs_CZ |
dcterms.created | 2014 | |
dcterms.dateAccepted | 2014-09-17 | |
dc.description.department | Katedra distribuovaných a spolehlivých systémů | cs_CZ |
dc.description.department | Department of Distributed and Dependable Systems | en_US |
dc.description.faculty | Faculty of Mathematics and Physics | en_US |
dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
dc.identifier.repId | 85388 | |
dc.title.translated | Dynamické Softwarové Architektury pro Resilientní Distribuované Systémy | cs_CZ |
dc.contributor.referee | Becker, Steffen | |
dc.contributor.referee | Loreti, Michele | |
dc.identifier.aleph | 001864196 | |
thesis.degree.name | Ph.D. | |
thesis.degree.level | doktorské | cs_CZ |
thesis.degree.discipline | Softwarové systémy | cs_CZ |
thesis.degree.discipline | Software Systems | en_US |
thesis.degree.program | Informatics | en_US |
thesis.degree.program | Informatika | cs_CZ |
uk.thesis.type | dizertační práce | cs_CZ |
uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra distribuovaných a spolehlivých systémů | cs_CZ |
uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Distributed and Dependable Systems | en_US |
uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
uk.faculty-abbr.cs | MFF | cs_CZ |
uk.degree-discipline.cs | Softwarové systémy | cs_CZ |
uk.degree-discipline.en | Software Systems | en_US |
uk.degree-program.cs | Informatika | cs_CZ |
uk.degree-program.en | Informatics | en_US |
thesis.grade.cs | Prospěl/a | cs_CZ |
thesis.grade.en | Pass | en_US |
uk.abstract.cs | 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... | cs_CZ |
uk.abstract.en | Resilient Distributed Systems (RDS) are large-scale distributed systems that remain de-pendable despite their very dynamic, open-ended, and inherently unpredictable environ-ments. This combination of system and environment properties makes development of soft-ware architectures for RDS using contemporary architecture models and abstractions very challenging. Therefore, the thesis proposes: (1) new architecture abstractions that are tailored for building dynamic software architectures for RDS, (2) design models and processes that endorse these abstractions at design time, and (3) means for efficient implementation, execu-tion, and analysis of architectures based on these abstractions. Specifically, the thesis delivers (1) by introducing the DEECo component model, based on the concept of component ensembles. Contributing to (2), the thesis presents the Invari-ant Refinement Method, governing dependable, formally-grounded design of DEECo-based architectures, and the ARCAS method, focusing on dependable realization of open-ended dynamic component bindings typical for DEECo. Furthermore, it pursues (3) by presenting a formal operational semantics of DEECo and its mapping to Java in terms of an execution environment prototype - jDEECo. Additionally, the semantics is used as a basis for formal analysis via model... | en_US |
uk.file-availability | V | |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra distribuovaných a spolehlivých systémů | cs_CZ |
thesis.grade.code | P | |
dc.identifier.lisID | 990018641960106986 | |