search

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Deadline notation isn't quite aligned with UML #43

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

Our deadline notation looks, at the moment, like this (excuse the awful ASCII):

---
 ^
 | 3
 v
---

eg. 'everything between these parts takes up to 3 units'. This would, in the UML2.5 world, be a DurationConstraint (sort-of with two constrainedElements, the first having firstEvent=true and being the top line, the second being firstEvent=false and being the bottom), and the 3 is in the specification feature.

3 here should be a DurationInterval, yet it isn't: it isn't an interval! What is missing is the lower bound, which would be 0 (this part takes between 0 and 3 time units). The correct syntax is:

---
 ^
 | {0..3}
 v
---

There are lots more UML alignment things to do here, but I'll leave them to future issues.

MattWindsor91 commented 3 years ago

Gonna close this because the bit that isn't aligned... doesn't exist yet! (See #4)