A graphical Specification Language for Modeling Concurrency based on CSP

G.H. Hilderink

A graphical Specification Language for Modeling Concurrency based on CSP

G.H. Hilderink

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

79 Downloads (Pure)

Abstract

Introduced in this paper is a new graphical modeling language for specifying concurrency in software designs. The language notations are derived from CSP and the resulting designs form CSP diagrams. The notations reflect both data-flow and control-flow aspects, as well as along with CSP algebraic expressions that can be used for formal analysis. The designer does not have to be aware of the underlying mathematics. The techniques and rules presented provide guidance to the development of concurrent software architectures. One can detect and reason about compositional conflicts (errors in design), potential deadlocks (errors at run-time), and priority inversion problems (performance burden) at a high level of abstraction. The CSP diagram collaborates with object-oriented modeling languages and structured methods.

Original language	English
Title of host publication	Proceedings Communicating Process Architectures 2002
Editors	James Pascoe, Peter Welch, Roger Loader, Vaidy Sunderam
Place of Publication	Reading (UK)
Publisher	IOS
Pages	255-284
Number of pages	30
ISBN (Print)	1 58603 268 2
Publication status	Published - 15 Sept 2002
Event	Communicating Process Architectures, CPA 2002 : 25th WoTUG Technical Meeting on Concurrent and Parallel Programming - University of Reading, Reading, United Kingdom Duration: 15 Sept 2002 → 18 Sept 2002 Conference number: 25

Publication series

Name
Publisher	IOS Press

Conference

Conference	Communicating Process Architectures, CPA 2002
Abbreviated title	CPA
Country/Territory	United Kingdom
City	Reading
Period	15/09/02 → 18/09/02

Keywords

METIS-207506
IR-43829

Access to Document

hilderink02graphical

Cite this

@inproceedings{a07f855a1e944a0a901fb4a2510d122a,

title = "A graphical Specification Language for Modeling Concurrency based on CSP",

abstract = "Introduced in this paper is a new graphical modeling language for specifying concurrency in software designs. The language notations are derived from CSP and the resulting designs form CSP diagrams. The notations reflect both data-flow and control-flow aspects, as well as along with CSP algebraic expressions that can be used for formal analysis. The designer does not have to be aware of the underlying mathematics. The techniques and rules presented provide guidance to the development of concurrent software architectures. One can detect and reason about compositional conflicts (errors in design), potential deadlocks (errors at run-time), and priority inversion problems (performance burden) at a high level of abstraction. The CSP diagram collaborates with object-oriented modeling languages and structured methods.",

keywords = "METIS-207506, IR-43829",

author = "G.H. Hilderink",

year = "2002",

month = sep,

day = "15",

language = "English",

isbn = "1 58603 268 2",

publisher = "IOS",

pages = "255--284",

editor = "James Pascoe and Peter Welch and Roger Loader and Vaidy Sunderam",

booktitle = "Proceedings Communicating Process Architectures 2002",

address = "Netherlands",

note = "Communicating Process Architectures, CPA 2002 : 25th WoTUG Technical Meeting on Concurrent and Parallel Programming, CPA ; Conference date: 15-09-2002 Through 18-09-2002",

}

TY - GEN

T1 - A graphical Specification Language for Modeling Concurrency based on CSP

AU - Hilderink, G.H.

N1 - Conference code: 25

PY - 2002/9/15

Y1 - 2002/9/15

N2 - Introduced in this paper is a new graphical modeling language for specifying concurrency in software designs. The language notations are derived from CSP and the resulting designs form CSP diagrams. The notations reflect both data-flow and control-flow aspects, as well as along with CSP algebraic expressions that can be used for formal analysis. The designer does not have to be aware of the underlying mathematics. The techniques and rules presented provide guidance to the development of concurrent software architectures. One can detect and reason about compositional conflicts (errors in design), potential deadlocks (errors at run-time), and priority inversion problems (performance burden) at a high level of abstraction. The CSP diagram collaborates with object-oriented modeling languages and structured methods.

AB - Introduced in this paper is a new graphical modeling language for specifying concurrency in software designs. The language notations are derived from CSP and the resulting designs form CSP diagrams. The notations reflect both data-flow and control-flow aspects, as well as along with CSP algebraic expressions that can be used for formal analysis. The designer does not have to be aware of the underlying mathematics. The techniques and rules presented provide guidance to the development of concurrent software architectures. One can detect and reason about compositional conflicts (errors in design), potential deadlocks (errors at run-time), and priority inversion problems (performance burden) at a high level of abstraction. The CSP diagram collaborates with object-oriented modeling languages and structured methods.

KW - METIS-207506

KW - IR-43829

M3 - Conference contribution

SN - 1 58603 268 2

SP - 255

EP - 284

BT - Proceedings Communicating Process Architectures 2002

A2 - Pascoe, James

A2 - Welch, Peter

A2 - Loader, Roger

A2 - Sunderam, Vaidy

PB - IOS

CY - Reading (UK)

T2 - Communicating Process Architectures, CPA 2002

Y2 - 15 September 2002 through 18 September 2002

ER -

A graphical Specification Language for Modeling Concurrency based on CSP

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this