Integrating behavioural and performance analysis with topology information

Author

Priami, Corrado

Author_Institution

Dipartimento di Inf., Pisa Univ., Italy

Volume

1

fYear

1996

fDate

3-6 Jan 1996

Firstpage

508

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on ,

Conference_Location

Wailea, HI

Print_ISBN

0-8186-7324-9

Type

conf

DOI

10.1109/HICSS.1996.495500

Filename

495500