Communicating Process Achitectures 2005

M.A. Groothuis, Johannes F. Broenink (Editor), Herman W. Roebbers, Johan P.E. Sunters, Peter H. Welch, David C. Wood (Editor)

Research output: Book/ReportBookAcademic

Abstract

The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person – maybe not even a small team – can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined to achieve scalability. A crucial property is that the cost of making a change to a system depends linearly on the size of that change – not on the size of the system being changed. Of course, this must be true whether that change is a matter of maintenance (e.g. to take advantage of upcoming multiprocessor hardware) or the addition of new functionality. One key is that system composition (and disassembly) introduces no surprises. A component must behave consistently, no matter the context in which it is used – which means that component interfaces must be explicit, published and free from hidden side-effect. This publication offers strongly refereed high-quality papers covering many differing aspects: system design and implementation (for both hardware and software), tools (concurrent programming languages, libraries and run-time kernels), formal methods and applications.
Original languageUndefined
Place of PublicationAmsterdam, Netherlands
PublisherIOS Press
Number of pages416
ISBN (Print)978-1-58603-561-7
Publication statusPublished - Sep 2005

Publication series

NameConcurrent Systems Engineering Series
PublisherIOS Press
Volume63

Keywords

  • EWI-19768
  • METIS-231089
  • IR-76543

Cite this

Groothuis, M. A., Broenink, J. F. (Ed.), Roebbers, H. W., Sunters, J. P. E., Welch, P. H., & Wood, D. C. (Ed.) (2005). Communicating Process Achitectures 2005. (Concurrent Systems Engineering Series; Vol. 63). Amsterdam, Netherlands: IOS Press.
Groothuis, M.A. ; Broenink, Johannes F. (Editor) ; Roebbers, Herman W. ; Sunters, Johan P.E. ; Welch, Peter H. ; Wood, David C. (Editor). / Communicating Process Achitectures 2005. Amsterdam, Netherlands : IOS Press, 2005. 416 p. (Concurrent Systems Engineering Series).
@book{db2ce4147cb6499bac1c212ce424c78b,
title = "Communicating Process Achitectures 2005",
abstract = "The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person – maybe not even a small team – can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined to achieve scalability. A crucial property is that the cost of making a change to a system depends linearly on the size of that change – not on the size of the system being changed. Of course, this must be true whether that change is a matter of maintenance (e.g. to take advantage of upcoming multiprocessor hardware) or the addition of new functionality. One key is that system composition (and disassembly) introduces no surprises. A component must behave consistently, no matter the context in which it is used – which means that component interfaces must be explicit, published and free from hidden side-effect. This publication offers strongly refereed high-quality papers covering many differing aspects: system design and implementation (for both hardware and software), tools (concurrent programming languages, libraries and run-time kernels), formal methods and applications.",
keywords = "EWI-19768, METIS-231089, IR-76543",
author = "M.A. Groothuis and Roebbers, {Herman W.} and Sunters, {Johan P.E.} and Welch, {Peter H.}",
editor = "Broenink, {Johannes F.} and Wood, {David C.}",
note = "Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands",
year = "2005",
month = "9",
language = "Undefined",
isbn = "978-1-58603-561-7",
series = "Concurrent Systems Engineering Series",
publisher = "IOS Press",
address = "Netherlands",

}

Groothuis, MA, Broenink, JF (ed.), Roebbers, HW, Sunters, JPE, Welch, PH & Wood, DC (ed.) 2005, Communicating Process Achitectures 2005. Concurrent Systems Engineering Series, vol. 63, IOS Press, Amsterdam, Netherlands.

Communicating Process Achitectures 2005. / Groothuis, M.A.; Broenink, Johannes F. (Editor); Roebbers, Herman W.; Sunters, Johan P.E.; Welch, Peter H.; Wood, David C. (Editor).

Amsterdam, Netherlands : IOS Press, 2005. 416 p. (Concurrent Systems Engineering Series; Vol. 63).

Research output: Book/ReportBookAcademic

TY - BOOK

T1 - Communicating Process Achitectures 2005

AU - Groothuis, M.A.

AU - Roebbers, Herman W.

AU - Sunters, Johan P.E.

AU - Welch, Peter H.

A2 - Broenink, Johannes F.

A2 - Wood, David C.

N1 - Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands

PY - 2005/9

Y1 - 2005/9

N2 - The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person – maybe not even a small team – can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined to achieve scalability. A crucial property is that the cost of making a change to a system depends linearly on the size of that change – not on the size of the system being changed. Of course, this must be true whether that change is a matter of maintenance (e.g. to take advantage of upcoming multiprocessor hardware) or the addition of new functionality. One key is that system composition (and disassembly) introduces no surprises. A component must behave consistently, no matter the context in which it is used – which means that component interfaces must be explicit, published and free from hidden side-effect. This publication offers strongly refereed high-quality papers covering many differing aspects: system design and implementation (for both hardware and software), tools (concurrent programming languages, libraries and run-time kernels), formal methods and applications.

AB - The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person – maybe not even a small team – can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined to achieve scalability. A crucial property is that the cost of making a change to a system depends linearly on the size of that change – not on the size of the system being changed. Of course, this must be true whether that change is a matter of maintenance (e.g. to take advantage of upcoming multiprocessor hardware) or the addition of new functionality. One key is that system composition (and disassembly) introduces no surprises. A component must behave consistently, no matter the context in which it is used – which means that component interfaces must be explicit, published and free from hidden side-effect. This publication offers strongly refereed high-quality papers covering many differing aspects: system design and implementation (for both hardware and software), tools (concurrent programming languages, libraries and run-time kernels), formal methods and applications.

KW - EWI-19768

KW - METIS-231089

KW - IR-76543

M3 - Book

SN - 978-1-58603-561-7

T3 - Concurrent Systems Engineering Series

BT - Communicating Process Achitectures 2005

PB - IOS Press

CY - Amsterdam, Netherlands

ER -

Groothuis MA, Broenink JF, (ed.), Roebbers HW, Sunters JPE, Welch PH, Wood DC, (ed.). Communicating Process Achitectures 2005. Amsterdam, Netherlands: IOS Press, 2005. 416 p. (Concurrent Systems Engineering Series).