Network structure and traffic modeling and simulation with CO-OPN

Authors:
David Hurzeler
Affiliations:
System Modeling and Verification Group, University of Geneva, Geneva, Switzerland
Venue:
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Year:
2005

Citing 6
Cited 0

A Formal Specification Framework for Object-Oriented Distributed Systems

IEEE Transactions on Software Engineering
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism

Concurrent object-oriented programming and petri nets
A Software Package for the Analysis of Generalized Stochastic Petri Net Models

International Workshop on Timed Petri Nets
A Coordination Model for Distributed Object Systems

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Experiences in Coordination Programming

DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
A methodology and a framework for model-based testing

RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we show how network structure and traffic may be modeled and simulated using the Concurrent Object-Oriented Petri Nets formalism with system risk analysis in mind. A small example of network is given, along with its model, which is then extended and simulated. We also show the different directions we plan to take in order to make the models even more realistic and to be able to verify them.