Policy specifications with Timed Spider Diagrams

P. Bottoni, Andrew Fish

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review


Spider Diagrams are a well-established visual language used to specify sets, their relationships, and constraints on their cardinalities but they have no means of specifying temporal aspects of a system. Timed Spider Diagrams are an evolution enabling the specification of temporal constraints, with a granular-based time system, for use in areas such as policy specification. In this paper we introduce event based actions to this framework and illustrate with examples from models of an automatic parking meter system, and an internet billing system.
Original languageEnglish
Title of host publicationProceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing
Place of PublicationNew York, USA
PublisherIEEE Press
Number of pages4
ISBN (Print)9781457712463
Publication statusPublished - 1 Jan 2011
EventIEEE Symposium on Visual Languages and Human-Centric Computing 2011 - Pittsburgh, PA, USA, 18-22 September, 2011
Duration: 18 Sept 2011 → …


ConferenceIEEE Symposium on Visual Languages and Human-Centric Computing 2011
Period18/09/11 → …


  • Internet
  • diagrams
  • formal specification
  • visual languages


Dive into the research topics of 'Policy specifications with Timed Spider Diagrams'. Together they form a unique fingerprint.

Cite this