A family of languages for architecture constraint specification