Shaobin Huang

A Formal Verification Method of Obligation Policy in Multi-agent System

2015 · International Journal of u- and e- Service Science and Technology

In Multi-Agent System, obligations are actions that agents are required to take or some states of affairs which should be maintained, formal modeling and verifying obligation policy which is high-level requirements specifications or communication protocol …