Filters








457 Hits in 2.2 sec

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.  ...  To perform model-checking on the PEPA net we compiled it to PEPA and used PRISM to model check a range of CSL formulae.  ... 
doi:10.1145/974044.974047 dblp:conf/wosp/GilmoreHKR04 fatcat:bvghtzqguredvdz2o445ao5xwm

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.  ...  To perform model-checking on the PEPA net we compiled it to PEPA and used PRISM to model check a range of CSL formulae.  ... 
doi:10.1145/974043.974047 fatcat:jujathneyvduhpz2qnbvcz33hq

Performance Analysis of a Software Retrieval Service

Leïla Kloul
2009 Electronical Notes in Theoretical Computer Science  
This approach consists in translating a UML2.0 model onto a process algebra, namely PEPA nets, model.  ...  In this paper, we show how to use this approach to investigate the performance of a software retrieval service.  ...  We first present the UML model, then the generated PEPA net model. The UML model The software retrieval service can be modelled using an IOD.  ... 
doi:10.1016/j.entcs.2009.02.055 fatcat:46ml2fqaw5crvjodybgufhvxp4

Analysing UML 2.0 activity diagrams in the software performance engineering process

C. Canevet, S. Gilmore, J. Hillston, L. Kloul, P. Stevens
2004 Software engineering notes  
This process highlights latent performance problems hidden in the high-level design, allowing software developers to fix these design flaws before they are concretised in implementation code.  ...  We exercise our analysis approach on a substantial example of modelling a multi-player distributed role-playing game.  ...  These correspond to the places of the PEPA net: The PEPA net model ¢ ¡ , ¤ £ , and ¦ ¥ .  ... 
doi:10.1145/974043.974055 fatcat:ixctovt3tnbypg3sloqjjs47xm

Analysing UML 2.0 activity diagrams in the software performance engineering process

C. Canevet, S. Gilmore, J. Hillston, L. Kloul, P. Stevens
2004 Software engineering notes  
This process highlights latent performance problems hidden in the high-level design, allowing software developers to fix these design flaws before they are concretised in implementation code.  ...  We exercise our analysis approach on a substantial example of modelling a multi-player distributed role-playing game.  ...  These correspond to the places of the PEPA net: The PEPA net model ¢ ¡ , ¤ £ , and ¦ ¥ .  ... 
doi:10.1145/974044.974055 dblp:conf/wosp/CanevetGHKS04 fatcat:zagfcqssh5bsznrj6zkk7qka74

A design environment for mobile applications

S. Gilmore, V. Haenel, J. Hillston, J. Tenzer
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
The approach proceeds by compiling the UML model into a representation in the formally-defined modelling language of PEPA nets.  ...  The compilation process and subsequent performance analysis based on numerical solution of a Continuous-Time Markov Chain is supported by a software tool, the Choreographer design platform.  ...  We have previously analysed PEPA net models using PRISM [22] .  ... 
doi:10.1109/ipdps.2006.1639637 dblp:conf/ipps/GilmoreHHT06 fatcat:yln55snjkvcmhhxfdtijctyrky

Synthesising PEPA nets from IODs for performance analysis

Juliana Bowles, Leila Kloul
2010 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10  
PEPA nets are a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing, and are thus suited for performance modelling of mobile  ...  and distributed software.  ...  In other words, a software designer models a system using UML2, and is able to analyse the models with no knowledge of the underlying performance technique.  ... 
doi:10.1145/1712605.1712635 dblp:conf/wosp/BowlesK10 fatcat:dayfjxkzbjgkdaeg2t6n6jl56m

Special issue on tools for computer performance modeling and reliability analysis

Giuliano Casale, Richard R. Muntz, Giuseppe Serazzi
2009 Performance Evaluation Review  
and how they differ in terms of functionalities and modeling approaches used.  ...  PEPA Eclipse Plug-in, presented in the paper "The PEPA Eclipse Plugin" by Mirco Tribastone, Adam Duguid, and Stephen Gilmore, supports the definition of stochastic process algebra models based on the Performance  ...  and how they differ in terms of functionalities and modeling approaches used.  ... 
doi:10.1145/1530873.1530875 fatcat:ou4f6oof4zc25ieie5kavcykmu

