Browse wiki

From CERES
Jump to: navigation, search
Publications:A framework for performance evaluation and functional verification in stochastic process algebras
Abstract <p>Despite its relatively short hist<p>Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying framework for performance evaluation and functional verification. To this end, we propose an approach enabling a provably sound transformation from some existing stochastic process algebras, e.g., PEPA and MTIPP, to a generic form in the mCRL2 language. This way, we resolve the semantic differences among different stochastic process algebras themselves, on one hand, and between stochastic process algebras and classic ones, such as mCRL2, on the other hand. From the generic form, one can generate a state space and perform various functional and performance-related analyses, as we illustrate in this paper.</p> as we illustrate in this paper.</p>
Author Hossein Hojjat + , Mohammad Reza Mousavi + , Marjan Sirjani +
Conference 23rd Annual ACM Symposium on Applied Computing, Fortaleza, BRAZIL, MAR 16-20, 2008
DOI http://dx.doi.org/10.1145/1363686.1363775  +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584684
EndPage 346  +
HostPublication SAC '08 : Proceedings of the 2008 ACM symposium on Applied computing  +
PublicationType Conference Paper  +
Publisher Association for Computing Machinery (ACM)  +
StartPage 339  +
Title A framework for performance evaluation and functional verification in stochastic process algebras  +
Year 2008  +
Has queryThis property is a special property in this wiki. Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras + , Publications:A framework for performance evaluation and functional verification in stochastic process algebras +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:30  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.