• DocumentCode
    3549529
  • Title

    From χ t to µ CRL: Combining Performance and Functional Analysis

  • Author

    Wijs, A. ; Fokkink, W.

  • Author_Institution
    Dept. of Software Eng., CWI, Amsterdam
  • fYear
    2005
  • fDate
    16-20 June 2005
  • Firstpage
    184
  • Lastpage
    193
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ICECCS.2005.51
  • Filename
    1467899
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3549529