| Applications (2006) | |||||||||||||||
Abstract | |||||||||||||||
| The semantics of ocl 2.0 is spread over several places: Chapter 7 “ocl Language Description ” (informative): introduces ocl informally using examples, Chapter 10 “Semantics Described using uml ” (normative): presents an “evaluation ” environment, Chapter 11 “The ocl Standard Library ” (normative): describes the requirements (pre-/post-style) of the library, Appendix A “Semantics ” (informative): presents a formal semantics (textbook style), based on the work of Richters. Achim D. Brucker, Jürgen Doser, and Burkhart Wolff Semantic Issues of ocl: Past, Present, and Future[-.5cm] | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||