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

Anton Wijs; Wan J. Fokkink

doi:10.1109/ICECCS.2005.51

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

Discrete Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

14 Citations (Scopus)

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	https://doi.org/10.1109/ICECCS.2005.51
Publication status	Published - 2005

Access to Document

10.1109/ICECCS.2005.51

Cite this

@inproceedings{de36a7c6e9a54d71bc9460d89f88f4d9,

title = "From chi-t to µCRL: Combining Performance and Functional Analysis",

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",

author = "Anton Wijs and Fokkink, \{Wan J.\}",

year = "2005",

doi = "10.1109/ICECCS.2005.51",

language = "English",

pages = "184--193",

booktitle = "Proceedings of the 10th Conference on Engineering of Complex Computer Systems",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

From chi-t to µCRL: Combining Performance and Functional Analysis. / Wijs, Anton ; Fokkink, Wan J.
Proceedings of the 10th Conference on Engineering of Complex Computer Systems. Washington: Institute of Electrical and Electronics Engineers, 2005. p. 184-193.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Wijs, Anton

AU - Fokkink, Wan J.

PY - 2005

Y1 - 2005

N2 - 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

AB - 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

U2 - 10.1109/ICECCS.2005.51

DO - 10.1109/ICECCS.2005.51

M3 - Conference contribution

SP - 184

EP - 193

BT - Proceedings of the 10th Conference on Engineering of Complex Computer Systems

PB - Institute of Electrical and Electronics Engineers

CY - Washington

ER -

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

Abstract

Access to Document

Fingerprint

Cite this