Specification and Verification of Reconfigurable Component Based Systems

Speaker: Tom Maibaum

10th May 2006 , 2 pm , 1.18 Claremont Tower

Abstract

The problem of specifying reconfigurable systems in a declarative way is still largely an open one in the software architecture world. Almost all languages for specifying reconfiguration are operational (graph grammars, process algebras, etc) and thus reasoning about reconfiguration must be done in an, often informal, metalanguage. We use temporal logic to specify the behaviours of components and extend the language with a formalisation of connectors. The simplest connector is like an association in OO languages. Using component specifications and connector specifications, we build a coarse grained structural unit called a subsystem, which incorporates reconfiguration operations and their properties. Tom Maibaum McMaster University Department of Computing and Software