From χt to µCRL: Combining Performance and Functional Analysis
Anton Wijs, Wan J. Fokkink · 2005
In this paper the authors first gave short overviews of the modelling languages timed chi( chit) and muCRL. Then a general translation scheme was presented to translate chitspecifications to muCRL specifications. As chittargets performance analysis and muCRL targets functional analysis of systems, this translation scheme provides a way to perform both kinds of analysis on a given chitsystem model. Finally, an example of a chitsystem was given and shown how the translation works on a concrete case study