Contract converter John J. Camilleri, 2015-11-17

COD Shorthand → COML/UPPAAL


                
Auxiliary ~label:...
Obligation label:O(agent.action)R
Permission label:P(agent.action)
Prohibition label:F(agent.action)R
Reparation (R) or or #label
Conjunction label:AND{ ... ∧ ... }R
Sequence label:SEQ{ ... ; ... }R
Choice label:OR{ ... ⊕ ... }R
Guard label:[isDone(xyz) ∧ t0<10]O(...)
Interval label:O[t0>5](...)

ConPar

Extract entities from NL input. Once the table below has loaded, you can click on each cells to edit it.
Convert the table above to COML.