gCSP: A Graphical Tool for Designing CSP systems

D.S. Jovanovic; B. Orlic; Geert K. Liet; Johannes F. Broenink

gCSP: A Graphical Tool for Designing CSP systems

D.S. Jovanovic, B. Orlic, Geert K. Liet, Johannes F. Broenink

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

11 Citations (Scopus)

99 Downloads (Pure)

Abstract

For broad acceptance of an engineering paradigm, a graphical notation and a supporting design tool seem necessary. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview.

Original language	Undefined
Title of host publication	Proceedings Communicating Process Architectures 2004
Place of Publication	Oxford
Publisher	IOS
Pages	233-251
ISBN (Print)	9781586034580
Publication status	Published - 5 Sept 2004
Event	Communicating Process Architectures, CPA 2004: 27th WoTUG Technical Meeting on Concurrent and Parallel Programming - Oxford Brookes University, Oxford Duration: 5 Sept 2004 → 8 Sept 2004 Conference number: 27

Publication series

Name	Concurrent Systems Engineering Series 62
Publisher	IOS Press

Conference

Conference	Communicating Process Architectures, CPA 2004
Abbreviated title	CPA
City	Oxford
Period	5/09/04 → 8/09/04

Keywords

IR-49238
METIS-221417

Access to Document

jovanovic04gcsp

Cite this

@inproceedings{89d89d159a2743cda0ee125cced57e5b,

title = "gCSP: A Graphical Tool for Designing CSP systems",

abstract = "For broad acceptance of an engineering paradigm, a graphical notation and a supporting design tool seem necessary. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview.",

keywords = "IR-49238, METIS-221417",

author = "D.S. Jovanovic and B. Orlic and Liet, {Geert K.} and Broenink, {Johannes F.}",

year = "2004",

month = sep,

day = "5",

language = "Undefined",

isbn = "9781586034580",

series = "Concurrent Systems Engineering Series 62",

publisher = "IOS",

pages = "233--251",

booktitle = "Proceedings Communicating Process Architectures 2004",

address = "Netherlands",

note = "Communicating Process Architectures, CPA 2004 ; Conference date: 05-09-2004 Through 08-09-2004",

}

TY - GEN

T1 - gCSP: A Graphical Tool for Designing CSP systems

AU - Jovanovic, D.S.

AU - Orlic, B.

AU - Liet, Geert K.

AU - Broenink, Johannes F.

N1 - Conference code: 27

PY - 2004/9/5

Y1 - 2004/9/5

N2 - For broad acceptance of an engineering paradigm, a graphical notation and a supporting design tool seem necessary. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview.

AB - For broad acceptance of an engineering paradigm, a graphical notation and a supporting design tool seem necessary. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview.

KW - IR-49238

KW - METIS-221417

M3 - Conference contribution

SN - 9781586034580

T3 - Concurrent Systems Engineering Series 62

SP - 233

EP - 251

BT - Proceedings Communicating Process Architectures 2004

PB - IOS

CY - Oxford

T2 - Communicating Process Architectures, CPA 2004

Y2 - 5 September 2004 through 8 September 2004

ER -