[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: semantics of objects
Thanks to all the people who
answered my query about the
semantics of objects using process calculi.
Below is a summary of the answers.
Davide
----------------------------------------------
From: Benjamin Pierce <bcpierce@xxxxxxxxxxxxx>
@inproceedings (PierceTurner94:COPC,
author = "Benjamin C. Pierce and David N. Turner" ,
title = "Concurrent Objects in a Process Calculus",
booktitle = "Theory and Practice of Parallel Programming (TPPP),
Sendai, Japan (Nov.{} 1994)",
editor = "Takayasu Ito and Akinori Yonezawa",
year = "1995" ,
month = apr,
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
number = "907",
pages = "187--215",
short = "``Concurrent Objects in a Process
Calculus,'' Benjamin C. Pierce and David N. Turner,
invited lecture at {\it Theory and Practice of
Parallel Programming (TPPP)}, Sendai, Japan (Nov.{}
1994). Springer Lecture Notes in Computer Science
907, pp.~187--215."
)
There's also a little discussion in
@techreport (PierceTurner:PictDesign,
author = "Benjamin C. Pierce and David N. Turner" ,
title = "Pict: A Programming Language Based on the Pi-Calculus",
year = "1997",
institution = "Computer Science Department, Indiana University",
number = "CSCI 476",
note = "In {\em Proof,
Language and Interaction: Essays in Honour of Robin Milner},
Gordon Plotkin, Colin Stirling, and Mads Tofte, editors,
MIT Press, 2000",
)
-------------------------------------------------------------
From: Hans Huttel <hans@xxxxxxxxx>
There is also work by Uwe Nestmann, Josva Kleist, Massimo Merro, and
myself. See
http://www.cs.auc.dk/research/FS/ojeblik/
and
http://www.cs.auc.dk/~hans/Publications/pubs.html
-------------------------------------------------------------
From: Franz Achermann <acherman@xxxxxxxxxxxx>
Hi Davide,
Jean-Guy and Markus here at Berne did some work on modelling
objects and different inheritance semantics. Their paper is:
http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query=Schn00a
@inproceedings{Schn00a,
author = {Schneider, Jean-Guy and Lumpe, Markus},
address = {Mont Saint-Hilaire, Qu{\'e}bec},
booktitle = {Proceedings of Langages et Mod{\`e}les
{\`a}
Objets '00},
editor = {Dony, Christophe and Sahraoui, Houari A.},
month = jan,
pages = {149--165},
publisher = {Hermes},
title = {{A Metamodel for Concurrent, Object-based
Programming}},
year = {2000},
url =
{http://www.iam.unibe.ch/~scg/Archive/Papers/metaConcObjProg.pdf},
keywords = {scg-pub olit concurrency pi models fnrs99
lmo00},
location = {Privat},
issn_isbn = {ISBN 2-7462-0093-7},
abstract = {The development of flexible and reusable concurrent
object-oriented programming abstractions has suffered from theinherent
problem that reusability and extensibility is limited due to
position-dependent parameters. To tackle this problem, we propose
the Form-calculus, an inherently polymorphic variant of the
Pi-calculus, where polyadic tuple communication is replaced by monadic
communication of extensible records. This approach facilitates the
specification of
flexible, concurrent, object-oriented programming abstractions.
Based on
our previous work in this field, we present a Form-calculus based
meta-level approach for concurrent, object-based programming
which
adapts a compositional view of programming. This approach enables
the
definition of various semantic models supporting different kinds
of
inheritance and method dispatch strategies, and clarifies
concepts which
are typically merged in existing object-oriented programming
languages.}
}
-------------------------------------------------------------
From: Jose Luis Vivas <josev@xxxxxxxxx>
The following might be of interest:
Gunnar Overgaard, on UML,
http://www.it.kth.se/~gunnaro/www/index.html
Nierstrasz: Abacus, OC (Object calculus), etc
http://iamwww.unibe.ch/~oscar/
Else Nordhagen
http://www.ifi.uio.no/~lc/lit-LC.html
-------------------------------------------------------------
From: Uwe.Nestmann@xxxxxxx
Nierstrasz et al on piL/Piccola
Zhang/Potter on classes
Pierce/Turner in Pict
(Kobayashi along similar lines?)
Have a look at:
@InProceedings(nestmann.ravara:semantics-objects
,author = {Uwe Nestmann and Ant{\'o}nio Ravara}
,title = {Semantics of Objects As Processes (SOAP)}
,booktitle = {ECOOP '99 Workshop Reader}
,pages = {314--325}
,year = 1999
,editor = {Ana Moreira and Serge Demeyer}
,volume = 1743
,series = lncs
,month = oct
,publisher = sv
,note = {An introduction to, and summary of, the 2nd International
SOAP-Workshop}
)
It contains a summary of any pointers that Antonio and I
found at that time. If you do not have access to the
volume, I can send you the ps-file ...
All of the bib-entries should be accessible from Karlsruhe.
-------------------------------------------------------------
From: Joachim Parrow <joachim@xxxxxxxxx>
Check the thesis of my student Jose Vivas, he writes a lot about objects:
http://www.it.kth.se/~josev/thesis.html
-------------------------------------------------------------
From: Cedric Fournet <fournet@xxxxxxxxxxxxx>
I wrote a paper on inheritance with Cosimo, Didier, and Luc; Andy Gordon has
some related papers, too. Or is your request more specific?
http://pauillac.inria.fr/~remy/work/ojoin/
http://www.research.microsoft.com/~adg/Publications/details.html#hlcl98
-------------------------------------------------------------
From: Alan Jeffrey <ajeffrey@xxxxxxxxxxxxx>
A couple of very process-algebra-like papers based on Abadi and Cardelli's
object calculus:
A.D. Gordon and P.D. Hankin. A concurrent object calculus: reduction and
typing. In Proceedings HLCL'98, Elsevier ENTCS, 1998. Available at
http://research.microsoft.com/~adg/Publications/
A.S.A. Jeffrey. A Distributed Object Calculus. In Proc. ACM SIGPLAN Workshop
Foundations of Object Oriented Languages, 2000. Available at
ftp://fpl.cs.depaul.edu/pub/ajeffrey/fool00.ps.gz
These papers are direct operational treatments of objects: they don't go via
an encoding into pi
-------------------------------------------------------------
From: Julian Padget <jap@xxxxxxxxxxxxxxxx>
@inproceedings{bugliese-et-al:2000,
AUTHOR = {M. Bugliesi and G. Castagna and S. Crafa},
TITLE = {Typed Mobile Objects},
BOOKTITLE = {{CONCUR} 2000 (11th.\ International
Conference on Concurrency Theory)},
SERIES = LNCS,
NUMBER = {1877},
YEAR = {2000},
PAGES ={504-520},
ADDRESS = {Penn State University Parc},
DMI-CATEGORY = {intc},
PUBLISHER = {Springer},
}
may be of interest (can be downloaded from Beppe's home page
http://www.dmi.ens.fr/users/castagna/), although the emphasis looks to
be more on embedding objects in process calculi rather than the vice
versa of your request.
-------------------------------------------------------------
From: Cosimo Laneve <laneve@xxxxxxxxxxx>
In the web page
http://www.cs.unibo.it/~laneve/html/papers.html
1. Inheritance in the Join Calculus (con Cedric Fournet, Luc Maranget e
Didier Remy)
2. Inheritance in Concurrent Objects
-------------------------------------------------------------
From: Oscar Nierstrasz <Oscar.Nierstrasz@xxxxxxxxxxxx>
Perhaps you should look at Jean-Guy Schneider's work on modelling objects
with process calculi:
http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query= Schn00a
Also look at his PhD thesis:
http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query=Schn99a
We are working on a higher-level CHAM for Piccola, or "composition
language", which will also be able to exploit these results. This work is
part of Franz Achermann's forthcoming PhD thesis.
-------------------------------------------------------------
From: "Andy Gordon" <adg@xxxxxxxxxxxxx>
Paul Hankin wrote his PhD on various developments of A&C's object
calculi, including a concurrent version in the style of process calculi.
His dissertation is available on my website at:
http://research.microsoft.com/~adg/Teaching/2000%20Hankin%20A%20study%20
of%20objects.ps
We also had a conference paper, available at:
http://research.microsoft.com/~adg/Publications/details.html#hlcl98
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list mailto:moca@xxxxxxxxxxxxxxx
http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html