A stochastic extension of a behavioural subset of UML statechart diagrams (Contributo in atti di convegno)

Type
Label
  • A stochastic extension of a behavioural subset of UML statechart diagrams (Contributo in atti di convegno) (literal)
Anno
  • 2000-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/HASE.2000.895432 (literal)
Alternative label
  • GNESI S.; LATELLA D; MASSINK M (2000)
    A stochastic extension of a behavioural subset of UML statechart diagrams
    in IEEE International High-Assurance Systems Engineering Symposium 2000, Albuquerque, NM, 15 Nov 2000-17 Nov 2000
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • GNESI S.; LATELLA D; MASSINK M (literal)
Pagina inizio
  • 55 (literal)
Pagina fine
  • 64 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=895442&sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A19380%29 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings of the Fifth IEEE International High-Assurance Systems Engineering Symposium (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IEI; CNR-CNUCE; CNR-CNUCE (literal)
Titolo
  • A stochastic extension of a behavioural subset of UML statechart diagrams (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-7695-0927-4 (literal)
Abstract
  • 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 (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it