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.
Filters
Software performance modelling using PEPA nets
2004
Software engineering notes
Preserved Fulltext
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
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. ...
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
2009
Electronical Notes in Theoretical 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 2019; you can also visit the original URL.
The file type is application/pdf.
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
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium
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 2010; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10
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 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
Performance Evaluation Review
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.
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]
2002
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.
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
2003
Performance evaluation (Print)
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.
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]
2004
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.
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]
2004
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.
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]
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. ...
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]
2004
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.
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]
2004
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.
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