Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!wuarchive!emory!hubcap!infbs!jungclau
From: infbs!jungclau@relay.EU.net (Ralf Jungclaus)
Newsgroups: comp.parallel
Subject: Semantics for object activity anyone??
Keywords: objects as processes, concurrency semantics, activity
Message-ID: <12473@hubcap.clemson.edu>
Date: 4 Jan 91 13:28:35 GMT
Sender: fpst@hubcap.clemson.edu
Reply-To: infbs!jungclau@relay.EU.net (Ralf Jungclaus)
Organization: Database Group, Tech. Univ. Braunschweig (FRG)
Lines: 14
Approved: parallel@hubcap.clemson.edu

We are currently trying to give formal semantics to specifications of object
activity. We want to model that an object (depending on its current state)
actively tries to fulfill certain goals that are stated in the specification.
As a side remark, objects in our setting are regarded to be concurrent
communicating processes. I've been looking into process theory but neither
liveness nor progress properties seem to reflect the intuition. Does anybody
have other suggestions/pointers ...????? 

Thanks in advance,

Ralf Jungclaus

   Abt. Datenbanken, TU Braunschweig, Postfach 3329, D-3300 Braunschweig, FRG
   Voice: +49-(0)531-391-3273   jungclau@infbs.uucp   jungclau@dbsinf6.bitnet