Contratti delle operazioni (UC1) - MattiaCiolli/Remote-devices-control GitHub Wiki

CO1: GetAllDevices

Operazione GetAllDevices()

Riferimenti caso d'uso: Richiedi info

Precondizioni

  • L'addetto ha effettuato il login

Postcondizioni

  • I device sono stati inseriti in una lista

CO2: GetDeviceFunctions

Operazione GetDeviceFunctions()

Riferimenti caso d'uso: Richiedi info

Precondizioni

  • L'addetto ha effettuato il login
  • E' stato selezionato un device

Postcondizioni

  • Le funzioni del device selezionato sono state inserite in una lista

CO3: RequestDeviceInfos

Operazione RequestDeviceInfos()

Riferimenti caso d'uso: Richiedi info

Precondizioni

  • L'addetto ha effettuato il login
  • E' stato selezionato un device
  • Sono state selezionate una o più funzioni di quel device

Postcondizioni

  • Le informazioni fornite dalle funzioni selezionate sono state visualizzate