Vassilis Mertsiotakis

Learn More
This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS. We demonstrate how notions of equivalent(More)
Stochastic Process Algebras have been proposed as compositional speciication formalisms for performance models. In this paper, we describe a tool which aims at re-alising all beneecial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional speciication as well as solution, based on(More)
1 There are many ways to incorporate a notion of time into process algebras in order to integrate functional design and performance analysis. One major research strand, stochastic process algebras, concentrates on the annotation of actions with exponentially distributed random variables. This paper presents a tool for the functional analysis and performance(More)
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal(More)
The stochastic process-algebra modelling paradigm has been introduced recently as an extension of classical process algebras with timing information aiming mainly at the integration of functional design with quantitative analysis of computer systems. Time is represented by exponentially distributed random variables that are assigned to each activity in the(More)
Many modern computer and communication systems result in large, complex performance models. The compositional approach ooered by stochastic process algebra constructs a model from submodels which are smaller and more easily understood. This gives the model a clear component-based structure. In this paper we present cases when this structure may be used to(More)
When implementing parallel programs for parallel computer systems the performance scalability of these programs should be tested and analyzed on different computer configurations and problem sizes. Since a complete scalability analysis is too time consuming and is limited to only existing systems, extensions of modeling approaches can be considered for(More)
In this paper we present an extension of the process algebra modelling methodology which allows qualitative and quantitative modelling to be integrated. This extension, to form stochastic process algebras (SPA), has been recently demonstrated to have many interesting features. Such languages serve two purposes as a formal description language for computer(More)
Communication protocol design requires to consider protocol performance in early phases of the software lifecycle. Therefore, extensions of formal description techniques have been introduced that allow to specify formally the functional behavior of a system on the one hand and additionally to capture quantitative aspects on the other hand by introducing(More)