Hi all,
the RFC is closed (no vetos). The feature has
 been implemented as proposed in the ticket ("polymorphic"-keyword for structs). See issue 39 for more information. It will be part of Franca 
release 0.8.8.
Regarding issue 19, the transformation Franca->DBus has been adapted to handle polymorphic structs properly: If a struct (or its derived structs) is marked as polymorphic, the representation in D-Bus Introspection format will be "(iv)". I.e., it is represented as an integer tag (typically defined by some enumeration) and the actual data. The data has to be defined as variant type, because by looking at just one interface it cannot be decided which derived struct will be actual be communicated. This change will also be part of Franca release 0.8.8.
Regards,
Klaus