{"title":"Semantics of State-Oriented Expressions in the Object Constraint Language","abstract":[{"text":"The textual Object Constraint Language (OCL) is an of-\r\nficial part of the Unified Modeling Language (UML). It is\r\nprimarily used to formulate restrictions for UML class di-\r\nagrams. Additionally, it is possible to refer to UML State-\r\nchart states in OCL expressions to reason about currently\r\nactivated states.\r\nHowever, neither the current OCL standard nor the pro-\r\nposal for the new OCL 2.0 version integrate Statecharts on\r\nthe language definition level, i.e., the semantics of State-\r\nchart states in the context of OCL expressions is not suf-\r\nficiently defined so far. To overcome this deficiency, this\r\narticle provides a formal semantics for state-oriented OCL\r\nexpressions for application with UML Statecharts.","lang":"eng"}],"publication":"Proceedings of SEKE 2003","place":"San Francisco","language":[{"iso":"eng"}],"date_updated":"2023-01-24T09:44:24Z","citation":{"short":"S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” <i>Proceedings of SEKE 2003</i>, 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In <i>Proceedings of SEKE 2003</i>. San Francisco, 2003.","ama":"Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: <i>Proceedings of SEKE 2003</i>. ; 2003.","bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","ieee":"S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. <i>Proceedings of SEKE 2003</i>."},"type":"conference","department":[{"_id":"672"}],"status":"public","_id":"39363","date_created":"2023-01-24T09:44:11Z","user_id":"5786","year":"2003","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243"}]}