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)
SharingReplication (Enterprise Architect) here

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 here

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…