Over the last decade, a lot of research has been directed toward integrating performance
analysis into the software development process. Traditional software development methods …

With the growing emphasis on reuse, software development process moves toward
component-based software design. As a result, there is a need for modeling approaches that …

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 …

This paper describes how UML 2 Activity diagrams can be intuitively translated into Petri net
notations. The UML2 specification states that activities are based on Petri net semantics. The …

The purpose of this book is to make the reader famliar with software engineering for
distributed systems. Software engineering is a valuable discipline in the develop ment of …

This chapter first reviews the origins of Software Performance Engineering (SPE). It provides
an overview and an extensive bibliography of the early research. It then covers the …

Markov chains are widely used in the context of the performance and reliability modeling of
various systems. Model checking of such chains with respect to a given (branching) …

This paper introduces means to specify system randomness within UML statecharts, and to
verify probabilistic temporal properties over such enhanced statecharts which we call …

Software systems that do not meet their timing constraints can cause risks. In this work, we
propose a comprehensive method for assessing the risk of timing failure by evaluating the …

In the last decade, several research efforts have been directed to integrating performance
analysis in the software development process. Traditional software development methods …