An approximate compositional approach to the analysis of fluid queue networks
Performance Evaluation
Theoretical Computer Science
Continuous PEPA queues: individual behaviour in continuous queueing networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Quantitative analysis of biochemical signalling pathways
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Journal of Computer and System Sciences
Comparing job allocation schemes where service demand is unknown
Journal of Computer and System Sciences
Relating continuous and discrete PEPA models of signalling pathways
Theoretical Computer Science
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Hybrid Semantics for Stochastic π-Calculus
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Process Algebra Models of Population Dynamics
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
State-Aware Performance Analysis with eXtended Stochastic Probes
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance Modelling of Content Adaptation for a Personal Distributed Environment
Wireless Personal Communications: An International Journal
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Electronic Notes in Theoretical Computer Science (ENTCS)
The Importance of Being (A Little Bit) Discrete
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Approximate transient analysis of large stochastic models with WinPEPSY-QNS
Computer Networks: The International Journal of Computer and Telecommunications Networking
ACM SIGMETRICS Performance Evaluation Review
Scalable Analysis of Scalable Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Fluid semantics for passive stochastic process algebra cooperation
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
Engineering crowd interaction within smart environments
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Mean Value Analysis for a Class of PEPA Models
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Relating layered queueing networks and process algebra models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Analysis of Television and Cinema Productions using Mean Field Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Langevin Interpretation of PEPA Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating fluid semantics for passive stochastic process algebra cooperation
Performance Evaluation
Hybrid dynamics of stochastic programs
Theoretical Computer Science
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Scalable analysis of collective behaviour in smart service systems
Proceedings of the 2010 ACM Symposium on Applied Computing
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Hybrid systems and biology: continuous and discrete modeling for systems biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Replicating web services for scalability
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Efficient solutions of a PEPA model of a key distribution centre
Performance Evaluation
Limit behavior of the hybrid approximation of stochastic process algebras
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Process algebras for collective dynamics
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Performance analysis of stochastic Process algebra models using stochastic simulation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Modelling job allocation where service duration is unknown
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Structural analysis for stochastic process algebra models
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
From individuals to populations: A mean field semantics for process algebra
Theoretical Computer Science
Fluid analysis of energy consumption using rewards in massively parallel markov models
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Modelling non-linear crowd dynamics in bio-PEPA
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Evaluating service level agreements using observational probes
Rigorous software engineering for service-oriented systems
Scaling performance analysis using fluid-flow approximation
Rigorous software engineering for service-oriented systems
Rigorous software engineering for service-oriented systems
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Functional performance specification with stochastic probes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Higher moment analysis of a spatial stochastic process algebra
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Tools for performance evaluation of computer systems: historical evolution and perspectives
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Fluid analysis of foraging ants
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Mean-Field analysis of markov models with reward feedback
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
Analysing robot swarm decision-making with Bio-PEPA
ANTS'12 Proceedings of the 8th international conference on Swarm Intelligence
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Exact fluid lumpability for Markovian process algebra
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Configuring Systems of Massively Distributed, Autonomous and Interdependent Decision Makers
International Journal of Decision Support System Technology
Compositional approximate markov chain aggregation for PEPA models
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
PCTMC models of wireless sensor network protocols
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Compositional approximate markov chain aggregation for PEPA models
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Don't just go with the flow: cautionary tales of fluid flow approximation
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
PCTMC models of wireless sensor network protocols
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
Mean-field analysis of data flows in wireless sensor networks
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Hi-index | 0.01 |
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of analysing via continuous time Markov chains, our underlying mathematical representation is a set of coupled ordinary differential equations (ODEs). This analysis process supports all of the combinators of the PEPA algebra and is well-suited to systems with large numbers of replicated components. The paper presents an elegant procedure for the generation of the ODEs and compares the results of this analysis with more conventional methods.