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

There is an abundance of business process modeling techniques that capture and address
different aspects of a business process. A limited number of these process models allow …

Many stakeholders within and outside the company can be identified, ranging from top-level
management to software engineers. Each stakeholder requires specific information …

One aim of component-based software engineering (CBSE) is to enable the prediction of
extra-functional properties, such as performance and reliability, utilising a well-defined …

Continuous-time Markov chains (CTMCs) have been widely used to determine system
performance and dependability characteristics. Their analysis most often concerns the …

Performance prediction and measurement approaches for component-based software
systems help software architects to evaluate their systems based on component …

This chapter introduces the central formalism of this book, Interactive Markov Chains 1
(IMC). It arises as an integration of interactive processes and continuous-time Markov …

As the size of data is increasing exponentially, its security is a major concern. Emerging
technology like blockchain is used to provide security to systems. Since the inception of …

Cloud computing as a new internet-based computing model provides different resources as
a service dynamically. Today, cloud computing is actually one of the main improvements in …

Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …