About: Methods and models for consistency verification of advanced component-based applications     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • GA201/08/0266
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/cep/projekt of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software