Spécification des composants

Objectif: Découpage de la solution en composants (ou sous-systèmes), affectation des responsabilités aux composants et spécification des interfaces fournies et requises par ces composants
Moyens: Utilisez des diagrammes d’interaction (séquence, communication) pour décrire l’échange de messages entre les composants pour en déduire leurs interfaces.

1. Vue globale des composants

Figure 1. Diagramme de composants décrivant la solution proposée

2. Composant 1 : PlayerServer

Figure 2. Un autre exemple

2.1. Responsabilités du Composant 1

Serveur : PlayerServer

Responsabilités du composant

Gère les connections au serveur et les pseudos
Récupération du pseudo du joueur connecté
Gestion des connexions et déconnexions des joueurs
Vérificaiton que le joueur connecté ne l’est pas plusieurs fois
Pour l’admistrateur : contrôle de l’accès aux joueurs
Mise à jour des informations du joueurs (victoire - perte) -

2.2. Interfaces fournies

2.2.1. Interface A : GameDesk

Listing 1. Contraintes sur joinGame

context A::joinGame(gameID : String, userID : String): Boolean
pre: gameID <> null
     userID <> null
post:
-- Pas de postconditions

Listing 2. Contraintes sur getGameStatus

context A::getGameStatus(gameID : String) : String
pre: gameID <> null
     user.isConnected == true
     user.isPlayed == true
post:
-- Pas de postconditions

Listing 3. Contraintes sur joinGame

context A::joinGame(userID : String) : Boolean
pre: userID <> null
     user.isConnected() == true
     user.isPlayed() == false
post:
-- Pas de postconditions

Listing 4. Contraintes sur joinSpecialGame

context A::joinSpecialGame(userID : String, gameID : STring) : Boolean
pre: userID <> null
     gameID <> null
     user.isConnected() == true
     user.isPlayed() == false
     gameID.isComplete() == false
post:
-- Pas de postconditions

Listing 5. Contraintes sur startRound

context A::startRound(userID : String) : String
pre: userID <> null
     user.isConnected() == true
     user.isPlayed() == false
post:
-- Pas de postconditions