akwizgran created page: ForumApp

akwizgran
2015-04-14 10:02:13 +00:00
parent 7193f66c1d
commit 1f8fbbc7a6

@@ -11,20 +11,19 @@ MessagingApp has a single channel with the following random identifier:
**1: ATTACHMENT** - The content is raw data. **1: ATTACHMENT** - The content is raw data.
### Validation ### Validity policy
* A PRIVATE_MESSAGE is valid if it is well-formed. * A private message is valid if it is well-formed.
* An ATTACHMENT is valid if it is referenced by a valid PRIVATE_MESSAGE. * An attachment is always valid.
Note that a PRIVATE_MESSAGE can be validated before its attachments have been received. Note that a private message can be validated before its attachments have been received, and an attachment can be validated before it has been completely received.
### Storage policy ### Storage policy
* All valid local messages are stored. * All local messages are stored.
* All valid remote messages are stored. * All remote messages are stored.
* An ATTACHMENT that is not referenced by a valid PRIVATE_MESSAGE may be garbage-collected.
### Sharing policy ### Sharing policy
* A valid local message is shared with one remote device. * Each local message is shared with one remote device.
* Remote messages are not shared with other remote devices. * Remote messages are not shared with other remote devices.