Η αφηρημένη τύπος μια εφαρμογή διακομιστή, η οποία καθορίζει τα κοινά χαρακτηριστικά μιας κατηγορίας λογική εφαρμογή διακομιστές, συμπεριλαμβανομένου του συνόλου υποστηρίζεται αφηρημένη απόληξη ορισμοί.