in Use case diagrams. Do: (Only capture features to be exposed to users and focus on user goals only). CRUD operations add, read, update, delete etc should not be captured too. Focus on high level objective like manage user profiles Operational contracts format violation, Specifically post condition is neglected. Do: (Identify system operations from the SSDs, Then shortlist subtle or complex system operations, then make contract for them. Don’t forget DM’s relation with Ocs. Post condition must contain Instance created- deleted, Attribute modified, Association formedbroken