Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets

Authors:
Carlo Bellettini;Lorenzo Capra;Mattia Monga
Affiliations:
DICo -- Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, Italy;DICo -- Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, Italy;DICo -- Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 9
Cited 1

High-level Petri nets: theory and application

High-level Petri nets: theory and application
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets

Performance Evaluation - Special issue: performance modeling tools
A symbolic reachability graph for coloured Petri nets

Theoretical Computer Science
On optimistic methods for concurrency control

ACM Transactions on Database Systems (TODS)
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications

IEEE Transactions on Computers
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications

IEEE Transactions on Software Engineering
Freeing Cooperation from Servers Tyranny

Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
Life-Cycle Inheritance: A Petri-Net-Based Approach

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities

IEEE Transactions on Software Engineering

Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Traditional support tools for software engineers, normally based on a client-server architecture, are unsuitable to deal with the new issues emerging from the current (and future) cooperative work scenarios (where connectivity is intrinsically transient, the number of interacting partners dynamically changes, etc.). This paper presents a quantitative assessment of a fully decentralized, peer-to-peer, cooperative infrastructure. Stochastic Well-Formed Nets (SWNs) modelling the new peer-to-peer architecture, and a traditional (client-server) one, are developed and analysed: we used SWNs for their ability to directly exploit the symmetries intrinsically present in the modelled systems, thus greatly reducing the complexity of the analysis. The main goal is to compare the impact of the two alternative protocols on the collaborative work. Together with the performance figures of interest, methodological issues concerning the choice of the most appropriate model abstraction level, the adoption of a compositional modelling approach, and the management of the model complexity are also discussed.