Issue 12456: Errors in examples (ocl2-rtf) Source: (, ) Nature: Enhancement Severity: Significant Summary: The examples are based on the sample model (Companies and Employees). However, as pointed out in http://www.empowertec.de/products/analyze-spec-expressions.htm there are many errors in the examples. You will find at the address http://cs.ulb.ac.be/oclnotes.pdf the slides that I use in my course in which I slighty modified the example so that all example expressions are (supposed to be) correct. Resolution: Revised Text: Actions taken: May 14, 2008: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 14 May 2008 03:34:49 -0400 To: Subject: Issue/Bug Report Name: Esteban Zimanyi Company: Université Libre de Bruxelles mailFrom: ezimanyi@ulb.ac.be Notification: Yes Specification: OCL Section: many ... FormalNumber: 2006-05-01 Version: 2.0 RevisionDate: 05/10/08 Page: 1..230 Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; .NET CLR 2.0.50727) Description The examples are based on the sample model (Companies and Employees). However, as pointed out in http://www.empowertec.de/products/analyze-spec-expressions.htm there are many errors in the examples. You will find at the address http://cs.ulb.ac.be/oclnotes.pdf the slides that I use in my course in which I slighty modified the example so that all example expressions are (supposed to be) correct.