This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n13	http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n16	http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n5	http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n21	http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dcterms	http://purl.org/dc/terms/
n2	http://linked.opendata.cz/resource/domain/vavai/projekt/
n20	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n7	http://linked.opendata.cz/resource/domain/vavai/subjekt/
n19	http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n14	http://linked.opendata.cz/ontology/domain/vavai/
n9	http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
n4	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F08%2F0266/
skos	http://www.w3.org/2004/02/skos/core#
rdfs	http://www.w3.org/2000/01/rdf-schema#
n18	http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n17	http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n22	http://linked.opendata.cz/resource/domain/vavai/soutez/
n10	http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdh	http://www.w3.org/2001/XMLSchema#
n3	http://linked.opendata.cz/ontology/domain/vavai/cep/
n11	http://reference.data.gov.uk/id/gregorian-year/
n6	http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item

n2:GA201%2F08%2F0266

rdf:type

n14:Projekt

rdfs:seeAlso

http://www.isvav.cz/projectDetail.do?rowId=GA201/08/0266

dcterms: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. 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ů.

dcterms:title

Methods and models for consistency verification of advanced component-based applications Metody a modely pro ověřování konzistence aplikací založených na pokročilých komponentových modelech

skos:notation

GA201/08/0266

n3:aktivita

n6:GA

n3:celkovaStatniPodpora

n4:celkovaStatniPodpora

n3:celkoveNaklady

n4:celkoveNaklady

n3:datumDodatniDoRIV

2015-02-09+01:00

n3:druhSouteze

n16:VS

n3:duvernostUdaju

n9:S

n3:fazeProjektu

n18:82299301

n3:hlavniObor

n17:JC

n3:hodnoceniProjektu

n21:U

n3:kategorie

n19:ZV

n3:klicovaSlova

component; model; verification; simulation; behavior; substitutability

n3:partnetrHlavni

n7:orjk%3A23520

n3:pocetKoordinujicichPrijemcu

0

n3:pocetPrijemcu

1

n3:pocetSpoluPrijemcu

1

n3:pocetVysledkuRIV

25

n3:pocetZverejnenychVysledkuVRIV

25

n3:posledniUvolneniVMinulemRoce

2010-04-01+02:00

n3:prideleniPodpory

n20:201%2F08%2F0266

n3:sberDatUcastniciPoslednihoRoku

n11:2010

n3:sberDatUdajeProjZameru

n11:2011

n3:soutez

n22:SGA02008GA-ST

n3:statusZobrazovaneFaze

n10:DUU

n3:typPojektu

n13:P

n3:ukonceniReseni

2010-12-31+01:00

n3:vedlejsiObor

n17:IN

n3:zahajeniReseni

2008-01-01+01:00

n3:zhodnoceni+vysledku+projektu+dodavatelem

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 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

n3:zivotniCyklusProjektu

n5:ZBKU

n3:klicoveSlovo

model simulation component verification behavior