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.