R22 - woven-planet/opensafety-mbse GitHub Wiki

R22 / 1:M

Road Segment has traffic organized by one or many Lane Division

Lane Division organizes traffic for exactly one Road Segment

---

Road traffic always flows in Lanes so there must be at least one Lane (and hence two Lane Divisions) on each Road Segment.

Formalization

Lane.Road segment -> Lane division.Road segment