Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!ucsd!ucbvax!dset.UUCP!shia From: shia@dset.UUCP (Dan Shia) Newsgroups: comp.protocols.iso.dev-environ Subject: RE: about remote operations Message-ID: <9104121414.AA03532@dset> Date: 12 Apr 91 14:14:19 GMT Sender: daemon@ucbvax.BERKELEY.EDU Distribution: inet Organization: The Internet Lines: 14 Subhendu, > How does one tell rosy that certain operations will be invoked by the >server (PERFORMER in most cases) and not by the client (the INVOKER in most >cases) withiut marking them as linked operations ? > Right now rosy thinks that ALL the operations will be invoked by the >INVOKER. Any thoughts on this will be appreciated. You are right. You cannot define operations invoked by the server with ROSY. However, our Distributed Systems Generator (DSG) allows you to do so with ISODE. If you need further information, please send me your postal address. Dan