-
Key: SYSML21-2
-
Status: open
-
Source: posteo.com ( Mr. Matthew Johnson)
-
Summary:
This issue is with v2 Beta 4.
In the following textual notation, vehicle does not have a drives occurrence. Later in the notation, the message sequence references a vehicle.drives feature, which is erroneous.
use case def 'Provide Transportation' { subject vehicle : Vehicle { event occurrence driverEnters [1]; then event occurrence passengerEnters [0..*]; then event occurrence startsDrive [1]; then event occurrence endsDrive [1]; then event occurrence passengerExits [0..*]; then event occurrence driverExits [1]; } actor driver : Person { event occurrence entersVehicle [1]; then event occurrence exitsVehicle [1]; } actor passengers : Person[0..4] { event occurrence entersVehicle [1]; then event occurrence exitsVehicle [1]; } actor environment : Environment { event occurrence vehicleDrives [1]; } objective { doc /* Transport driver and passengers from starting location * to ending location. */ } message of Enter from driver.entersVehicle to vehicle.driverEnters; then message of Enter from passengers.entersVehicle to vehicle.passengerEnters; then message of Drive from vehicle.drives to environment.vehicleDrives; then message of Exit from passengers.exitsVehicle to vehicle.passengerExits; then message of Exit from driver.exitsVehicle to vehicle.driverExits; }
-
Reported: SysML 2.0b2 — Tue, 3 Jun 2025 18:00 GMT
-
Updated: Thu, 11 Sep 2025 22:24 GMT
SYSML21 — Textual notation vehicle.drives references a vehicle feature that doesn't exist
- Key: SYSML21-2
- OMG Task Force: Systems Modeling Language (SysML) 2.1 RTF