A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Modelling CTMC with a standard programming language and using conventions from computer networking
Theoretical and Applied Informatics
Continuous time Markov chains (CTMC) are one of the formalisms for building models. This paper discusses expressing these models in a standard programming language -Java. Using such a language as a model description allows for a partially common implementation of the production software and of the description of the model, for a greater flexibility in comparison to model-checker specific languages that often do not employ features of an object-oriented programming. Using Java also makes thedoi:10.2478/v10179-011-0016-6 fatcat:wx3555f4cffyvktz64gxqxvmpu