Compositional Theories of Qualitative and Quantitative Behaviour

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

31 Downloads (Pure)

Abstract

The integrated modelling and analysis of functional and non-functional aspects of system behaviour is one of the important challenges in the field of formal methods today. Our ever-increasing dependence upon of all sorts of critical applications of networked and/or embedded systems, often including sophisticated multi-media features, lends this intellectual challenge also great practical relevance. In this talk we will report on work in this area in the past decade or so on the use of techniques from so-called formal methods in the area of performance modelling and analysis, and in particular on the theory of stochastic process algebra (SPA) and its application.
Original languageUndefined
Title of host publication24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN)
EditorsW. van der Aalst, E. Best
Place of PublicationHeidelberg
PublisherSpringer
Pages37-42
Number of pages6
ISBN (Print)3-540-40334-5
DOIs
Publication statusPublished - Jan 2003

Publication series

NameLecture Notes in Computer Science 2679
NumberXI
Volume2679
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • IR-47325
  • EWI-815
  • METIS-217657

Cite this

Brinksma, H. (2003). Compositional Theories of Qualitative and Quantitative Behaviour. In W. van der Aalst, & E. Best (Eds.), 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN) (pp. 37-42). (Lecture Notes in Computer Science 2679; Vol. 2679, No. XI). Heidelberg: Springer. https://doi.org/10.1007/3-540-44919-1_5
Brinksma, Hendrik. / Compositional Theories of Qualitative and Quantitative Behaviour. 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN). editor / W. van der Aalst ; E. Best. Heidelberg : Springer, 2003. pp. 37-42 (Lecture Notes in Computer Science 2679; XI).
@inproceedings{d3f72fd067c042199fa90122fa31b007,
title = "Compositional Theories of Qualitative and Quantitative Behaviour",
abstract = "The integrated modelling and analysis of functional and non-functional aspects of system behaviour is one of the important challenges in the field of formal methods today. Our ever-increasing dependence upon of all sorts of critical applications of networked and/or embedded systems, often including sophisticated multi-media features, lends this intellectual challenge also great practical relevance. In this talk we will report on work in this area in the past decade or so on the use of techniques from so-called formal methods in the area of performance modelling and analysis, and in particular on the theory of stochastic process algebra (SPA) and its application.",
keywords = "IR-47325, EWI-815, METIS-217657",
author = "Hendrik Brinksma",
note = "Imported from DIES",
year = "2003",
month = "1",
doi = "10.1007/3-540-44919-1_5",
language = "Undefined",
isbn = "3-540-40334-5",
series = "Lecture Notes in Computer Science 2679",
publisher = "Springer",
number = "XI",
pages = "37--42",
editor = "{van der Aalst}, W. and E. Best",
booktitle = "24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN)",

}

Brinksma, H 2003, Compositional Theories of Qualitative and Quantitative Behaviour. in W van der Aalst & E Best (eds), 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN). Lecture Notes in Computer Science 2679, no. XI, vol. 2679, Springer, Heidelberg, pp. 37-42. https://doi.org/10.1007/3-540-44919-1_5

Compositional Theories of Qualitative and Quantitative Behaviour. / Brinksma, Hendrik.

24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN). ed. / W. van der Aalst; E. Best. Heidelberg : Springer, 2003. p. 37-42 (Lecture Notes in Computer Science 2679; Vol. 2679, No. XI).

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

TY - GEN

T1 - Compositional Theories of Qualitative and Quantitative Behaviour

AU - Brinksma, Hendrik

N1 - Imported from DIES

PY - 2003/1

Y1 - 2003/1

N2 - The integrated modelling and analysis of functional and non-functional aspects of system behaviour is one of the important challenges in the field of formal methods today. Our ever-increasing dependence upon of all sorts of critical applications of networked and/or embedded systems, often including sophisticated multi-media features, lends this intellectual challenge also great practical relevance. In this talk we will report on work in this area in the past decade or so on the use of techniques from so-called formal methods in the area of performance modelling and analysis, and in particular on the theory of stochastic process algebra (SPA) and its application.

AB - The integrated modelling and analysis of functional and non-functional aspects of system behaviour is one of the important challenges in the field of formal methods today. Our ever-increasing dependence upon of all sorts of critical applications of networked and/or embedded systems, often including sophisticated multi-media features, lends this intellectual challenge also great practical relevance. In this talk we will report on work in this area in the past decade or so on the use of techniques from so-called formal methods in the area of performance modelling and analysis, and in particular on the theory of stochastic process algebra (SPA) and its application.

KW - IR-47325

KW - EWI-815

KW - METIS-217657

U2 - 10.1007/3-540-44919-1_5

DO - 10.1007/3-540-44919-1_5

M3 - Conference contribution

SN - 3-540-40334-5

T3 - Lecture Notes in Computer Science 2679

SP - 37

EP - 42

BT - 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN)

A2 - van der Aalst, W.

A2 - Best, E.

PB - Springer

CY - Heidelberg

ER -

Brinksma H. Compositional Theories of Qualitative and Quantitative Behaviour. In van der Aalst W, Best E, editors, 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN). Heidelberg: Springer. 2003. p. 37-42. (Lecture Notes in Computer Science 2679; XI). https://doi.org/10.1007/3-540-44919-1_5