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.

Official URL: http://journal.ub.tu-berlin.de/eceasst/article/vie...

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.

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
ID Code:9791
Deposited By:Converis
Deposited On:26 Jan 2012 13:59
Last Modified:25 Sep 2013 12:34

Repository Staff Only: item control page