A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Policy enforcement and verification with Timed Modeling Spider Diagrams
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
doi:10.1109/vlhcc.2013.6645239
dblp:conf/vl/BottoniF13
fatcat:vh4h2scisvcenoqyi5qwqm2kyi