| Listing 12. Share OCL constraints: detach(s:Service). |
|
context Share::detach(s:Service)
pre consistency: Share::allInstances().services.features-> forAll(f | discovery([f.id](http://f.id/)) .notEmpty()) post: services->excludes(s) |
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.