Table 4 Related service publication
| Â | 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 |