[{"title":"Expressing Property Specification Patterns with OCL","date_updated":"2023-01-24T09:45:54Z","date_created":"2023-01-24T09:45:49Z","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"place":"Las Vegas, NV","year":"2003","citation":{"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.","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} }","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.","chicago":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.","ama":"Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: <i>Proceedings of SERP’03</i>. ; 2003."},"keyword":["UML","Object Constraint Language","Patterns","Property Specification"],"language":[{"iso":"eng"}],"_id":"39364","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"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.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of SERP'03"},{"publication":"Advances in Object Modelling with the OCL","type":"book_chapter","status":"public","abstract":[{"lang":"eng","text":"The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension."}],"editor":[{"first_name":"T.","full_name":"Clark, T.","last_name":"Clark"},{"first_name":"J.","full_name":"Warmer, J.","last_name":"Warmer"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"34447","language":[{"iso":"eng"}],"keyword":["Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure"],"publication_identifier":{"isbn":["978-3-540-45669-8"]},"page":"150 - 171","citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>.","bibtex":"@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }","short":"S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.","apa":"Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i> (pp. 150–171). Springer-Verlag. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>","ama":"Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag; 2002:150-171. doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>","ieee":"S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.","chicago":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>."},"place":"Berlin, Heidelberg","year":"2002","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2022-12-15T11:38:20Z","date_updated":"2022-12-15T11:38:47Z","publisher":"Springer-Verlag","doi":"10.1007/3-540-45669-4_8","title":"An OCL Extension for Real-Time Constraints"},{"title":"Specification of Real-Time Properties for UML Models","conference":{"name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences","location":"Big Island, HI, USA "},"doi":"10.1109/HICSS.2002.994469","date_updated":"2023-01-24T10:22:16Z","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-24T10:22:12Z","year":"2002","place":"Big Island, HI, USA ","citation":{"short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.","bibtex":"@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }","mla":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","apa":"Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>","ieee":"S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002. <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>.","ama":"Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>"},"publication_identifier":{"isbn":["0-7695-1435-9"]},"keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"language":[{"iso":"eng"}],"_id":"39403","user_id":"5786","department":[{"_id":"672"}],"abstract":[{"text":"The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL).","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of HICSS-35"},{"publication":"Journal of Psycholinguistic Research","abstract":[{"lang":"eng","text":"Two parameters of language production, the partner model and the mentally represented knowledge\r\nabout a spatial constellation, are investigated with respect to their influence on spatial reference. At\r\nissue is whether the verbally expressed point of view in route directions is primarily influenced by the\r\nneeds of the partner or by the underlying mental representation of the speaker stemming from his or\r\nher own experience with an object. Two experiments in which participants (N 5 90) were asked to\r\nproduce a set of route directions are reported. The experimental situation was such that the point of\r\nview of the speaker did not correspond to the point of view of the partner. The results show that more\r\nparticipants localize from their own point of view than from the point of view of the partner.\r\nDiscussion centers on the fact that speakers do not always behave in a truly partner-oriented manner."}],"language":[{"iso":"eng"}],"keyword":["language production","partner model","mental representation","spatial point of view","route direction"],"issue":"6","year":"2001","date_created":"2022-08-02T11:31:30Z","title":"Partner orientation and speaker’s knowledge as conflicting parameters in language production","type":"journal_article","status":"public","department":[{"_id":"427"}],"user_id":"42165","_id":"32503","extern":"1","publication_status":"published","page":"549 - 567","intvolume":"        30","citation":{"chicago":"Buhl, Heike M. “Partner Orientation and Speaker’s Knowledge as Conflicting Parameters in Language Production.” <i>Journal of Psycholinguistic Research</i> 30, no. 6 (2001): 549–67.","ieee":"H. M. Buhl, “Partner orientation and speaker’s knowledge as conflicting parameters in language production,” <i>Journal of Psycholinguistic Research</i>, vol. 30, no. 6, pp. 549–567, 2001.","ama":"Buhl HM. Partner orientation and speaker’s knowledge as conflicting parameters in language production. <i>Journal of Psycholinguistic Research</i>. 2001;30(6):549-567.","short":"H.M. Buhl, Journal of Psycholinguistic Research 30 (2001) 549–567.","bibtex":"@article{Buhl_2001, title={Partner orientation and speaker’s knowledge as conflicting parameters in language production}, volume={30}, number={6}, journal={Journal of Psycholinguistic Research}, author={Buhl, Heike M.}, year={2001}, pages={549–567} }","mla":"Buhl, Heike M. “Partner Orientation and Speaker’s Knowledge as Conflicting Parameters in Language Production.” <i>Journal of Psycholinguistic Research</i>, vol. 30, no. 6, 2001, pp. 549–67.","apa":"Buhl, H. M. (2001). Partner orientation and speaker’s knowledge as conflicting parameters in language production. <i>Journal of Psycholinguistic Research</i>, <i>30</i>(6), 549–567."},"volume":30,"author":[{"id":"27152","full_name":"Buhl, Heike M.","last_name":"Buhl","first_name":"Heike M."}],"oa":"1","date_updated":"2022-08-29T03:59:57Z","main_file_link":[{"url":"https://link.springer.com/content/pdf/10.1023/A:1014217421749.pdf","open_access":"1"}]}]