From: Simon Wright <simon@pushface.org>
Subject: Re: Comparison : Ada and UML (comparison… indeed)
Date: Sun, 31 Oct 2010 07:11:35 +0000
Date: 2010-10-31T07:11:35+00:00 [thread overview]
Message-ID: <m2hbg225w8.fsf@pushface.org> (raw)
In-Reply-To: op.vlffz7vwule2fv@garhos
"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
> Back to a famous topic of OO with Ada vs OO with other languages; just
> that here, let's replace “other languages” by UML.
I've just looked at the UML 2.0 Superstructure Specification 05-07-04,
and in section 7.3.6, Operation, under Semantics (on page 117 of 709!)
it says
"An operation may be redefined in a specialization of the featured
classifier. This redefinition may specialize the types of the owned
parameters, add new preconditions or postconditions, add new raised
exceptions, or otherwise refine the specification of the operation."
So now you know (well, in my case, now I _don't_ know!)
next prev parent reply other threads:[~2010-10-31 7:11 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-31 6:22 Comparison : Ada and UML (comparison… indeed) Yannick Duchêne (Hibou57)
2010-10-31 7:11 ` Simon Wright [this message]
2010-10-31 8:01 ` Yannick Duchêne (Hibou57)
2010-10-31 8:33 ` Vinzent Hoefler
2010-10-31 10:18 ` Yannick Duchêne (Hibou57)
2010-10-31 10:45 ` Vinzent Hoefler
2010-10-31 10:53 ` Yannick Duchêne (Hibou57)
2010-10-31 10:32 ` Yannick Duchêne (Hibou57)
2010-10-31 10:47 ` J-P. Rosen
2010-10-31 11:00 ` Yannick Duchêne (Hibou57)
2010-11-09 11:04 ` Matteo Bordin
2010-11-09 14:27 ` J-P. Rosen
2010-11-09 17:44 ` Matteo Bordin
2010-11-09 21:17 ` J-P. Rosen
2010-11-10 9:23 ` Matteo Bordin
2010-11-10 15:32 ` J-P. Rosen
2010-11-09 20:02 ` Simon Wright
2010-11-10 9:34 ` Matteo Bordin
2010-11-10 21:31 ` Simon Wright
2010-11-10 21:43 ` Vinzent Hoefler
2010-11-11 7:40 ` J-P. Rosen
2010-11-12 16:36 ` Matteo Bordin
2010-11-12 16:37 ` Matteo Bordin
2010-11-12 18:24 ` J-P. Rosen
2010-11-12 16:27 ` Matteo Bordin
2010-10-31 10:43 ` J-P. Rosen
2010-10-31 10:40 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox