[Prev][Next][Index]
Re: OOA/D and Corba/IDL: A Common Base
-
Subject: Re: OOA/D and Corba/IDL: A Common Base
-
From: leavens@cs.iastate.edu (Gary Leavens)
-
Date: 4 Jan 96 18:18:45 GMT
-
Distribution: inet
-
Keywords: OOA/D,methods,Corba,IDL,specification
-
Newsgroups: comp.object, comp.lang.idl, comp.lang.java, comp.specification.larch, comp.specification.misc, comp.specification.z, comp.software-eng, comp.object.logic, comp.databases.object, comp.lang.smalltalk, comp.lang.c++, comp.lang.objective-c, comp.lang.eiffel
-
Organization: Iowa State University, Ames, Iowa
-
References: <4cake0$7o6@suez.iconcomp.com>
-
Xref: src.dec.com comp.object:43223 comp.lang.idl:702 comp.lang.java:13450 comp.specification.larch:91 comp.specification.misc:313 comp.specification.z:2292 comp.software-eng:40570 comp.object.logic:636 comp.databases.object:8683 comp.lang.smalltalk:32871 comp.lang.c++:166483 comp.lang.objective-c:4662 comp.lang.eiffel:12263
Readers interested in CORBA/IDL and Larch may be interested
in a recent Master's thesis done under my supervision.
It gives a design of Larch/CORBA.
Gowri Sankar Sivaprasad.
Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces.
Department of Computer Science, Iowa State University,
<A HREF="ftp://ftp.cs.iastate.edu/pub/techreports/TR95-27/TR.ps.Z">
TR #95-27a</A>, December 1995, revised December 1995.
This isn't a complete design, and it doesn't have any tool support.
But it does allow one to specify behavior, and does deal with
issues of non-atomic operations (following Lerner's thesis for that,
but with some extensions).
Gary
--
229 Atanasoff Hall, Department of Computer Science
Iowa State Univ., Ames, Iowa 50011-1040 USA / leavens@cs.iastate.edu
phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu
URL: http://www.cs.iastate.edu/~leavens/homepage.html
Reference(s):