Filters








1,105 Hits in 1.1 sec

Specifying Performance Measures for PEPA [chapter]

Graham Clark, Stephen Gilmore, Jane Hillston
1999 Lecture Notes in Computer Science  
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

J.T. Bradley, W.J. Knottenbelt
2004 First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.  
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]

Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
2000 Lecture Notes in Computer Science  
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

Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
2004 Software engineering notes  
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

Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
2004 Software engineering notes  
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]

Christopher D. Williams, Jane Hillston
2014 Lecture Notes in Computer Science  
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]

Allan Clark, Stephen Gilmore, Mirco Tribastone
2009 Lecture Notes in Computer Science  
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

C. Canevet, S. Gilmore, J. Hillston, M. Prowse, P. Stevens
2003 IEE Proceedings - Computers and digital Techniques  
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

A. Clark, S. Gilmore
2009 IET Software  
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]

Ashok Argent-Katwala, Jeremy T. Bradley
2006 Lecture Notes in Computer Science  
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

Allan Clark
2007 Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)  
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]

Graham Clark, William H. Sanders
2001 Lecture Notes in Computer Science  
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]

Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
2003 Lecture Notes in Computer Science  
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

Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
2004 Software engineering notes  
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

Mirco Tribastone, Stephen Gilmore
2008 Proceedings of the 7th international workshop on Software and performance - WOSP '08  
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