PEPA Nets: A Structured Performance Modelling Formalism [chapter]

Stephen Gilmore, Jane Hillston, Marina Ribaudo
2002 Lecture Notes in Computer Science  
Viewed in another way, the net is used to provide a structure for combining related PEPA systems.  ...  In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets.  ...  Our thanks go to Salem Derisavi of the Möbius project for providing insights into the operation of PEPA k in Möbius. Thanks also to Giuliana Franceschinis for her advice on coloured Petri nets.  ... 
doi:10.1007/3-540-46029-2_7 fatcat:l7oal3nkajhh3ermzpmqxwfdza

PEPA nets: a structured performance modelling formalism

Stephen Gilmore, Jane Hillston, Leı̈la Kloul, Marina Ribaudo
2003 Performance evaluation (Print)  
Viewed in another way, the net is used to provide a structure for combining related PEPA systems.  ...  In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets.  ...  Our thanks go to Salem Derisavi of the Möbius project for providing insights into the operation of PEPA k in Möbius. Thanks also to Giuliana Franceschinis for her advice on coloured Petri nets.  ... 
doi:10.1016/s0166-5316(03)00069-5 fatcat:cbpszksruvcalgwpbpjmuim2ni

Modelling Role-Playing Games Using PEPA Nets [chapter]

Stephen Gilmore, Leila Kloul, Davide Piazza
2004 Lecture Notes in Computer Science  
We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language.  ...  We apply this method to a PEPA net model for the first time in this paper.  ...  The modelling language which is used for the tokens of a PEPA net is Jane Hillston's Markovian process algebra PEPA (Performance Evaluation Process Algebra) [6] .  ... 
doi:10.1007/978-3-540-30182-0_53 fatcat:77edjwbhwvgaffe3uq3hph2mdu

PEPA Nets [chapter]

Stephen Gilmore, Jane Hillston, Leïla Kloul
2004 Lecture Notes in Computer Science  
Viewed in another way, the net is used to provide a structure for linking related PEPA systems.  ...  In this chapter we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets.  ...  Thus modelling with PEPA nets uses both Petri nets and process algebras together as a single, structured performance modelling formalism.  ... 
doi:10.1007/978-3-540-24663-3_15 fatcat:ovrob4jmrneuhpnx2vnq2qo53i

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.  ...  Such systems present formidable design and implementation challenges to software developers and synchronisation, scheduling and performance problems come to the fore.  ...  We now use PML ν to characterise some of the states of the Web services PEPA net model, illustrating its use as a specification language for performance measures.  ... 
doi:10.1007/978-3-540-40042-4_8 fatcat:2qvwfev5qnhonameesblwxk3re

Modelling Mobility with PEPA Nets [chapter]

Jane Hillston, Marina Ribaudo
2004 Lecture Notes in Computer Science  
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems.  ...  performance analysis) is applied to the problem of modelling the canonical mobile code design paradigms which are in practical application today, as described in [2] .  ...  The PEPA nets formalism uses Hillston's Performance Evaluation Process Algebra [6] as the inscription language for coloured stochastic Petri nets.  ... 
doi:10.1007/978-3-540-30182-0_52 fatcat:y25fgwvi6rbmzlut4txmfv2lsa

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application [chapter]

Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
2004 Lecture Notes in Computer Science  
We analyse the functioning of the application through a high-level model expressed in the PEPA nets modelling language, a coloured stochastic Petri net in which the tokens are terms of Hillston's Performance  ...  We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF Telecom and Informatics, Norway.  ...  A software development kit used by a software engineer typically provides a range of tools (compilers, debuggers, profilers, perhaps even model checkers) which perform various types of analysis or conversion  ... 
doi:10.1007/978-3-540-30233-9_20 fatcat:tg3isgoyrzaz5exk5pshihlmra
« Previous Showing results 1 — 15 out of 457 results