plugins/org.eclipse.epsilon.flexmi/models/messaging.emf

x@namespace(uri="http://messaging", prefix="")
package messaging;

class System {
  val User[*] users;
}

class User {
  id attr String name;
  val Mailbox mailbox;
}

class Mailbox {
  attr int quota;
  val Message[*] incoming;
  val Message[*] outgoing;
}

class Message {
  attr String subject;
  attr String body;
  ref User from;
  ref User[*] to;
}