R75 - woven-planet/opensafety-mbse GitHub Wiki

R75 / 1:Mc

Island Crosswalk Access is located on one Island

Island is the location of zero, one or many Island Crosswalk Access

---

By definition, an Island Crosswalk Access is located and is physically accessible from a single Island.

The same Island might connect to multiple Crosswalks or none at all.

Formalization

Island Crosswalk Access.(Island, Road segment) -> Island.(ID, Road segment)