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

Graham Clark; William H. Sanders

doi:10.1007/3-540-44804-7_13

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Process Algebra and Probabilistic Methods
Subtitle of host publication	Performance Modelling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Proceedings
Editors	Luca de Alfaro, Stephen Gilmore
Publisher	Springer
Pages	200-215
Number of pages	16
ISBN (Print)	354042556X, 9783540425564
DOIs	https://doi.org/10.1007/3-540-44804-7_13
State	Published - 2001
Event	1st Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001 - Aachen, Germany Duration: Sep 12 2001 → Sep 14 2001

Publication series

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

Other

Other	1st Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001
Country/Territory	Germany
City	Aachen
Period	9/12/01 → 9/14/01

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/3-540-44804-7_13

Library availability

Discover UIUC Full Text

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. https://doi.org/10.1007/3-540-44804-7_13

Implementing a stochastic process algebra within the möbius modeling framework. / Clark, Graham; Sanders, William H.

Process Algebra and Probabilistic Methods: Performance Modelling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Proceedings. ed. / Luca de Alfaro; Stephen Gilmore. Springer, 2001. p. 200-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2165).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Clark, G & Sanders, WH 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2165, Springer, pp. 200-215, 1st Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, Aachen, Germany, 9/12/01. https://doi.org/10.1007/3-540-44804-7_13

Clark G, Sanders WH. Implementing a stochastic process algebra within the möbius modeling framework. In de Alfaro L, Gilmore S, editors, Process Algebra and Probabilistic Methods: Performance Modelling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Proceedings. Springer. 2001. p. 200-215. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44804-7_13

Clark, Graham ; Sanders, William H. / Implementing a stochastic process algebra within the möbius modeling framework. Process Algebra and Probabilistic Methods: Performance Modelling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Proceedings. editor / Luca de Alfaro ; Stephen Gilmore. Springer, 2001. pp. 200-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d45a30a95df94831a43ed296eabcfe0f,

title = "Implementing a stochastic process algebra within the m{\"o}bius modeling framework",

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{\"o}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{\"o}bius if a mapping can be provided to the M{\"o}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{\"o}bius users the opportunity to make use of stochastic process algebra models in their performance and dependability models.",

author = "Graham Clark and Sanders, {William H.}",

year = "2001",

doi = "10.1007/3-540-44804-7_13",

language = "English (US)",

isbn = "354042556X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "200--215",

editor = "{de Alfaro}, Luca and Stephen Gilmore",

booktitle = "Process Algebra and Probabilistic Methods",

address = "Germany",

note = "1st Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001 ; Conference date: 12-09-2001 Through 14-09-2001",

}

TY - GEN

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

AU - Clark, Graham

AU - Sanders, William H.

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84957812126&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957812126&partnerID=8YFLogxK

U2 - 10.1007/3-540-44804-7_13

DO - 10.1007/3-540-44804-7_13

M3 - Conference contribution

AN - SCOPUS:84957812126

SN - 354042556X

SN - 9783540425564

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 200

EP - 215

BT - Process Algebra and Probabilistic Methods

A2 - de Alfaro, Luca

A2 - Gilmore, Stephen

PB - Springer

T2 - 1st Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001

Y2 - 12 September 2001 through 14 September 2001

ER -

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

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this