[{"_id":"39403","department":[{"_id":"672"}],"user_id":"5786","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"}],"publication":"Proceedings of HICSS-35","type":"conference","abstract":[{"lang":"eng","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)."}],"status":"public","date_updated":"2023-01-24T10:22:16Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-24T10:22:12Z","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","publication_identifier":{"isbn":["0-7695-1435-9"]},"year":"2002","place":"Big Island, HI, USA ","citation":{"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>","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>.","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} }","short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.","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>.","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>.","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>"}},{"citation":{"ieee":"C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: <a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>.","chicago":"Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated 3D Programming Language.” In <i>Proceedings of the IEEE Symposium on Visual Languages</i>. Halifax, Canada, 1998. <a href=\"https://doi.org/10.1109/VL.1998.706167\">https://doi.org/10.1109/VL.1998.706167</a>.","ama":"Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language. In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 1998. doi:<a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>","mla":"Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” <i>Proceedings of the IEEE Symposium on Visual Languages</i>, 1998, doi:<a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>.","short":"C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium on Visual Languages, Halifax, Canada, 1998.","bibtex":"@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM - An Animated 3D Programming Language}, DOI={<a href=\"https://doi.org/10.1109/VL.1998.706167\">10.1109/VL.1998.706167</a>}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger, Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }","apa":"Geiger, C., Müller, W., &#38; Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. <i>Proceedings of the IEEE Symposium on Visual Languages</i>. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. <a href=\"https://doi.org/10.1109/VL.1998.706167\">https://doi.org/10.1109/VL.1998.706167</a>"},"place":"Halifax, Canada","year":"1998","publication_identifier":{"isbn":["0-8186-8712-6"]},"conference":{"location":"Halifax, Canada","name":"1998 IEEE Symposium on Visual Languages"},"doi":"10.1109/VL.1998.706167","title":"SAM - An Animated 3D Programming Language","author":[{"first_name":"Christian","last_name":"Geiger","full_name":"Geiger, Christian"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"last_name":"Rosenbach","full_name":"Rosenbach, W.","first_name":"W."}],"date_created":"2023-01-24T11:39:30Z","date_updated":"2023-01-24T11:39:35Z","status":"public","abstract":[{"text":"This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interacting agents synchronously exchanging messages. The agent's behaviour is specified by means of production rules with a condition and a sequence of actions each. Actions are linearly ordered and execute when matching a rule. In SAM, main syntactic objects like agents, rules, and messages are 3D. These objects can have an abstract and a concrete, solid 3D presentation. While the abstract representation is for programming and debugging, the concrete representation is for animated 3D end-user presentations. After outlining the concepts of SAM this article gives two programming examples of 3D micro worlds and an overview of the programming environment.","lang":"eng"}],"publication":"Proceedings of the IEEE Symposium on Visual Languages","type":"conference","language":[{"iso":"eng"}],"keyword":["Animation","Computer languages","Solids","Concrete","Application software","Virtual reality","Programming profession","Switches","Visualization","Debugging"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39493"}]