Performance and formal design: a process algebraic perspective

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

1 Citation (Scopus)
20 Downloads (Pure)

Abstract

So far, most research in the area of formal methods has been focussed on the development of theories, methods, and tools for the design and analysis of functional, or qualitative, aspects of information-processing systems. Performance analysis, on the other hand, has always been concerned with the quantitative analysis of such systems. As a result each community has been doing its research mostly independently of the other, although a number of formal models of system behaviour have made their way into the world of performance analysis. First of all, there is the now established field of stochastic Petri nets and its application to performance modelling. More recently, there is a growing interest in the application of process algebraic techniques to performance modelling, and a number of proposals for timed, probabilistic, and stochastic process algebras have been put forward. At the same time we observe that the once clear distinction between the functional and performance properties of systems is getting blurred. With the technological means and the economical drive in place to offer a host of high-performance services to end-users there is a clear need to treat the quantitative quality-of-service parameters as requirements in functional specifications. The rapidly growing importance and proliferation of such systems not only implies a conceptual merging of functionality and performance, but also calls for the integration of qualitative and quantitative aspects in their design and realization. In our presentation we analyse to what extent the use of process algebraic techniques can contribute to an increased collaboration between the performance analysis and formal methods communities. Ideally, such collaboration should not only lead to further progress in performance analysis, but also contribute to the incorporation of performance analysis in an integrated discipline of formal design. Some of the more specific topics that we address are: design by transformation; derivation of performance models; compositionality; liveness and fairness; and true concurrency
Original languageEnglish
Title of host publicationProceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995
Place of PublicationDurham, U.S.A.
PublisherIEEE
Pages124-125
ISBN (Print)9780818672101
DOIs
Publication statusPublished - 3 Oct 1995

Publication series

Name
PublisherIEEE

Fingerprint

Formal methods
Random processes
Petri nets
Merging
Algebra
Quality of service
Specifications
Chemical analysis

Keywords

  • IR-19503
  • METIS-120026

Cite this

Brinksma, H. (1995). Performance and formal design: a process algebraic perspective. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995 (pp. 124-125). Durham, U.S.A.: IEEE. https://doi.org/10.1109/PNPM.1995.524322
Brinksma, Hendrik. / Performance and formal design: a process algebraic perspective. Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. Durham, U.S.A. : IEEE, 1995. pp. 124-125
@inproceedings{d041322efd704479b53b516d29f8867a,
title = "Performance and formal design: a process algebraic perspective",
abstract = "So far, most research in the area of formal methods has been focussed on the development of theories, methods, and tools for the design and analysis of functional, or qualitative, aspects of information-processing systems. Performance analysis, on the other hand, has always been concerned with the quantitative analysis of such systems. As a result each community has been doing its research mostly independently of the other, although a number of formal models of system behaviour have made their way into the world of performance analysis. First of all, there is the now established field of stochastic Petri nets and its application to performance modelling. More recently, there is a growing interest in the application of process algebraic techniques to performance modelling, and a number of proposals for timed, probabilistic, and stochastic process algebras have been put forward. At the same time we observe that the once clear distinction between the functional and performance properties of systems is getting blurred. With the technological means and the economical drive in place to offer a host of high-performance services to end-users there is a clear need to treat the quantitative quality-of-service parameters as requirements in functional specifications. The rapidly growing importance and proliferation of such systems not only implies a conceptual merging of functionality and performance, but also calls for the integration of qualitative and quantitative aspects in their design and realization. In our presentation we analyse to what extent the use of process algebraic techniques can contribute to an increased collaboration between the performance analysis and formal methods communities. Ideally, such collaboration should not only lead to further progress in performance analysis, but also contribute to the incorporation of performance analysis in an integrated discipline of formal design. Some of the more specific topics that we address are: design by transformation; derivation of performance models; compositionality; liveness and fairness; and true concurrency",
keywords = "IR-19503, METIS-120026",
author = "Hendrik Brinksma",
year = "1995",
month = "10",
day = "3",
doi = "10.1109/PNPM.1995.524322",
language = "English",
isbn = "9780818672101",
publisher = "IEEE",
pages = "124--125",
booktitle = "Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995",
address = "United States",

}

