u-kan
commented
6 years ago 自分の興味との一致性
前提：個人の信頼が読み取り可能なデータベース化されてる社会
what is interest
- 分散型ノードの様な、choreographyな状態の時に、どのようにして実行環境の検証を行うかどうかに関する論文。
- 中央機関のないブロックチェーン上に保存されていくデータをもってして、どのように検証機能を導入するかに関する論文
words
- runtime -> 実行時（実行）
- choreography
In choreographies, control over a process instance is shared between independent parties, and no party has full control or knowledge during process runtime
Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain
Journals
Authors