Backbone is an interpreter for an ADL. The ADL is based on the UML2.0 component model.
One of Backbone's most interesting features is a module-like construct called a Stratum. Changes to an underlying system can be expressed using Stratum, and work is underway to allow conflicts between independent stratum to be detected using structural well-formedness rules and behavioural specifications.
These details are provided for information only. No information here is legal advice and should not be used as such.