UniCon

A specification language for the description of packaging and functional issues associated with software components.