http://www.program-transformation.org/Tools/KoalaTools The Koala-tools package is a collection of tools operating on the Koala component definition language as developed by Philips Research. Koala is a component definition language used by Philips consumer electroniccs to model components (as C modules), composition (as C compilation and linking), and variability (as CPP macros and partial evaluation). The Koala component model consists of a component language, which supports definition of: * interfaces (both required and provided) * data types * components * diversity (by means of a diversity interfaces) * component compositions Component compositions consist of collections of components and wires that connect provides and requires interfaces (see picture below). [...]