A purpose-based synchronisation protocol of multiple transactions in multi-agent systems

摘要

Multiple agents cooperate with each other through manipulating objects. A transaction is a unit of work issued by an agent. A transaction is assigned with a purpose which is a subfamily of roles granted to the agent. Even if transactions issue methods according to the purposes, illegal information flow might occur. We define legal, independent, illegal, and possibly illegal information flow relations among purposes. We discussed the purpose-based marking protocol to prevent illegal information flow. Then, we discussed the releasing mechanism of purpose marks to improve the throughput. Finally, we evaluated the Purpose-based Marking and Releasing (PMR) protocol.