DMX Specification Language

entity User {
  id          UUID     @pk @default($computed.uuid)
  email       String   @unique @not_null
  name        String   @not_null
  bio         Text     @nullable
  age         Integer  @check("age >= 0")
  balance     Decimal  @default(0)
  is_active   Boolean  @default(true)
  joined_at   DateTime @default($computed.now)
  metadata    JSON     @nullable
  role        Enum(ADMIN, MEMBER, GUEST) @default(MEMBER)
  location    Point    @nullable
}

service UserService {
  version = "1.0.0"
  port = 8000
  api_prefix = "/api/v1"
  database = "postgresql"

  entity User @audit @soft_delete {
    id       UUID     @pk @default($computed.uuid)
    email    String   @unique @not_null
    name     String   @not_null
    role     Enum(ADMIN, MEMBER) @default(MEMBER)
    is_active Boolean @default(true)
  }

  api REST @entity(User) @paginated {
    POST   "/users"       @status(201)
    GET    "/users"
    GET    "/users/{id}"
    PUT    "/users/{id}"
    DELETE "/users/{id}"  @roles(ADMIN)
  }

  security {
    auth_scheme = "jwt"
    jwt_algorithm = "HS256"
    token_expiry_minutes = 60
    password_hashing = "bcrypt"
    roles = [ADMIN, MEMBER]
  }
}

service OrderService {
  version = "2.0.0"
  port = 8001
  api_prefix = "/api/v1"
  database = "postgresql"

  entity Order @audit @soft_delete @aggregate_root {
    id          UUID     @pk @default($computed.uuid)
    customer_id UUID     @fk(Customer.id) @not_null @indexed
    total       Decimal  @not_null @check("total >= 0")
    currency    String   @default("USD")
    status      Enum(DRAFT, PENDING, PAID, SHIPPED, DELIVERED, CANCELLED) @default(DRAFT)
    notes       Text     @nullable
  }

  entity OrderItem @audit {
    id         UUID    @pk @default($computed.uuid)
    order_id   UUID    @fk(Order.id) @not_null
    product_id UUID    @not_null
    quantity   Integer @not_null @check("quantity > 0")
    unit_price Decimal @not_null
  }

  state_machine OrderStatus {
    initial = DRAFT

    DRAFT -> PENDING       @roles(MEMBER, ADMIN)
    PENDING -> PAID        @guard("payment_confirmed == true")
    PAID -> SHIPPED        @roles(ADMIN)
    SHIPPED -> DELIVERED
    PENDING -> CANCELLED   @roles(MEMBER, ADMIN)
    DRAFT -> CANCELLED
  }

  flow PlaceOrder {
    step validate {
      action = validate
      target = Order
    }
    step create_order {
      action = create
      target = Order
      mapping {
        id = $computed.uuid
        customer_id = $context.user_id
        status = DRAFT
        total = $input.total
        created_at = $computed.now
      }
    }
    step submit {
      action = state_change
      target = Order
      condition = "$result.id != null"
      mapping {
        status = PENDING
      }
    }
  }

  api REST @entity(Order) @paginated {
    POST   "/orders"          @status(201) @triggers(order_created)
    GET    "/orders"
    GET    "/orders/{id}"
    POST   "/orders/{id}/pay" @triggers(order_paid)
  }

  jobs {
    cancel_stale_orders {
      schedule = "0 * * * *"
      timeout = "2m"
      retry { max_attempts = 3, backoff = "exponential" }
    }
  }

  notifications {
    providers {
      email { adapter = "smtp" }
    }
    order_confirmed {
      channels = [email]
      recipient = $instance.customer.email
      template = "order_confirmed"
    }
  }

  errors {
    ORDER_NOT_FOUND   { status = 404, category = "not_found", message = "Order not found" }
    INSUFFICIENT_STOCK { status = 409, category = "conflict", message = "Insufficient stock" }
  }

  security {
    auth_scheme = "jwt"
    jwt_algorithm = "HS256"
    token_expiry_minutes = 60
    roles = [ADMIN, MEMBER]
    rate_limit { policy = "sliding_window", allow = 100, for = "1m" }
  }

  infrastructure {
    docker { compose_version = "3.8", base_image = "python:3.12-slim" }
    redis { broker = true, cache = true }
    celery { concurrency = 4 }
  }
}