Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system's descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defined. Among the UML diagrams, we concentrate on States Machines (SMs) and we build a semantics for a significant subset of them in terms of Generalized Stochastic Petri Nets (GSPNs). The paper shows how to derive an executableGSPN model from a description of a system, expressed as a set of SMs. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri net operators, the GSPN models of the single SMs, and each GSPN model is obtained by composition of submodels for SM basic features.

A compositional semantics for UML State Machines aimed at performance evaluation

BERNARDI, Simona;DONATELLI, Susanna
2002

Abstract

Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system's descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defined. Among the UML diagrams, we concentrate on States Machines (SMs) and we build a semantics for a significant subset of them in terms of Generalized Stochastic Petri Nets (GSPNs). The paper shows how to derive an executableGSPN model from a description of a system, expressed as a set of SMs. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri net operators, the GSPN models of the single SMs, and each GSPN model is obtained by composition of submodels for SM basic features.
Sixth International Workshop on Discrete Event Systems (WODES'02)
Zaragoza (Spain)
October
IEEE Proceedings the 6th Int. Workshop on Discrete Event Systems (WODES02)
Manuel Silva, Alessandro Giua, Jose' Colom
295
302
MERSEGUER J.; S. BERNARDI; CAMPOS J.; DONATELLI S.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/2318/17142
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact