Formal verification of negotiation protocols for multi-agent manufacturing systems

Wing Lok YEUNG

Research output: Journal PublicationsJournal Article (refereed)peer-review

2 Citations (Scopus)


Formal verification is an important means of tackling behavioural problems such as deadlocks in multi-agent systems. This paper is concerned with the role played by formal verification in the simulation-based performance analysis of multi-agent manufacturing systems. A discrete-event simulation case study is presented to show how varying certain timing parameters of the agent negotiation protocol affects the performance of a multi-agent manufacturing system as well as the chance of getting deadlocks among the software agents. When one tries to determine the optimal values of these timing parameters based on the simulation results, formal verification can help refine the results by confirming whether deadlocks among software agents are indeed possible for particular parameter values. This involves modelling the system's real-time behaviour according to the simulation model and applying the techniques and tools of model checking.
Original languageEnglish
Pages (from-to)3669-3690
Number of pages22
JournalInternational Journal of Production Research
Issue number12
Publication statusPublished - 1 Jan 2011


  • Agent based systems
  • agile manufacturing
  • process planning
  • simulation applications
  • software engineering


Dive into the research topics of 'Formal verification of negotiation protocols for multi-agent manufacturing systems'. Together they form a unique fingerprint.

Cite this