[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