Title :
From χ t to µ CRL: Combining Performance and Functional Analysis
Author :
Wijs, A. ; Fokkink, W.
Author_Institution :
Dept. of Software Eng., CWI, Amsterdam
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
Keywords :
formal specification; functional analysis; language translation; simulation languages; software performance evaluation; specification languages; functional analysis; modelling language; muCRL; performance analysis; specification translation; timed chi( chit); Algebra; Analytical models; Computer industry; Delay; Discrete event systems; Functional analysis; Manufacturing industries; Performance analysis; Software engineering; Specification languages;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.51
