A rule language to capture and model business policy specifications · Study