hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A framework for performance evaluation and functional verification in stochastic process algebras
IPM and University of Tehran, Tehran, Iran.
TU/Eindhoven, Eindhoven, The Netherlands.ORCID iD: 0000-0002-4869-6794
IPM and University of Tehran, Tehran, Iran.
2008 (English)In: SAC '08: Proceedings of the 2008 ACM symposium on Applied computing, New York: Association for Computing Machinery (ACM), 2008, 339-346 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
New York: Association for Computing Machinery (ACM), 2008. 339-346 p.
Keyword [en]
Information theory, Telecommunication networks, Algebraic specifications, Functional verifications, One hands, Performance evaluations, Semantic differences, Sound transformations, State spaces, Stochastic process algebras, Stochastic systems
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20500DOI: 10.1145/1363686.1363775ISI: 000268392200066Scopus ID: 2-s2.0-56749106703ISBN: 978-1-59593-753-7 OAI: oai:DiVA.org:hh-20500DiVA: diva2:584684
Conference
23rd Annual ACM Symposium on Applied Computing, Fortaleza, BRAZIL, MAR 16-20, 2008
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 76 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf