Storage robot case study



Resources
Headlines
Requirements

Un robot de stockage (Storage robot) de capacité maximale capacity stocke un certain nombre (size) de pièces (Part) selon un fonctionnement Last-In, First-Out. Il peut être vide, ni vide-ni plein ou plein. Ni vide-ni plein se décompose en, respectivement, une et une pièce empilée ou plus d'une (sans que ce soit plein). On peut empiler (push) une pièce si non plein ou désempiler (pop) la dernière pièce si non vide.

En mode « ouvert », les consignes +1 et -1 peuvent être envoyées avec effet sur le robot de stockage. En mode « sécurisé », ces consignes envoyées n'ont pas d'effet. La bascule entre les deux modes s'opère par les événements « passer en sécurisé » et « passer en ouvert ».

UML Class Diagram (Enterprise Architect)

Exercise

UML State Machine Diagram (Enterprise Architect)
Sharing ⤳ Replication (Enterprise Architect) ☛

Note: a replication-based project cannot be shared on a server (server-based sharing)

Key action(s)

  1. Settings ⇝ Transfer -Model- ⇝ QEA Replication -Replication- ⇝ Make Design Master
  2. Settings ⇝ Transfer -Model- ⇝ QEA Replication -Replication- ⇝ Create New Replica…
  3. Settings ⇝ Transfer -Model- ⇝ QEA Replication -Replication- ⇝ Synchronize Replicas…
  4. Conflict resolution ☛

Replication-based sharing

Replication ⤳ remove replication (if any)

Replication ⤳ design master

Replication ⤳ B replica (Packaged tray removed…)

Replication ⤳ C replica (note removed… while cardinality moves to 0..1)

Replication ⤳ synchronization: design master + B

Replication ⤳ synchronization: design master + B + C (deletions prevail over modifications ⤳ no conflict)

Exercise

Replication ⤳ synchronization: conflict from exercise

Lessons learned…