Policy enforcement and verification with timed modeling spider diagrams

Paolo Bottoni, Andrew Fish

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

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 set 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.
Original languageEnglish
Title of host publication2013 IEEE Symposium on visual languages and human-centric computing
Place of PublicationCalifornia
Pages27-34
Number of pages8
DOIs
Publication statusPublished - 1 Jan 2013
Event2013 IEEE Symposium on visual languages and human-centric computing - San Jose, California, 15-19 Sept 2013
Duration: 1 Jan 2013 → …

Publication series

NameVisual Languages and Human Centric Computing

Conference

Conference2013 IEEE Symposium on visual languages and human-centric computing
Period1/01/13 → …

Fingerprint Dive into the research topics of 'Policy enforcement and verification with timed modeling spider diagrams'. Together they form a unique fingerprint.

Cite this