Abstract
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 chit specifications to muCRL specifications. As chit targets performance analysis and muCRL targets functional analysis of systems, this translation scheme provides a way to perform both kinds of analysis on a given chit system model. Finally, an example of a chit system was given and shown how the translation works on a concrete case study
Original language | English |
---|---|
Title of host publication | Proceedings of the 10th Conference on Engineering of Complex Computer Systems |
Place of Publication | Washington |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 184-193 |
Number of pages | 10 |
DOIs | |
Publication status | Published - 2005 |