TY - JOUR
T1 - Formal modelling and verification of a multi-agent negotiation approach for airline operations control
AU - Bouarfa, Soufiane
AU - Aydoğan, Reyhan
AU - Sharpanskykh, Alexei
PY - 2021
Y1 - 2021
N2 - This paper proposes and evaluates a new airline disruption management strategy using multi-agent system modelling, simulation, and verification. This new strategy is based on a multi-agent negotiation protocol and is compared with three airline strategies based on established industry practices. The application concerns Airline Operations Control whose core functionality is disruption management. To evaluate the new strategy, a rule-based multi-agent system model of the AOC and crew processes has been developed. This model is used to assess the effects of multi-agent negotiation on airline performance in the context of a challenging disruption scenario. For the specific scenario considered, the multi-agent negotiation strategy outperforms the established strategies when the agents involved in the negotiation are experts. Another important contribution is that the paper presents a logic-based ontology used for formal modelling and analysis of AOC workflows.
AB - This paper proposes and evaluates a new airline disruption management strategy using multi-agent system modelling, simulation, and verification. This new strategy is based on a multi-agent negotiation protocol and is compared with three airline strategies based on established industry practices. The application concerns Airline Operations Control whose core functionality is disruption management. To evaluate the new strategy, a rule-based multi-agent system model of the AOC and crew processes has been developed. This model is used to assess the effects of multi-agent negotiation on airline performance in the context of a challenging disruption scenario. For the specific scenario considered, the multi-agent negotiation strategy outperforms the established strategies when the agents involved in the negotiation are experts. Another important contribution is that the paper presents a logic-based ontology used for formal modelling and analysis of AOC workflows.
KW - Airline operations control
KW - Formal modelling
KW - Model checking
KW - Multi-agent negotiation
KW - Rule-based modelling
KW - Workflow modelling
UR - http://www.scopus.com/inward/record.url?scp=85101023434&partnerID=8YFLogxK
U2 - 10.1007/s40860-020-00123-0
DO - 10.1007/s40860-020-00123-0
M3 - Article
AN - SCOPUS:85101023434
SN - 2199-4668
VL - 7
SP - 279
EP - 298
JO - Journal of Reliable Intelligent Environments
JF - Journal of Reliable Intelligent Environments
IS - 4
ER -