A visual language for temporal specifications based on spider diagrams

Bottoni, P. and Fish, Andrew (2011) A visual language for temporal specifications based on spider diagrams Electronic Communications of the EASST, 41. pp. 1-14. ISSN 1863-2122

Full text not available from this repository.


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.

Item Type: Journal article
Uncontrolled Keywords: Visual constraint language; Time based systems; Spider diagrams
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 26 Jan 2012 13:59
Last Modified: 14 Apr 2015 13:16
URI: http://eprints.brighton.ac.uk/id/eprint/9791

Actions (login required)

View Item View Item


Downloads per month over past year