A visual language for temporal specifications based on spider diagrams

P. Bottoni, Andrew Fish

Research output: Contribution to journalArticle

Abstract

Spider Diagrams are a well-established visual language to specify sets, their relationships, and constraints on their cardinalities. However, they do not support evolution of specifications, where one wants to state that under certain circumstances a specification becomes invalid and a new one must be used, nor transformation of specifications, where one needs operators to manipulate specifications. In this paper, we attack the first problem by developing a new system of timed Spider Diagrams which allow modellers to indicate the temporal range of validity of a specification. The approach is illustrated with examples of policies for library management.
Original languageEnglish
Pages (from-to)1-14
Number of pages14
JournalElectronic Communications of the EASST
Volume41
Publication statusPublished - 1 Jan 2011

Keywords

  • Visual constraint language
  • Time based systems
  • Spider diagrams

Fingerprint Dive into the research topics of 'A visual language for temporal specifications based on spider diagrams'. Together they form a unique fingerprint.

  • Cite this