Formal Analysis of Component-Based Systems in View of Comp. Interactions

ZIMMEROVÁ, Barbora. Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany: GITO-Verlag. p. 34-36. ISBN 3-936771-87-1. 2006.

Basic information

• Original name: Formal Analysis of Component-Based Systems in View of Comp. Interactions
• Name in Czech: Formální analýza komponentových systému s ohledem na interakci mezi komponentami
• Authors: ZIMMEROVÁ, Barbora (203 Czech Republic, guarantor, belonging to the institution).
• Edition: Berlin, Germany, Proceedings of the International Research Training Groups Workshop 2006, p. 34-36, 3 pp. 2006.
• Publisher: GITO-Verlag

Other information

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Germany
• Confidentiality degree: is not subject to a state or trade secret
• RIV identification code: RIV/00216224:14330/06:00015552
• Organization unit: Faculty of Informatics
• ISBN: 3-936771-87-1
• Keywords in English: component-based systems; formal analysis; component interaction
• Tags: component interaction, Component-based systems, formal analysis
• Tags: International impact, Reviewed

Abstract

The work focuses on three analytical issues in current component-based software engineering. These are the reconfiguration correctness, assembly strategies, and component placement in distributed environment.

Abstract (in Czech)

Práce se zaměřuje na diskuzi tří problémů aktuálně řešených v komponentovém softwarovém inženýrství. Jsou jimi rekonfigurační korektnost, strategie pro skládání komponent, a rozložení komponent na výpočetní uzly v distribuovaném prostředí.

Links

• GD102/05/H050, research and development project: Name: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů

Investor: Czech Science Foundation, Integrated approach to education of PhD students in the area of parallel and distributed systems

• MSM0021622419, plan (intention): Name: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems

• 1ET400300504, research and development project: Name: Realistická aplikace formálních metod v komponentových systémech

Investor: Academy of Sciences of the Czech Republic, Realistic application of formal methods in component systems