jungclau@relay.EU.net (Ralf Jungclaus) (01/04/91)
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