School of Computing

JACK: A Framework for Process Algebra Implementation in Java

Leonardo Freitas, ALC Cavalcanti, and Augusto Sampaio

In Proceedings of XVI Simp�sio Brasileiro de Engenharia de Software, pages 182-196, http://www.sbc.org.br/sbes, October 2002. Sociedade Brasileira de Computacao.

Abstract

The construction of concurrent programs is especially complex due mainly to the inherent non-determinism of their execution, which makes it difficult to repeat test scenarios.

Process algebras have been used to design and reason about these programs.

This paper presents an approach to developing concurrent programs using a set of process algebra constructs implemented as an object-oriented framework in Java, called JACK.

The main objective of the framework is the design and implementation of process algebra constructs that provides as naturally as possible, the algebraic idiom as an extension package to Java.

This work emphasises the use of design patterns and pattern languages to properly build frameworks like this, achieving desired software engineering properties and software quality requirements.

The user of the JACK framework is able to describe its process specification in Java.

Download publication 195 kbytes (PDF)

Bibtex Record

@inproceedings{1716,
author = {Leonardo Freitas and ALC Cavalcanti and Augusto Sampaio},
title = {{JACK}: A {F}ramework for {P}rocess {A}lgebra {I}mplementation in {J}ava},
month = {October},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1716},
    publication_type = {inproceedings},
    submission_id = {21991_1064319810},
    booktitle = {Proceedings of XVI Simp�sio Brasileiro de Engenharia de Software},
    address = {http://www.sbc.org.br/sbes},
    publisher = {Sociedade Brasileira de Computacao},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014