| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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)
- Komponentové technologie jsou již pevnou součástí softwarového inženýrství, nicméně ocitají se na hranicích možností při použití v nových aplikacích. Jejich rostoucí složitost vyžaduje komplexnější komponentové modely, a v architekturách založených na skládání služeb je obtížné zajistit konzistenci aplikace za přítomnosti změn rozhraní a vazeb komponent za běhu. Cílem tohoto projektu je navrhnout pokročilé komponentové modely a metody, které umožní tvorbu složitých aplikací a zajištění jejich konzistence, a ověřit praktickou použitelnost pomocí vhodných aplikací (distribuovaná simulace, platforma OSGi). Mezi konkrétní cíle patří vývoj hierarchického modelu postaveného na jednoúrovňové základní technologii; návrh metod verifikace využívajícíchspecifikaci mimofunkčních vlastností, komunikačních protokolů a pružného vyhodnocení kompatibility; a vytvoření simulační architektury využívající vlastností pokročilých komponentových modelů.
|
| Title
| - Methods and models for consistency verification of advanced component-based applications (en)
- Metody a modely pro ověřování konzistence aplikací založených na pokročilých komponentových modelech
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - component; model; verification; simulation; behavior; substitutability (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open.../cep/vedlejsiObor
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - 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)
- Všechny cíle projektu byly naplněny po obsahové i formální stránce, a to zejména na základě dosažení těchto hlavních výsledků identifikace aspektů a abstrakcí důležitých pro vývoj komponentových aplikací jak obecně, tak zejména vestavěných metody verifikace chování a nahraditelnosti komponent na základě modelů extrahovaných ze zdrojových kódů a distribuční podoby komponenty, využívající proce (cs)
|
| http://linked.open...tniCyklusProjektu
| |
| http://linked.open.../cep/klicoveSlovo
| - component
- behavior
- model
- simulation
- verification
|
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)