In this paper we present a stochastically timed extension of UML statechart diagrams. The extension is rather simple both from a notational point of view and from a semantics point of view. In particular we enrich a state/transition formal operational semantics we proposed in (Latella et al., 1999) with random clocks for expressing time values. We do this in an orthogonal way, which means that the enriched semantics preserves all the properties of the untimed one. We show, by means of a simple example, how the enriched notation and its semantics can be used for performing quantitative analysis of stochastic UML statechart diagram models

A stochastic extension of a behavioural subset of UML statechart diagrams

Gnesi S;Latella D;Massink M
2000

Abstract

In this paper we present a stochastically timed extension of UML statechart diagrams. The extension is rather simple both from a notational point of view and from a semantics point of view. In particular we enrich a state/transition formal operational semantics we proposed in (Latella et al., 1999) with random clocks for expressing time values. We do this in an orthogonal way, which means that the enriched semantics preserves all the properties of the untimed one. We show, by means of a simple example, how the enriched notation and its semantics can be used for performing quantitative analysis of stochastic UML statechart diagram models
2000
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
0-7695-0927-4
UML statechart diagrams
File in questo prodotto:
File Dimensione Formato  
prod_190551-doc_141923.pdf

solo utenti autorizzati

Descrizione: A stochastic extension of a behavioural subset of UML statechart diagrams
Tipologia: Versione Editoriale (PDF)
Dimensione 944.57 kB
Formato Adobe PDF
944.57 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/233864
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 4
social impact