Defines classes, attributes, operations, statemachines, associations, invariants and constraints for a Library management system using USE specification.