Analysis on a Business Process Protocol Based on MaSE
Wang Xiao-ping · Jisuanji gongcheng · 2005
With MaSE and the agentTool multiagent development environment is introduced, the request service protocol of a business process on car-repair is modeled and verified. On the platform of JADE, an agent system is created to demonstrate and analyse this protocol.