Title :
Integrating behavioural and performance analysis with topology information
Author_Institution :
Dipartimento di Inf., Pisa Univ., Italy
Abstract :
We consider π-calculus, a model of concurrent processes based on the notion of naming, extended with probabilistic information. The new language is an evolution of CSP-like stochastic process algebra which we call stochastic π-calculus. Furthermore, we integrate the semantic description of the language with topology information expressed through axioms. The new formalism is suitable for studying behavioural and performance properties of distributed systems. In particular we can compare different allocations of systems on a fixed network architecture with respect to expected performance
Keywords :
communicating sequential processes; computational linguistics; graph theory; naming services; parallel processing; software performance evaluation; stochastic processes; π-calculus; CSP-like stochastic process algebra; axioms; behavioural analysis; concurrent process model; distributed systems; expected performance; fixed network architecture; language; naming; performance analysis; probabilistic information; semantic language description; stochastic π-calculus; system allocations; topology information; Algebra; Calculus; Carbon capture and storage; Delay; Information analysis; Multiprocessor interconnection networks; Network topology; Performance analysis; Stochastic processes; System recovery;
Conference_Titel :
System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on ,
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-7324-9
DOI :
10.1109/HICSS.1996.495500
