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.
Policy Specifications with Timed Spider Diagrams / Bottoni, Paolo Gaspare; Fish, Andrew. - STAMPA. - (2011), pp. 95-98. (Intervento presentato al convegno IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) tenutosi a Pittsburgh, PA nel SEP 18-22, 2011) [10.1109/vlhcc.2011.6070385].
Policy Specifications with Timed Spider Diagrams
BOTTONI, Paolo Gaspare;
2011
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
