Documentul definește un pachet pentru gestionarea comenzilor, incluzând mai multe entități și stări asociate comenzilor. Aceste stări includ 'submitted', 'shipped', 'cancelled', și 'returned', fiecare având tranziții specifice. Este utilizat pentru a structura procesul de gestionare a comenzilor într-o aplicație.

4. 






8. 





25. 





31. package com.x.ordermanagement.v2 {
import com.x.ordermanagement.v2.*
import com.x.customer.v1.*
entity Order {
state Submitted[Cancelled, Shipped]
state Shipped[Cancelled, Returned]
state Cancelled
state Returned
}

33. 






34. 





36. 

