{"department":[{"_id":"672"}],"citation":{"ama":"Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: <i>Proceedings of SERP’03</i>. ; 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns with OCL. <i>Proceedings of SERP’03</i>.","ieee":"S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.","bibtex":"@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","chicago":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” <i>Proceedings of SERP’03</i>, 2003.","short":"S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003."},"keyword":["UML","Object Constraint Language","Patterns","Property Specification"],"type":"conference","year":"2003","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"user_id":"5786","_id":"39364","status":"public","date_created":"2023-01-24T09:45:49Z","publication":"Proceedings of SERP'03","abstract":[{"lang":"eng","text":"The textual Object Constraint Language (OCL) is an of-\r\nficial part of the Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions in the context of class diagrams. However, OCL\r\nis missing means to specify constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral state-oriented constraints. That work provides\r\nan alternative to the rather cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant in practice. We present according temporal OCL\r\nexpressions for property specification patterns that have\r\nbeen identified in the area of formal specification."}],"title":"Expressing Property Specification Patterns with OCL","date_updated":"2023-01-24T09:45:54Z","language":[{"iso":"eng"}],"place":"Las Vegas, NV"}