INSPIRING FUTURES

Integrating and extending JCSP.

Welch, Peter, Brown, Neil, Moores, James, Chalmers, Kevin and Sputh, Bernhard (2007) Integrating and extending JCSP. In: Communicating Process Architectures 2007. Concurrent Systems Engineering Series, 65 . IOS Press, Amsterdam, pp. 349-370. ISBN 978-1-58603-767-3

Full text not available from this repository. (Request a copy)

Abstract/Description

This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone's JCSP Network Edition and the "core" library maintained at Kent. A more secure API for connecting networks and manipulating channels is provided, requiring significant internal re-structuring. This mirrors developments in the occam-pi language for mandated direction specifiers on channel-ends. For JCSP, promoting the concept of channel-ends to first-class entities has both semantic benefit (the same as for occampi) and increased safety. Major extensions include alting barriers (classes supporting external choice over multiple multi-way synchronisations), channel output guards (straightforward once we have the alting barriers), channel poisoning (for the safe and simple termination of networks or sub-networks) and extended rendezvous on channel communications (that simplify the capture of several useful synchronisation design patterns). Almost all CSP systems can now be directly captured with the new JCSP. The new library is available under the LGPL open source license.

Item Type: Book Section
ISBN: 978-1-58603-767-3
Uncontrolled Keywords: Communicating Process Architectures; JCSP networking; occam-pi; channel-ends; channel communications; synchronisation design patterns;
University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Computing
Dewey Decimal Subjects: 600 Technology > 620 Engineering > 621 Electronic & mechanical engineering > 621.3 Electrical & electronic engineering > 621.38 Electronics & Communications engineering > 621.389 Computer engineering
600 Technology > 620 Engineering > 621 Electronic & mechanical engineering > 621.3 Electrical & electronic engineering > 621.38 Electronics & Communications engineering > 621.382 Communications engineering
000 Computer science, information & general works > 000 Computer science, knowledge & systems > 004 Data processing & computer science
Library of Congress Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Item ID: 3504
Depositing User: Computing Research
Date Deposited: 15 Jan 2010 13:06
Last Modified: 04 Mar 2010 13:50
URI: http://researchrepository.napier.ac.uk/id/eprint/3504

Actions (login required)

View Item

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373