Cargo context model

1. Overview

Manages cargo domain operations in the flight recovery scheduling system, including cargo capacity tracking and disruption handling. It is currently a placeholder context reserved for future cargo routing and capacity optimization.

1. Dependent Contexts

1. task (Flight Task)
2. rule (Rule)

---

2. Concepts / Entities

1. Cargo Capacity

The cargo transport capacity of an aircraft, measured by weight or volume.

${\text{capacity}}_a$ : Cargo capacity of aircraft $a$.

${\text{cargo\_task}}_i$ : Whether flight task $i$ is a cargo flight.

---

3. Variables

This context is currently a placeholder; no decision variables are defined yet.

---

4. Predicates

1. Capacity Type

isCargo : Aircraft $a$ has cargo capacity type (AircraftCapacity.Cargo).

---

5. Sets

1. Cargo Flights

$I^C$ : Set of all cargo-type flight tasks, $I^C=\{i\in I\mid \text{isCargo}(i)\}$.

---

6. Intermediate Values

This context is currently a placeholder; no intermediate values are defined yet.

---

7. Assertions

This context is currently a placeholder; no assertions are defined yet.

---

8. Constraints

1. Cargo Capacity Constraint

[CN]: 货物容量约束

Description: The total load of each cargo flight must not exceed the aircraft's cargo capacity.

$$s.t.{\text{cargo\_load}}_i\le {\text{capacity}}_{a(i)},\mathrm{\forall }i\in I^C$$

---

9. Objective Function (if applicable)

This context is currently a placeholder; no independent objective function is defined yet.

---

10. Algorithm References

No algorithm references in this context.

---

11. Ubiquitous Language

Term	Symbol	Definition
Cargo Capacity	capacity	The cargo transport capability of an aircraft
Cargo Flight	$I^C$	A flight task that transports cargo

---

12. Design Decisions

Decision	Alternatives	Rationale	Date
Placeholder cargo context	Direct modeling in task	Follows the bounded-context separation principle and supports future extension	-

---

13. Change Log

Version	Change	Reason
v1	Placeholder implementation	Reserve for cargo domain extension