The Mobius framework and its implementation.

The Mobius framework and its implementation.

The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the m...

Ful tanımlama

Detaylı Bibliyografya
Yayımlandı:IEEE Transactions on software engineering 28, 10 (2002).
Yazar: Deavours, D.D
Materyal Türü: Makale
Dil:English
Konular:
Markov models.
Mobius framework.
PEPA.
Abstract functional interface.
Equivalent models.
Execution policy.
Formal description.
Modeling tools.
Multiple modeling formalisms.
Software tool.
Stochastic Petri nets.