Brinksma, H 1995, Performance and formal design: a process algebraic perspective. in Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. IEEE, Durham, U.S.A., pp. 124-125. https://doi.org/10.1109/PNPM.1995.524322

Performance and formal design: a process algebraic perspective. / Brinksma, Hendrik.

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. Durham, U.S.A. : IEEE, 1995. p. 124-125.

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

TY - GEN

T1 - Performance and formal design: a process algebraic perspective

AU - Brinksma, Hendrik

PY - 1995/10/3

Y1 - 1995/10/3

N2 - So far, most research in the area of formal methods has been focussed on the development of theories, methods, and tools for the design and analysis of functional, or qualitative, aspects of information-processing systems. Performance analysis, on the other hand, has always been concerned with the quantitative analysis of such systems. As a result each community has been doing its research mostly independently of the other, although a number of formal models of system behaviour have made their way into the world of performance analysis. First of all, there is the now established field of stochastic Petri nets and its application to performance modelling. More recently, there is a growing interest in the application of process algebraic techniques to performance modelling, and a number of proposals for timed, probabilistic, and stochastic process algebras have been put forward. At the same time we observe that the once clear distinction between the functional and performance properties of systems is getting blurred. With the technological means and the economical drive in place to offer a host of high-performance services to end-users there is a clear need to treat the quantitative quality-of-service parameters as requirements in functional specifications. The rapidly growing importance and proliferation of such systems not only implies a conceptual merging of functionality and performance, but also calls for the integration of qualitative and quantitative aspects in their design and realization. In our presentation we analyse to what extent the use of process algebraic techniques can contribute to an increased collaboration between the performance analysis and formal methods communities. Ideally, such collaboration should not only lead to further progress in performance analysis, but also contribute to the incorporation of performance analysis in an integrated discipline of formal design. Some of the more specific topics that we address are: design by transformation; derivation of performance models; compositionality; liveness and fairness; and true concurrency

AB - So far, most research in the area of formal methods has been focussed on the development of theories, methods, and tools for the design and analysis of functional, or qualitative, aspects of information-processing systems. Performance analysis, on the other hand, has always been concerned with the quantitative analysis of such systems. As a result each community has been doing its research mostly independently of the other, although a number of formal models of system behaviour have made their way into the world of performance analysis. First of all, there is the now established field of stochastic Petri nets and its application to performance modelling. More recently, there is a growing interest in the application of process algebraic techniques to performance modelling, and a number of proposals for timed, probabilistic, and stochastic process algebras have been put forward. At the same time we observe that the once clear distinction between the functional and performance properties of systems is getting blurred. With the technological means and the economical drive in place to offer a host of high-performance services to end-users there is a clear need to treat the quantitative quality-of-service parameters as requirements in functional specifications. The rapidly growing importance and proliferation of such systems not only implies a conceptual merging of functionality and performance, but also calls for the integration of qualitative and quantitative aspects in their design and realization. In our presentation we analyse to what extent the use of process algebraic techniques can contribute to an increased collaboration between the performance analysis and formal methods communities. Ideally, such collaboration should not only lead to further progress in performance analysis, but also contribute to the incorporation of performance analysis in an integrated discipline of formal design. Some of the more specific topics that we address are: design by transformation; derivation of performance models; compositionality; liveness and fairness; and true concurrency

KW - IR-19503

KW - METIS-120026

U2 - 10.1109/PNPM.1995.524322

DO - 10.1109/PNPM.1995.524322

M3 - Conference contribution

SN - 9780818672101

SP - 124

EP - 125

BT - Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995

PB - IEEE

CY - Durham, U.S.A.

ER -

Brinksma H. Performance and formal design: a process algebraic perspective. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. Durham, U.S.A.: IEEE. 1995. p. 124-125 https://doi.org/10.1109/PNPM.1995.524322