ஒரு மாதிரி மற்றும் ஒரு கொள்கை assertion அல்லது கொள்கை பேச்சுக்களும் தொகுப்பை சேர்க்காததினால், தேவைகள் மற்றும் ஒரு வலை சேவை பொது இனங்களின் அளித்த கட்டமைப்பு. கொள்கை assertion காண்க.