In this paper we study the use of Sequence Diagrams and Statecharts of the Unified
Modeling Language (UML) for the validation and the performance evaluation of systems. We …

The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …

Deriving a queueing network based performance model from UML diagrams Page 1 Deriving a
Queueing Network based Performance Model from UML Diagrams Vittorio Cortellessa Raffaela …

Cloud computing has become one of the fastest growing segments of the IT industry. In the
wake of this, cloud based Enterprise Resource Planning (ERP) systems have emerged as …

This paper proposes a generic approach or protocol engineering through the analysis, the
specification, and the verification of such protocols when several agents are involved. This …

Software engineering has traditionally focussed on functional requirements and how to build
software that has few bugs and can be easily maintained. Most design approaches include …

The development of complex software systems satisfying performance requirements is
achievable only spending careful attention to performance goals throughout the lifecycle …

As hardware becomes faster and bandwidth greater, the determination of the performance of
software based systems during design, known as Software Performance Engineering (SPE) …

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 …

Product-forms in Stochastic Petri nets (SPNs) are obtained by a compositional technique for
the first time, by combining small SPNs with product-forms in a hierarchical manner. In this …