Operation void endSession (), in Class Session

Documentation
Allows for a controlled disconnect between parties. All resources allocated for the session are deleted by operation.
Operation Exceptions:
None

Protocol |  | Qualification |
Exceptions |  | Size |
Time |  | Concurrency | Sequential
Export Control | PublicAccess |  |

Preconditions
Session between EMS and NMS has been established.
Postconditions
1. The NMS has released all resources associated with the EMS.
2. The EMS has released all resources associated with the NMS.
3. The NMS process is no longer communicating with the EMS.
Semantics