What Are Operations Specifications