Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
复制标题
在莫比乌斯建模框架内实现随机过程代数
DOI：
10.1007/3-540-44804-7_13
复制
发表时间：
2001
影响因子：
3.4
通讯作者：
W. Sanders
中科院分区：
文献类型：
--
作者：
G. Clark;W. Sanders
性能和可靠性建模存在许多形式主义和解决方法。然而，不同的形式主义有不同的优点和长处，没有一种形式主义是放之四海而皆准的。 Mobius 工具旨在提供多形式多解建模，并允许建模者以任何支持的形式开发模型。如果可以向莫比乌斯抽象功能接口提供映射，则可以在莫比乌斯中实现形式主义，其中包括状态概念和状态如何随时间变化的概念。我们描述了一种将 PEPA（随机过程代数）映射到抽象函数接口的方法。这使 Mobius 用户有机会在其性能和可靠性模型中使用随机过程代数模型。
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 Mobius 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 Mobius if a mapping can be provided to the Mobius 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 Mobius users the opportunity to make use of stochastic process algebra models in their performance and dependability models.