Issue 6612: Formal Semantics of OCL 2.0 in Appendix A (ocl2-ftf) Source: (Mr. Wim Bast, wim.bast@xs4all.nl) Nature: Enhancement Severity: Significant Summary: Maybe the completion of the formal semantics of OCL is an issue that is too extensive as part of the finalization process of OCL 2.0. Therefore, I suggest to just add a note in Appendix A concerning the currently still missing parts of the formal semantics, i.e., in particular OCL Messages, Ordered Set, and def-clauses. If you want you can refer to my paper about the Formal Semantics of OCL Messages, presented at the OCL Workshop at UML 2003. It can currently be found at http://i11www.ira.uka.de/~baar/oclworkshopUml03/papers/05_formal_semantics_ocl_messages.pdf Resolution: Revised Text: See issue 5971 for disposition. Actions taken: November 13, 2003: received issue November 1, 2005: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 13 Nov 2003 06:02:08 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Wim Bast Company: Compuware Corporation mailFrom: wim.bast@nl.compuware.com Notification: No Specification: OCL 2.0 Section: A FormalNumber: ptc/03-10-14 Version: 2.0 RevisionDate: sep 2003 Page: 190 Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 5.5; Windows NT 5.0; T312461) Description Formal Semantics of OCL 2.0 in Appendix A Maybe the completion of the formal semantics of OCL is an issue that is too extensive as part of the finalization process of OCL 2.0. Therefore, I suggest to just add a note in Appendix A concerning the currently still missing parts of the formal semantics, i.e., in particular OCL Messages, Ordered Set, and def-clauses. If you want you can refer to my paper about the Formal Semantics of OCL Messages, presented at the OCL Workshop at UML 2003. It can currently be found at http://i11www.ira.uka.de/~baar/oclworkshopUml03/papers/05_formal_semantics_ocl_messages.pdf