Policy enforcement and verification with Timed Modeling Spider Diagrams

Paolo Bottoni, Andrew Fish
2013 2013 IEEE Symposium on Visual Languages and Human Centric Computing  
Timed Modelling Spider Diagrams (TMSDs) are a visual language which supports the modeling of object-oriented systems with time constraints. They are used to define policies in which TMSDs specify admissible evolutions of the state of some instance. We define a process for deriving a rewriting system from a policy specification, so that the generated system defines a language of sequences of basic TMSDs satisfying the policy. Moreover, by identifying the different ways in which the constraints
more » ... t by the policy can be violated, we can produce special rules whose application results in erroneous sequences. The resulting transformation systems can be used both to simulate possible behaviours when reasoning on the definition of policies and to test policy verification algorithms.
doi:10.1109/vlhcc.2013.6645239 dblp:conf/vl/BottoniF13 fatcat:vh4h2scisvcenoqyi5qwqm2kyi