[{"language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39403","status":"public","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"}],"publication":"Proceedings of HICSS-35","type":"conference","doi":"10.1109/HICSS.2002.994469","conference":{"name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences","location":"Big Island, HI, USA "},"title":"Specification of Real-Time Properties for UML Models","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-24T10:22:12Z","date_updated":"2023-01-24T10:22:16Z","citation":{"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>","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>.","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>"},"place":"Big Island, HI, USA ","year":"2002","publication_identifier":{"isbn":["0-7695-1435-9"]}},{"department":[{"_id":"672"}],"user_id":"5786","_id":"39474","language":[{"iso":"eng"}],"keyword":["Manufacturing systems","Fuzzy control","Multiagent systems","Control systems","Concurrent computing","Specification languages","Communication standards","Standards development","Communication system control","Computer integrated manufacturing"],"publication":"Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (belief desire intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategies which basically correspond to extended guarded Horn clauses with priorities. The presented concepts are introduced by an example from computer integrated manufacturing (CIM). The example gives the specification of a fuzzy controller for a manufacturing station in the context of a holonic manufacturing system (HMS)."}],"date_created":"2023-01-24T11:21:53Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Geiger","full_name":"Geiger, Christian","first_name":"Christian"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Paelke, Volker","last_name":"Paelke","first_name":"Volker"}],"date_updated":"2023-01-24T11:21:57Z","publisher":"IEEE","doi":"10.1109/NAFIPS.1999.781697","conference":{"name":"18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS","location":"New York, NY, USA "},"title":"Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control","publication_identifier":{"isbn":["0-7803-5211-4"]},"citation":{"ieee":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","chicago":"Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE, 1999. <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>.","ama":"Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. IEEE; 1999. doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>","apa":"Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>","mla":"Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","short":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, New York, NY, USA , 1999.","bibtex":"@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York, NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}, DOI={<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>}, booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}, year={1999} }"},"place":"New York, NY, USA ","year":"1999"}]