Jos Warmer in his OCL book says post conditions are much less important than pre conditions and are more useful in development than in deployment. So a minimum post condition could be an assert on a result and an assert on a variable before (@pre) and after the operation. This may be the most practical choice for now.
Advanced OCL operators: isNew, isSent, and the message operations would bloat a Service class. The Specification pattern in Eric Evans Domain Driven Design factors pre and post conditions into independent specification classes that can be used by any class. These would be appropriate for the advanced OCL operators. This is a lot more work than an assert but would provide model driven business rules and tests. _________________________________________________________ Reply to the post : http://galaxy.andromda.org/forum/viewtopic.php?p=661#661 Posting to http://forum.andromda.org/ is preferred over posting to the mailing list! ------------------------------------------------------- This SF.Net email is sponsored by Yahoo. Introducing Yahoo! Search Developer Network - Create apps using Yahoo! Search APIs Find out how you can build Yahoo! directly into your own Applications - visit http://developer.yahoo.net/?fr=offad-ysdn-ostg-q22005 _______________________________________________ Andromda-user mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/andromda-user
