Modelling of an automatic call distributor in a multi-site call centre

Authors:
Nikolay Kostadinov
Affiliations:
University of Rousse
Venue:
Proceedings of the 14th International Conference on Computer Systems and Technologies
Year:
2013

Citing 4
Cited 0

Communicating sequential processes

Communicating sequential processes
A simple taxonomy for distributed mutual exclusion algorithms

ACM SIGOPS Operating Systems Review
Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Distributed Systems: Principles and Paradigms (2nd Edition)

Distributed Systems: Principles and Paradigms (2nd Edition)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Automatic Call Distributor (ACD) is responsible for routing calls to a set of call servicing points (workstations). In a multi-site call centre solution eMOSys, the ACDs logic is distributed between nodes. In this paper, we describe a distributed ACD, modelling its behaviour and communication with the other subsystems. A number of properties, such as deadlock freeness, safety and liveness are then verified using the model checker PAT (Process Analysis Toolkit).