トランザクションショリプロトコルキカイ
Composed of
transaction processing
Protocol Machine; PM