| Substitution issue [message #626718] |
Tue, 17 June 2008 12:15 |
 Timothy Marc
Messages: 547
Registered: July 2009 |
Senior Member |
|
|
Hi,
again a question, wether this is a bug (or a not-yet-implemented constraint)
in the UML2 SDK, concerning the Substitution element.
The spec defines a substitution as a valid replacement at runtime, where the
substituting classsifier is allowed to be present, instead of the classifier
marked as contract in the Substitution. It sounds a bit like the Adapter
pattern in Java, etc.
I created a Interace IA with a operation IA::foo(). Two classes are created,
Class A, that has an InterfaceRealization for Interface IA and Class B, that
owns a Substitution with contract A. Class B doesn't realize the interface
IA.
IMHO the validation should fail, because A is not replaceable at runtime,
due to the fact, that B doesn't implement the interface IA. But the
validation succeeds.
Is the a bug or did i missinteprete the spec?
Thanks
--Timothy
|
|
|
Powered by
FUDForum. Page generated in 0.02767 seconds
] 
Search
Help
Register
Login
Home
