cba_appraise.md

Copland Source

*client:
  @bank attest bank sys
        -> @appraiser appraise appraiser bank +<+ !

Abstract Syntax Tree

AST n0 attest bank sys n1 appraise appraiser bank n2 ! n3 +<+ n3->n1 n3->n2 n4 @appraiser n4->n3 n5 -> n5->n0 n5->n4 n6 @bank n6->n5

Events and Evidence

Copland cluster_appraiser appraiser cluster_bank bank cluster_client client n17 s(m(msp(appraise, appraiser, bank), appraiser, m(msp(attest, bank, sys), bank, mt)),  g(m(msp(attest, bank, sys), bank, mt), appraiser)) n18 client: rpy(bank) n17->n18 n19 s(m(msp(appraise, appraiser, bank), appraiser, m(msp(attest, bank, sys), bank, mt)),  g(m(msp(attest, bank, sys), bank, mt), appraiser)) n18->n19 n15 s(m(msp(appraise, appraiser, bank), appraiser, m(msp(attest, bank, sys), bank, mt)),  g(m(msp(attest, bank, sys), bank, mt), appraiser)) n16 bank: rpy(appraiser) n15->n16 n16->n17 n5 bank: req(appraiser) n5->n16 n6 m(msp(attest, bank, sys), bank, mt) n5->n6 n7 appraiser: +<+ split n6->n7 n1 client: req(bank) n1->n18 n2 mt n1->n2 n3 bank: msp(attest, bank, sys) n2->n3 n14 appraiser: join n14->n15 n13 g(m(msp(attest, bank, sys), bank, mt), appraiser) n13->n14 n10 m(msp(appraise, appraiser, bank), appraiser, m(msp(attest, bank, sys), bank, mt)) n10->n14 n9 appraiser: msp(appraise, appraiser, bank) n9->n10 n12 appraiser: sig n9->n12 n12->n13 n11 m(msp(attest, bank, sys), bank, mt) n11->n12 n7->n11 n8 m(msp(attest, bank, sys), bank, mt) n7->n8 n8->n9 n4 m(msp(attest, bank, sys), bank, mt) n4->n5 n3->n4 n0 mt n0->n1