Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Parametric Stochastic Well-Formed Nets and Compositional Modelling

Paolo Ballarini6, Susanna DonatelliContact Information and Giuliana FranceschinisContact Information

(6)  Dip.to di Informatica, Università di Torino, Italy
(7)  DSTA, Università del Piemonte Orientale, Alessandria, Italy
Abstract
Colored nets have been recognized as a powerful modelling paradigm for the validation and evaluation of systems, both in terms of compact representation and aggregate state space generation. In this paper we discuss the issue of adding compositionality to a class of stochastic colored nets named Stochastic Well-formed Nets, in order to increase modularity and reuse of the modelling efforts. This requires the notion of Parametric Stochastic Well-formed net: nets in which a certain amount of information is left unspecified, and is instantiated only upon model composition. The choice of the compositional rule has been based on previous work on layered models for integrated hardware and software systems (the processes, services and resources methodology), and an example of layered modelling with Parametric Stochastic Well-formed net is presented to show the efficacy of the proposed formalism.
We acknowledge contribution of the EEC project 28620 TIRAN.

Contact Information Susanna Donatelli
Email: susi@di.unito.it

Contact Information Giuliana Franceschinis
Email: giuliana@di.unito.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb17
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)