[cap-talk] use cases for a multiuser white board and communications system

[John Carlson]

As Alice:
Alice:INBOX_CAP <- Server:CREATE "INBOX" "alice at alice.com"
Alice:INSERT_INBOX_CAP <- Server:FACET Alice:INBOX_CAP "INSERT"
Alice:SELECT_INBOX_CAP <- Server:FACET Alice:INBOX_CAP "SELECT"
Alice:DELETE_INBOX_CAP <- Server:FACET Alice:INBOX_CAP "DELETE"

As Bob:
Bob:INBOX_CAP <- Server:CREATE "INBOX" "bob at bob.com"
Bob:INSERT_INBOX_CAP <- Server:FACET Bob:INBOX_CAP "INSERT"
Bob:SELECT_INBOX_CAP <- Server:FACET Bob:INBOX_CAP "SELECT"
Bob:DELETE_INBOX_CAP <- Server:FACET Bob:INBOX_CAP "DELETE"

As Carol:
Server:ERROR <- Server:CREATE "INBOX" "bob at bob.com"

As Alice:
Alice:REVOKE_INBOX_CAP <- Server:PUBLISH Alice:INSERT_INBOX_CAP  
"bob at bob.com"

As Bob:
Bob:REVOKE_INBOX_CAP <- Server:PUBLISH Bob:INSERT_INBOX_CAP  
"alice at alice.com"
Alice:INSERT_INBOX_CAP <- Server:SELECT Bob:SELECT_INBOX_CAP

As Alice:
Bob:INSERT_INBOX_CAP <- Server:SELECT Alice:SELECT_INBOX_CAP
Alice:WHITEBOARD_CAP <- Server:CREATE "WHITEBOARD"
Alice:INSERT_WHITEBOARD_CAP <- Server:FACET Alice:WHITEBOARD_CAP  
"INSERT"
Alice:SELECT_WHITEBOARD_CAP <- Server:FACET Alice:WHITEBOARD_CAP  
"SELECT"
Alice:UPDATE_WHITEBOARD_CAP <- Server:FACET Alice:WHITEBOARD_CAP  
"UPDATE"
Alice:ERASE_WHITEBOARD_CAP <- Server:FACET Alice:WHITEBOARD_CAP "DELETE"
Alice:boolean <- Server:INSERT Bob:INSERT_INBOX_CAP  
Alice:SELECT_WHITEBOARD_CAP
Alice:NODE_CAP1 <- Server:CREATE "NODE"
<- Server:INSERT Alice:INSERT_WHITEBOARD_CAP Alice:NODE_CAP1 x1 y1 z1
<- Server:UPDATE Alice:UPDATE_WHITEBOARD_CAP Alice:NODE_CAP1 x2 y2 z2
Alice:NODE_CAP2 <- Server:CREATE "NODE"
<- Server:INSERT Alice:INSERT_WHITEBOARD_CAP Alice:NODE_CAP2 x3 y3 z3
Alice:ARC_CAP <- Server:CREATE "ARC"
Alice:DETACH_CAP1<- Server:ATTACH Alice:ARC_CAP Alice_NODE_CAP1
Alice:DETACH_CAP2<- Server:ATTACH Alice:ARC_CAP Alice_NODE_CAP2
Alice:boolean <- Server:INSERT Bob:INSERT_INBOX_CAP Alice:DETACH_CAP1
Alice:boolean <- Server:INSERT Bob:INSERT_INBOX_CAP Alice:DETACH_CAP2
Alice:boolean <- Server:INSERT Bob:INSERT_INBOX_CAP  
Alice:ERASE_WHITEBOARD_CAP

As Bob:
Alice:SELECT_WHITEBOARD_CAP <- Server:SELECT Bob:SELECT_INBOX_CAP
Loop:
         Bob:WHITEBOARD_GUI <- Server:SELECT Alice:SELECT_WHITEBOARD_CAP
                 Alice:NODE_CAP1 <-
                 Alice:NODE_CAP1 <-
                 Alice:NODE_CAP2 <-
                 Alice:ARC_CAP <-
Otherwise:
Alice:DETACH_CAP1 <- Server:SELECT Bob:SELECT_INBOX_CAP
Alice:DETACH_CAP2 <- Server:SELECT Bob:SELECT_INBOX_CAP
Bob:boolean <- Server:DETACH Alice:DETACH_CAP1
Bob:boolean <- Server:DETACH Alice:DETACH_CAP2
Alice:ERASE_WHITEBOARD_CAP <- Server:SELECT Bob:SELECT_INBOX_CAP
Bob:boolean <- Server:DELETE Alice:ERASE_WHITEBOARD_CAP Alice:ARC_CAP
Bob:boolean <- Server:DELETE Alice:ERASE_WHITEBOARD_CAP Alice:NODE_CAP1
Bob:boolean <- Server:DELETE Alice:ERASE_WHITEBOARD_CAP Alice:NODE_CAP2