A Compositional Approach to Performance Modelling by Jane Hillston
This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. The method, which is illustrated with case studies taken from the area of communication systems, can readily be used to construct a variety of models that can be analysed using standard numerical techniques. One of the major advantages of PEPA over the standard methods for specifying stochastic performance models is the inherent apparatus for reasoning about the structure and behaviour of models. In the later chapters this apparatus is exploited to define four equivalence relations over PEPA components. Each of these notions of equivalence has intrinsic interest from a process algebra perspective. However, they are also demonstrated to be useful in a performance modelling context. To conclude the book, a section has been added surveying recent results in the area and discussing open questions.-
Logic Programming
-
Three-Dimensional Integrated Circuit Layout
-
Efficient Algorithms for Listing Combinatorial Structures
-
Specification and Proof in Real Time CSP
-
A Modular and Extensible Network Storage Architecture
-
Affine Analysis of Image Sequences
-
Functional Programming and Input/Output
-
Modelling Auditory Processing and Organisation
-
Axiomatic Domain Theory in Categories of Partial Maps
-
Qualified Types
-
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
'Overall, a very useful addition to the perfomance modelling literature' Zentralblatt MATH
Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems
| SKU | Unavailable |
| ISBN 13 | 9780521673532 |
| ISBN 10 | 0521673534 |
| Title | A Compositional Approach to Performance Modelling |
| Author | Jane Hillston |
| Series | Distinguished Dissertations In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 2005-06-30 |
| Number of pages | 172 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |