SOFA - Software Appliances
Public support
Provider
Academy of Sciences of the Czech Republic
Programme
Grants of distinctly investigative character focused on the sphere of research pursued at present particularly in the Academy of Sciences of the Czech Republic
Call for proposals
—
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
SOFA - Software Appliances
Annotation in Czech
Cílem projektu je navrhnout a prototypově implementovat integrovaný systém podporující elektronické obchodování se softwarovými komponentami prostřednictvím počítačové sítě. Navrhovaná technologie umožní komponenty nejen snáze distribuovat, ale i dynamicky (za běhu) aktualizovat uvnitř běžících aplikací (což je obzvláště důležité pro tzv. real-time systémy). Systém jako takový bude poskytovat podporu pro (externí) služby související se samotným elektronickým obchodováním (jako jsou např. katalogynabídek, reklama, vyhledávání nejlepších nabídek vzhledem k zákazníkovým požadavkům, atd.). Na základě detailní teoretické analýzy bude vlastní výzkum zaměřen zejména na: (a) Rozpracování technik poskytování a aktualizace softwarových komponent (včetně správy verzí komponent, ukládání komponent v databázích, přesouvání komponent mezi uzly v síti, atd.). (b) Vývoj prostředků pro popis softwarových komponent - jejich rozhraní, formální specifikace chování, popis verzí jednotlivých komponent, apod.
Scientific branches
R&D category
—
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
JD - Use of computers, robotics and its application
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
Byl navržen a implementován komponentový systém 30FA s podporou formálního popisu chování komponent pomocí tzv. behavior protokolů, verifikace protokolů a generování konektorů umožňuje ověřovat konzistenci návrhu hierarchických komponent.
Solution timeline
Realization period - beginning
Jan 1, 1999
Realization period - end
Jan 1, 2002
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2003/AV0/AV03IA/U/N/5:3
Data delivery date
Oct 27, 2004
Finance
Total approved costs
2,431 thou. CZK
Public financial support
1,231 thou. CZK
Other public sources
1,200 thou. CZK
Non public and foreign sources
0 thou. CZK