Policy specifications with Timed Spider Diagrams

P. Bottoni; Andrew Fish

doi:10.1109/VLHCC.2011.6070385

Policy specifications with Timed Spider Diagrams

P. Bottoni, Andrew Fish

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Abstract

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 language	English
Title of host publication	Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing
Place of Publication	New York, USA
Publisher	IEEE Press
Pages	95-98
Number of pages	4
ISBN (Print)	9781457712463
DOIs	https://doi.org/10.1109/VLHCC.2011.6070385
Publication status	Published - 1 Jan 2011
Event	IEEE Symposium on Visual Languages and Human-Centric Computing 2011 - Pittsburgh, PA, USA, 18-22 September, 2011 Duration: 18 Sept 2011 → …

Conference

Conference	IEEE Symposium on Visual Languages and Human-Centric Computing 2011
Period	18/09/11 → …

Keywords

Internet
diagrams
formal specification
visual languages

Access to Document

10.1109/VLHCC.2011.6070385Licence: Unspecified

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6070385Licence: Unspecified

Cite this

@inproceedings{d32ef9b485cc45bca64fd23f9298810a,

title = "Policy specifications with Timed Spider Diagrams",

abstract = "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.",

keywords = "Internet, diagrams, formal specification, visual languages",

author = "P. Bottoni and Andrew Fish",

year = "2011",

month = jan,

day = "1",

doi = "10.1109/VLHCC.2011.6070385",

language = "English",

isbn = "9781457712463",

pages = "95--98",

booktitle = "Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing",

publisher = "IEEE Press",

note = "IEEE Symposium on Visual Languages and Human-Centric Computing 2011 ; Conference date: 18-09-2011",

}

TY - GEN

T1 - Policy specifications with Timed Spider Diagrams

AU - Bottoni, P.

AU - Fish, Andrew

PY - 2011/1/1

Y1 - 2011/1/1

N2 - 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.

AB - 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.

KW - Internet

KW - diagrams

KW - formal specification

KW - visual languages

U2 - 10.1109/VLHCC.2011.6070385

DO - 10.1109/VLHCC.2011.6070385

M3 - Conference contribution with ISSN or ISBN

SN - 9781457712463

SP - 95

EP - 98

BT - Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing

PB - IEEE Press

CY - New York, USA

T2 - IEEE Symposium on Visual Languages and Human-Centric Computing 2011

Y2 - 18 September 2011

ER -

Policy specifications with Timed Spider Diagrams

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this