Judy stafford's
Aladdin
that analyzes Rapide specifications.
Aladdin educes related pairs of elements of an architectural
specification, which we call links, and
uses the transitivity of dependence relations to create chains
of these links in order to answer
questions architects find helpful as they design systems.