A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
Specifying Performance Measures for PEPA
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
Tools compute the numerical solution of these models; however, the stochastic process algebra methodology lacks support for the specification and calculation of complex performance measures. ...
This paper addresses that problem by presenting a performance specification language which supports high level reasoning about PEPA models, allowing the description of equilibrium (steady-state) measures ...
For many performance measures, a reward vector can be specified, associating particular rewards with particular states. ...
doi:10.1007/3-540-48778-6_13
fatcat:7t4oikmiyfbqdid7f4lswlyxy4
The ipc/HYDRA tool chain for the analysis of PEPA models
2004
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
PEPA is a popular stochastic process algebra and a powerful formalism for describing performance models of communication and computer systems. ...
Response time densities and quantiles are important performance metrics which are used to specify service level agreements (SLAs) and benchmarks. ...
PEPA [5] is a popular Markovian process algebra for specifying compositional performance models. ...
doi:10.1109/qest.2004.1348054
dblp:conf/qest/BradleyK04
fatcat:xfuczzdvxbdi5jmgwcedawbree
Exploiting Modal Logic to Express Performance Measures
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Tools compute the numerical solution of these models; however, the stochastic process algebra methodology has lacked support for the specification and calculation of complex performance measures. ...
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. ...
They exist for pragmatic reasons-they are useful in specifying performance measures. ...
doi:10.1007/3-540-46429-8_18
fatcat:4x5mfc2h5bdodbqebdpmanrlwe
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
2004
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
These stochastic probes are specified using a regular expression syntax that describes the behaviour that must be observed in a model before a performance measurement can be started or stopped. ...
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. ...
Acknowledgements The authors would like to thank Stephen Gilmore, Tony Field and Helen Wilson for helpful remarks on the ideas behind this paper. ...
doi:10.1145/974043.974051
fatcat:of7ou4d75zbijiwpxmmb6bdufe
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
2004
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
These stochastic probes are specified using a regular expression syntax that describes the behaviour that must be observed in a model before a performance measurement can be started or stopped. ...
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. ...
Acknowledgements The authors would like to thank Stephen Gilmore, Tony Field and Helen Wilson for helpful remarks on the ideas behind this paper. ...
doi:10.1145/974044.974051
dblp:conf/wosp/Argent-KatwalaBD04
fatcat:y6edafkzg5dpzipii7yoxrxzda
Automated Capacity Planning for PEPA Models
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Currently for PEPA models, a modeller who wishes to solve a capacity planning problem has to either carry out a manual search for an optimal configuration or work outside the provided tool suite. ...
We present a new extension to the Eclipse Plug-in for PEPA which integrates automated capacity planning into the functionality of the tool, thus allowing optimal configurations of large scale PEPA models ...
There will be one ODEResult i for each user defined performance target, performanceTarget i , for each performance measure specified by the modeller in the capacity planning wizard. ...
doi:10.1007/978-3-319-10885-8_15
fatcat:behu4dvfhrdtfbcmm5sp6krisi
Quantitative Analysis of Web Services Using SRMC
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serve a larger pool of service ...
The authors are supported by the EU FET-IST Global Computing 2 project SENSORIA ("Software Engineering for Service-Oriented Overlay Computers" (IST-3-016004-IP-09)). ...
When specifying a measurement we are often concerned with specifying a set or sets of states. ...
doi:10.1007/978-3-642-01918-0_8
fatcat:5vwvmjnib5dx3fazxy7hemc5fy
Performance modelling with the unified modelling language and stochastic process algebras
2003
IEE Proceedings - Computers and digital Techniques
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Used in this way, our toolset gives a high-level approach to software performance modelling where the benefits of the performance modelling process are achieved without significant additional notational ...
We describe a software toolset which allows UML modellers to annotate their models with performance information. ...
Higher-level description languages for specifying performance measures exist, such as PML µ [7] and CSL [8] , but these notations would be formidable for a typical UML developer to use. ...
doi:10.1049/ip-cdt:20030084
fatcat:cokaa4xfmnechaw6wwgruwxtsu
Transient calculations on process algebra derived Markov chains
2009
IET Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The process of obtaining transient measures from a Markov chain as implemented in the software, ipclib is described. The software accepts models written in PEPA, Bio-PEPA or as a Petri net. ...
The authors also show a more generic transient measure for which the full probability distributions at specific times are required. ...
Acknowledgments The authors are supported by the EU FET-IST Global Computing 2 project SENSORIA (Software Engineering for Service-Oriented Overlay Computers (IST-3-016004-IP-09)). ...
doi:10.1049/iet-sen.2009.0002
fatcat:bws7nvdqq5dgfh4yxuwk26wljy
Functional Performance Specification with Stochastic Probes
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. ...
Stochastic probes select the performance-critical paths for which the measures are required; increasing their expressiveness in turn gives us greater expressive power to represent performance questions ...
Acknowledgements The authors would like to thank anonymous referees for their insightful comments and suggestions. AAK is supported by EPSRC under the PerformDB grant EP/D054087/1. ...
doi:10.1007/11777830_3
fatcat:jvgtuygzxjarxc7txmpofwuh24
The ipclib PEPA Library
2007
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The ipc software has undergone some improvements which have led to its refactoring as a library for handling PEPA models. ...
The ipc compiler translates a given PEPA model into a format suitable for processing by the Hydra[5] Markovian response-time analyser. ...
Originally labels could only be either start or stop to specify that the probe has entered or exited a passage to be measured. ...
doi:10.1109/qest.2007.20
dblp:conf/qest/Clark07
fatcat:ca7qocm5l5cnjcjvoebmreatgi
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used. ...
We describe a way to map PEPA, a stochastic process algebra, to the abstract functional interface. ...
ACKNOWLEDGMENTS We would like to thank Jane Hillston for her valuable suggestions and for making this collaboration possible. ...
doi:10.1007/3-540-44804-7_13
fatcat:vzb6ae6ujbehzktjb26wh6zgje
Performance Evaluation for Global Computation
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we compare the use of two such approaches, the PEPA nets and EOS methods, illustrating our presentation with the example of modelling Web services. ...
Complex systems such as these can benefit from the application of highlevel performance analysis methods founded on timed process algebras. ...
performance measures We now explain how to specify performance measures of interest with respect to a PEPA net model by using a probabilistic modal logic. ...
doi:10.1007/978-3-540-40042-4_8
fatcat:2qvwfev5qnhonameesblwxk3re
Software performance modelling using PEPA nets
2004
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
In this paper we describe PEPA nets and the newly-developed platform support for software performance modelling using them. ...
In addition to derivation of steady state performance measures, this suite of tools allows properties of the system to be verified using model-checking. ...
CSL More recently the CSL logic (Continuous Stochastic Logic) [9] has gained some acceptance as a suitable vehicle for expressing performance and performability measures which can be model checked on ...
doi:10.1145/974044.974047
dblp:conf/wosp/GilmoreHKR04
fatcat:bvghtzqguredvdz2o445ao5xwm
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile
2008
Proceedings of the 7th international workshop on Software and performance - WOSP '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To provide modellers with quantitative insights into their artifacts, the UML benefits from a framework for software performance evaluation provided by MARTE, the UML profile for model-driven development ...
The PEPA performance model is interpreted against a Markovian semantics which allows the calculation of performance indices such as throughput and utilisation. ...
Performance measures are evaluated by the PEPA Eclipse Plug-in Project [29] , an Eclipse contribution for PEPA. ...
doi:10.1145/1383559.1383569
dblp:conf/wosp/TribastoneG08
fatcat:qipslhtvfzbn3bpsf5yjda6pby
« Previous
Showing results 1 — 15 out of 1,105 results