Implementing a stochastic process algebra within the möbius modeling framework

Graham Clark, William H. Sanders

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used. The Möbius tool was built to provide multi-formalism multisolution modeling, and allows the modeler to develop models in any supported formalism. A formalism can be implemented in Möbius if a mapping can be provided to the Möbius Abstract Functional Interface, which includes a notion of state and a notion of how state changes over time. We describe a way to map PEPA, a stochastic process algebra, to the abstract functional interface. This gives Möbius users the opportunity to make use of stochastic process algebra models in their performance and dependability models.

Original languageEnglish (US)
Title of host publicationProcess Algebra and Probabilistic Methods
Subtitle of host publicationPerformance Modelling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Proceedings
EditorsLuca de Alfaro, Stephen Gilmore
PublisherSpringer-Verlag Berlin Heidelberg
Pages200-215
Number of pages16
ISBN (Print)354042556X, 9783540425564
DOIs
StatePublished - Jan 1 2001
Event1st Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001 - Aachen, Germany
Duration: Sep 12 2001Sep 14 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2165
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001
CountryGermany
CityAachen
Period9/12/019/14/01

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Implementing a stochastic process algebra within the möbius modeling framework'. Together they form a unique fingerprint.

  • Cite this

    Clark, G., & Sanders, W. H. (2001). Implementing a stochastic process algebra within the möbius modeling framework. In L. de Alfaro, & S. Gilmore (Eds.), Process Algebra and Probabilistic Methods: Performance Modelling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Proceedings (pp. 200-215). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2165). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-44804-7_13