"2015-02-09+01:00"^^ . . . . . "1"^^ . "Methods and models for consistency verification of advanced component-based applications"@en . . "1"^^ . "Component programming has during the recent years taken firm ground, however, new developments and challenges are pushing current component platforms to their limits. The increasing complexity of applications would benefit from more comprehensive component models, service composition approaches need to ensure application consistency through run-time changes in component environment and bindings. The goal of this project is to create advanced component models and methods that would enable buildingcomplex component applications and ensuring their consistency, and to validate their suitability for practical use (using distributed simulation methods and the OSGi platform for reference). Specific aims include the development of hierarchical componentmodels on top of flat component platforms, verification methods based on non-functional and communication specifications with flexibility in correctness evaluation, and enhancements of simulation methods by the use of advanced component models."@en . "V\u0161echny c\u00EDle projektu byly napln\u011Bny po obsahov\u00E9 i form\u00E1ln\u00ED str\u00E1nce, a to zejm\u00E9na na z\u00E1klad\u011B dosa\u017Een\u00ED t\u011Bchto hlavn\u00EDch v\u00FDsledk\u016F identifikace aspekt\u016F a abstrakc\u00ED d\u016Fle\u017Eit\u00FDch pro v\u00FDvoj komponentov\u00FDch aplikac\u00ED jak obecn\u011B, tak zejm\u00E9na vestav\u011Bn\u00FDch metody verifikace chov\u00E1n\u00ED a nahraditelnosti komponent na z\u00E1klad\u011B model\u016F extrahovan\u00FDch ze zdrojov\u00FDch k\u00F3d\u016F a distribu\u010Dn\u00ED podoby komponenty, vyu\u017E\u00EDvaj\u00EDc\u00ED proce"@cs . "0"^^ . " model" . "Komponentov\u00E9 technologie jsou ji\u017E pevnou sou\u010D\u00E1st\u00ED softwarov\u00E9ho in\u017Een\u00FDrstv\u00ED, nicm\u00E9n\u011B ocitaj\u00ED se na hranic\u00EDch mo\u017Enost\u00ED p\u0159i pou\u017Eit\u00ED v nov\u00FDch aplikac\u00EDch. Jejich rostouc\u00ED slo\u017Eitost vy\u017Eaduje komplexn\u011Bj\u0161\u00ED komponentov\u00E9 modely, a v architektur\u00E1ch zalo\u017Een\u00FDch na skl\u00E1d\u00E1n\u00ED slu\u017Eeb je obt\u00ED\u017En\u00E9 zajistit konzistenci aplikace za p\u0159\u00EDtomnosti zm\u011Bn rozhran\u00ED a vazeb komponent za b\u011Bhu. C\u00EDlem tohoto projektu je navrhnout pokro\u010Dil\u00E9 komponentov\u00E9 modely a metody, kter\u00E9 umo\u017En\u00ED tvorbu slo\u017Eit\u00FDch aplikac\u00ED a zaji\u0161t\u011Bn\u00ED jejich konzistence, a ov\u011B\u0159it praktickou pou\u017Eitelnost pomoc\u00ED vhodn\u00FDch aplikac\u00ED (distribuovan\u00E1 simulace, platforma OSGi). Mezi konkr\u00E9tn\u00ED c\u00EDle pat\u0159\u00ED v\u00FDvoj hierarchick\u00E9ho modelu postaven\u00E9ho na jedno\u00FArov\u0148ov\u00E9 z\u00E1kladn\u00ED technologii; n\u00E1vrh metod verifikace vyu\u017E\u00EDvaj\u00EDc\u00EDchspecifikaci mimofunk\u010Dn\u00EDch vlastnost\u00ED, komunika\u010Dn\u00EDch protokol\u016F a pru\u017En\u00E9ho vyhodnocen\u00ED kompatibility; a vytvo\u0159en\u00ED simula\u010Dn\u00ED architektury vyu\u017E\u00EDvaj\u00EDc\u00ED vlastnost\u00ED pokro\u010Dil\u00FDch komponentov\u00FDch model\u016F." . . "2010-04-01+02:00"^^ . . "http://www.isvav.cz/projectDetail.do?rowId=GA201/08/0266"^^ . " simulation" . "2008-01-01+01:00"^^ . . . "GA201/08/0266" . . . "Metody a modely pro ov\u011B\u0159ov\u00E1n\u00ED konzistence aplikac\u00ED zalo\u017Een\u00FDch na pokro\u010Dil\u00FDch komponentov\u00FDch modelech" . . . . . "25"^^ . "25"^^ . . "component" . . . . " verification" . "component; model; verification; simulation; behavior; substitutability"@en . "The goals of the project were attained concerning both the factual and formal aspects. We have achieved the following most significant contributions identification of aspects and abstractions which are key to the development of component applications, both on the general level and specifically for embedded systems methods of component behaviour and substitutability verification using models e"@en . " behavior" . "2010-12-31+01:00"^^ .