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

Mgr. Barbora Zimmerová, Ph.D.

Advanced ('rigorózní') thesis

Abstract:

With increasing use of component-based and service-oriented principles in practical software development process, new issues demanding application of formal methods in this domain arise. A great number of problems may be identified in a specific domain of component interactions (interconnection logic among components which cooperate together to deliver expected results). Let us name, for instance, the problems of component substitutability, assembly strategies, or component placement in distributed environment. This thesis overvies the area of component-interaction modelling and proposes directions for further research in the area. It discusses our preliminary solutions to the recognized issues, and includes a number of original papers summarizing our results in this research.

Keywords

Component-based systems, component interaction, formal analysis, component substitutability.

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 21. 4. 2008

Obhajoba závěrečné práce

• Obhajoba proběhla 21. 4. 2008

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / odbor:
Informatics / Informatics