From chi-t to µCRL: Combining Performance and Functional Analysis

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 languageEnglish
Title of host publicationProceedings of the 10th Conference on Engineering of Complex Computer Systems
Place of PublicationWashington
PublisherInstitute of Electrical and Electronics Engineers
Pages184-193
Number of pages10
DOIs
Publication statusPublished - 2005

Fingerprint

Dive into the research topics of 'From chi-t to µCRL: Combining Performance and Functional Analysis'. Together they form a unique fingerprint.

Cite this