| Functional | Nonfunctional | Legal | Context | Formal | Verification | Tool |
---|---|---|---|---|---|---|---|
 |  | and trust | rules |  |  | support | support |
UML-based | YES | SOME | SOME | NO | NO | NO | YES |
SRML | YES | NO | SOME | NO | YES | YES | YES |
SOADL | YES | SOME | NO | NO | YES | YES | YES |
SOFM | YES | SOME | NO | NO | YES | YES | NO |
WSDL | YES | NO | NO | NO | NO | NO | YES |
OWL-S WSMO | YES | SOME | NO | NO | NO | NO | YES |