search

UoY-RoboStar / robocert-textual

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

Add or capture opt blocks #46

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 3 years ago

UML has the concept of opt combined fragments, which are semantically equivalent to alt combined fragments (#14) with only one non-empty operand. I suspect that the two can be given the same metamodel and textual syntax, but possibly distinguished in the graphical syntax.

One issue might be when we add probability/nondeterminism: PTPSC only has an equivalent of opt with probabilities, not alt, and it might be that there's a good reason for this.

MattWindsor91 commented 3 years ago

These are not in PSC; PSC just has alt (likely because of the redundancy)

MattWindsor91 commented 2 years ago

Closing as wontfix as we'll be adopting the PSC situation of only having alt, for now. This may change later on.