DIFS Seminar - M. Rychlý: Formal Semantics of Component-Oriented Systems

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/.

Mar 12, 2007 Schedule

Authors: Marek Rychlý
Title: Formal Semantics of Component-Oriented Systems
Abstract
Common features of current information systems have significant impact on software architectures of the systems. The architecture has to conform with size and structure of an organisation and its well-established processes and systems, interfaces of third-party systems, technical and financial constraints, security politics, marketing decisions, etc. It is convenient to decompose such a system to components, where each provides only a part of the system's functionality via precisely described interfaces. In the seminar, we will briefly introduce component models with formal semantics, which allow formal descriptions and verification of extensive component-oriented systems' architectures. In the first part of the seminar, we will focus on the current component models, features of mobile and dynamic architectures, a relation between component-oriented architectures and service-oriented architectures. The second part of the seminar will be devoted to ongoing research on the component model with support of mobile architectures and formal semantics.