DIFS Seminar - M. Rychlý: A Component Model with Support of Mobile Architectures and Formal Description

This seminar is organized by the Department of Information Systems at the Faculty of Information Technologies of the Brno University of Technology. It primarily discusses the theoretical and practical aspects of information systems and their use. The seminar takes place at room L116 of the faculty building every Monday 12.15 - 13.15 during the semester.

A selection of previous audio-recorded seminar contributions is available at http://www.fit.vutbr.cz/units/UIFS/events/.

Nov 26, 2007 Schedule

Author: Marek Rychlý
Title: A Component Model with Support of Mobile Architectures and Formal Description
Abstract
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specification of behaviour and interfaces of the systems´ parts are necessary, as well as specification of their interaction. Moreover, the systems have to deal with many problems including the ability to clone components and to move the copies across a network (component mobility), creation, destruction and updating of components and connections during the systems' run-time (dynamic reconfiguration), maintaining components' compatibility, etc. In this presentation, we present the component model that addresses component mobility including dynamic reconfiguration, allows to combine control and functional interfaces, and separates a component's specification from its implementation. We focus on the formal basis of the component model in detail.