© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Towards a Viable Alternative to OO - Extending the sf occam/CSP Programming Model
T.S. Locke
In A.Chalmers, M.Mirmehdi, and H.Muller, editors, Communicating Process Architectures 2001, volume 59 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, The Netherlands, September 2001. IOS Press.Abstract
Object orientation has become the de facto standard for large scale, general purpose software engineering. In this paper various aspects of object orientation that are against good software engineering practice are highlighted. It is then argued that a communicating process model provides a better platform for component based programming without the discussed pitfalls. At the same time, current CSP based programming technology is shown to be seriously lacking when measured against certain aspects of object oriented languages. This paper is chiefly a discussion of ideas - ideas about extensions to the occam/CSP programming model that could advance the paradigm to the point where it provides a viable alternative to object orientation for general purpose, large scale software engineering. Specifically, three ideas are discussed: mobile processes, polymorphism and routable variant channels.Bibtex Record
@inproceedings{1330,
author = {T.S. Locke},
title = {Towards a {V}iable {A}lternative to {O}{O} -- {E}xtending the {sf occam}/{C}{S}{P} {P}rogramming {M}odel},
month = {September},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1330},
publication_type = {inproceedings},
submission_id = {13085_1011712993},
ISBN = {1 58603 202 X},
booktitle = {Communicating Process Architectures 2001},
volume = {59},
series = {Concurrent Systems Engineering Series},
address = {Amsterdam, The Netherlands},
publisher = {IOS Press},
refereed = {Yes},
editor = {A.Chalmers and M.Mirmehdi and H.Muller},
}