{"language":[{"iso":"eng"}],"place":"San Francisco, USA","date_updated":"2023-01-24T09:54:24Z","title":"Formal Semantics of OCL Messages","publication":"Proceedings of the Workshop OCL 2.0 at UML 2003","abstract":[{"text":"The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel based semantics that uses UML itself to associate the semantic domain with the language concepts and a formal semantics based on a set-theoretic approach called object model. Unfortunately, these two semantics are currently neither consistent nor complete, as (a) the formal semantics does not consider the newly introduced concept of OCL messages and (b) both semantics lack an integration of Statecharts and a semantic denition of state-related operations. This article focuses on a formal semantics for OCL messages as a foundation for consistency among,the two OCL semantics. We extend object models and present an extended denition of a system state that comprises all relevant information to be able to evaluate OCL expressions also w.r.t. OCL messages.","lang":"eng"}],"_id":"39369","status":"public","date_created":"2023-01-24T09:54:09Z","year":"2003","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243","first_name":"Wolfgang"}],"user_id":"5786","citation":{"bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","ieee":"S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Formal Semantics of OCL Messages. <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>.","ama":"Flake S, Müller W. Formal Semantics of OCL Messages. In: <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. ; 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>, 2003.","short":"S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. San Francisco, USA, 2003."},"type":"conference","department":[{"_id":"672"}]}