[{"status":"public","abstract":[{"text":"Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution.","lang":"eng"}],"publication":"Proceedings of VL/HCC 05","type":"conference","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Software design","Virtual machining","Embedded system","Programming","Documentation","Hardware","Computer languages","Operating systems","Runtime"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39032","citation":{"short":"T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.","bibtex":"@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” <i>Proceedings of VL/HCC 05</i>, 2005, doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","apa":"Schattkowsky, T., &#38; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. <i>Proceedings of VL/HCC 05</i>. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>","ieee":"T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005. <a href=\"https://doi.org/10.1109/VLHCC.2005.64\">https://doi.org/10.1109/VLHCC.2005.64</a>.","ama":"Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: <i>Proceedings of VL/HCC 05</i>. ; 2005. doi:<a href=\"https://doi.org/10.1109/VLHCC.2005.64\">10.1109/VLHCC.2005.64</a>"},"place":"Dallas, TX, USA","year":"2005","publication_identifier":{"isbn":["0-7695-2443-5"]},"doi":"10.1109/VLHCC.2005.64","title":"Transformation of UML State Machines for Direct Execution","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_created":"2023-01-24T08:18:10Z","date_updated":"2023-01-24T08:18:27Z"},{"abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL."}],"status":"public","type":"conference","publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"language":[{"iso":"eng"}],"_id":"39421","user_id":"5786","department":[{"_id":"672"}],"year":"2001","place":"Munich, Germany ","citation":{"apa":"Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>","mla":"Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","short":"W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.","bibtex":"@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }","ama":"Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. IEEE; 2001. doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>","chicago":"Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany : IEEE, 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>.","ieee":"W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>."},"publication_identifier":{"isbn":["0-7695-0993-2"]},"title":"The Simulation Semantics of SystemC","conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"doi":"10.1109/DATE.2001.915002","publisher":"IEEE","date_updated":"2023-01-24T10:39:38Z","author":[{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Jürgen","full_name":"Ruf, Jürgen","last_name":"Ruf"},{"full_name":"Hoffmann, D. W.","last_name":"Hoffmann","first_name":"D. W."},{"first_name":"Joachim","full_name":"Gerlach, Joachim","last_name":"Gerlach"},{"first_name":"Thomas","full_name":"Kropf, Thomas","last_name":"Kropf"},{"full_name":"Rosenstiehl, W.","last_name":"Rosenstiehl","first_name":"W."}],"date_created":"2023-01-24T10:39:33Z"},{"title":"Visual Specification, Modeling, and Illustrations of Complex Systems","conference":{"location":"Maui, Hawaii","name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999"},"doi":"10.1109/HICSS.1999.772621","date_updated":"2023-01-24T11:33:35Z","date_created":"2023-01-24T11:33:05Z","author":[{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"year":"1999","place":"Maui, Hawaii","citation":{"chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>. Maui, Hawaii, 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>.","ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","ama":"Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>","bibtex":"@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }","short":"C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.","mla":"Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>"},"publication_identifier":{"isbn":["0-7695-0001-3"]},"keyword":["Animation","Computer languages","Object oriented modeling","Collaboration","Process design","Graphical user interfaces","Jacobian matrices","Standardization","Feedback","Software prototyping"],"language":[{"iso":"eng"}],"_id":"39487","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"text":"This article introduces and discusses different innovative means for visual specification and animation of complex concurrent systems. It introduces the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. The article outlines the transformation of purely visual PJ programs into textual imperative programming languages. The second part of the article investigates animated 3D-presentations and introduces a novel approach to an animated 3D programming language for interactive customer-oriented illustrations.","lang":"eng"}],"status":"public","publication":"Proceedings of HICSS-32","type":"conference"},{"publication":" Proceedings. 1998 IEEE Symposium on Visual Languages ","type":"conference","status":"public","abstract":[{"text":"With the wide availability of network supporting hard-and software cooperative computer-based environments became extremely popular. A wide range of CSCW (Computer Supported Cooperative Work) tools with video conferencing, electronic mail, shared whiteboards, discussion forums, and shared information systems are already part of daily business. In contrast to the unstructured linear stream of information in electronic mails shared workspaces provide structured administration of electronic information like documents, voice, pictures, and movies. Popular examples of shared workspaces are BSCW (Basic Support for Cooperative Work), Hypernews, Lotus Notes, Alta Vista Forum, Lifelink, Microsoft Exchange and Webshare. Currently, all these systems are not flexible enough to get easily customized to the requirements of the individual application and user only supporting a limited set of predefined different views and functionality. This article introduces VIPspace (Visually Programmable Workspace). VIPspace can be easily customized to the individual needs of an user through VIPrule, a combination of a form- and icon-based visual programming language. VIPrule is based on an easy-to-use drag and drop paradigm. Direct manipulation via drag and drop allows easy access to local file systems as well as manipulation, exchange, and publication of shared multimedia documents. As VIPspace is implemented in Java it nicely integrates with other web-applications and provides a platform independent environment with a uniform graphical user interface.","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39496","language":[{"iso":"eng"}],"keyword":["Collaborative work","Electronic mail","Computer networks","Video sharing","Videoconference","Discussion forums","Information systems","Streaming media","Motion pictures","Computer languages"],"publication_identifier":{"isbn":["0-8186-8712-6"]},"citation":{"bibtex":"@inproceedings{Dücker_Müller_Rubart_1998, place={Halifax, NS, Canada }, title={VIPspace - A Visually Programmable Shared Workspace}, DOI={<a href=\"https://doi.org/10.1109/VL.1998.706150\">10.1109/VL.1998.706150</a>}, booktitle={ Proceedings. 1998 IEEE Symposium on Visual Languages }, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1998} }","mla":"Dücker, M., et al. “VIPspace - A Visually Programmable Shared Workspace.” <i> Proceedings. 1998 IEEE Symposium on Visual Languages </i>, 1998, doi:<a href=\"https://doi.org/10.1109/VL.1998.706150\">10.1109/VL.1998.706150</a>.","short":"M. Dücker, W. Müller, J. Rubart, in:  Proceedings. 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998.","apa":"Dücker, M., Müller, W., &#38; Rubart, J. (1998). VIPspace - A Visually Programmable Shared Workspace. <i> Proceedings. 1998 IEEE Symposium on Visual Languages </i>. 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada . <a href=\"https://doi.org/10.1109/VL.1998.706150\">https://doi.org/10.1109/VL.1998.706150</a>","chicago":"Dücker, M., Wolfgang Müller, and Jessica Rubart. “VIPspace - A Visually Programmable Shared Workspace.” In <i> Proceedings. 1998 IEEE Symposium on Visual Languages </i>. Halifax, NS, Canada , 1998. <a href=\"https://doi.org/10.1109/VL.1998.706150\">https://doi.org/10.1109/VL.1998.706150</a>.","ieee":"M. Dücker, W. Müller, and J. Rubart, “VIPspace - A Visually Programmable Shared Workspace,” presented at the 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998, doi: <a href=\"https://doi.org/10.1109/VL.1998.706150\">10.1109/VL.1998.706150</a>.","ama":"Dücker M, Müller W, Rubart J. VIPspace - A Visually Programmable Shared Workspace. In: <i> Proceedings. 1998 IEEE Symposium on Visual Languages </i>. ; 1998. doi:<a href=\"https://doi.org/10.1109/VL.1998.706150\">10.1109/VL.1998.706150</a>"},"year":"1998","place":"Halifax, NS, Canada ","date_created":"2023-01-24T11:42:25Z","author":[{"full_name":"Dücker, M.","last_name":"Dücker","first_name":"M."},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"last_name":"Rubart","full_name":"Rubart, Jessica","first_name":"Jessica"}],"date_updated":"2023-01-24T11:42:31Z","doi":"10.1109/VL.1998.706150","conference":{"name":"1998 IEEE Symposium on Visual Languages ","location":"Halifax, NS, Canada "},"title":"VIPspace - A Visually Programmable Shared Workspace"},{"year":"1998","place":"Halifax, Canada","citation":{"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>.","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>.","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>","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>","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} }","short":"C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium on Visual Languages, Halifax, Canada, 1998.","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>."},"publication_identifier":{"isbn":["0-8186-8712-6"]},"title":"SAM - An Animated 3D Programming Language","conference":{"location":"Halifax, Canada","name":"1998 IEEE Symposium on Visual Languages"},"doi":"10.1109/VL.1998.706167","date_updated":"2023-01-24T11:39:35Z","date_created":"2023-01-24T11:39:30Z","author":[{"first_name":"Christian","last_name":"Geiger","full_name":"Geiger, Christian"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"W.","last_name":"Rosenbach","full_name":"Rosenbach, W."}],"abstract":[{"lang":"eng","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."}],"status":"public","publication":"Proceedings of the IEEE Symposium on Visual Languages","type":"conference","keyword":["Animation","Computer languages","Solids","Concrete","Application software","Virtual reality","Programming profession","Switches","Visualization","Debugging"],"language":[{"iso":"eng"}],"_id":"39493","department":[{"_id":"672"}],"user_id":"5786"},{"year":"1997","place":"Capri, Italy","citation":{"ieee":"M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual Programming Language for Qualitative Data,” 1997, doi: <a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>.","chicago":"Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Visual Programming Language for Qualitative Data.” In <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. Capri, Italy, 1997. <a href=\"https://doi.org/10.1109/VL.1997.626593\">https://doi.org/10.1109/VL.1997.626593</a>.","ama":"Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming Language for Qualitative Data. In: <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>","mla":"Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>, 1997, doi:<a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>.","bibtex":"@inproceedings{Dücker_Geiger_Lehrenfeld_Müller_Tahedl_1997, place={Capri, Italy}, title={A Visual Programming Language for Qualitative Data}, DOI={<a href=\"https://doi.org/10.1109/VL.1997.626593\">10.1109/VL.1997.626593</a>}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }","short":"M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.","apa":"Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. <i>Proceedings of the 1997 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1997.626593\">https://doi.org/10.1109/VL.1997.626593</a>"},"publication_identifier":{"isbn":["0-8186-8144-6"]},"title":"A Visual Programming Language for Qualitative Data","doi":"10.1109/VL.1997.626593","date_updated":"2023-01-24T11:51:08Z","date_created":"2023-01-24T11:51:04Z","author":[{"first_name":"M.","full_name":"Dücker, M.","last_name":"Dücker"},{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"first_name":"C.","full_name":"Tahedl, C.","last_name":"Tahedl"}],"abstract":[{"text":"Modeling of human knowledge and reasoning requires the formulation of uncertainty in its various forms. Fuzzy logic was introduced to directly support these applications (H. Zimmermann, 1991). Fuzzy control (FC) which is based on fuzzy logic allows one to control complex systems based on qualitative information like human knowledge (C. Geiger and G. Lehrenfeld, 1994). In fuzzy logic, fuzzy sets are usually defined and manipulated by means of complex mathematics, whereas the fuzzy control process is frequently outlined by visual sketches based on set diagrams in order to enhance the comprehension of the inference process. The rule based execution of this process usually follows the lines of rule based visual programming languages (VPLs), i.e., languages comparable to Agentsheets and ChemTrains. This strongly indicates that VPLs are thus well applicable for this use. We first outline the basic concepts of fuzzy logic and fuzzy control. Thereafter, we sketch a visual language which integrates fuzzy set diagrams in the visual representation of rules. The basic concepts are inherited from the complete visual programming language, Pictorial Janus (PJ). However, we significantly simplify PJ's visual concepts in order to adapt it for our purpose.","lang":"eng"}],"status":"public","publication":"Proceedings of the 1997 IEEE Symposium on Visual Languages","type":"conference","keyword":["Computer languages","Fuzzy control","Fuzzy sets","Animation","Visualization","Fires","Application software","Pattern matching","Impedance matching","Domain specific languages"],"language":[{"iso":"eng"}],"_id":"39510","department":[{"_id":"672"}],"user_id":"5786"},{"_id":"39502","department":[{"_id":"672"}],"user_id":"5786","keyword":["Real time systems","Animation","Debugging","Automation","Computer languages","Timing","Environmental management","Programming environments","Visualization","Multimedia systems"],"language":[{"iso":"eng"}],"publication":" Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","type":"conference","abstract":[{"text":"The authors present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor animator and interpreter are introduced. Their interactions are being investigated emphasizing the interpreter-animator interaction and defining an interface supporting different levels of automation. The interpreter performs the executions on a logical level and triggers the animator. The interactive animation provides a very high degree of liveness since it is based on the tight integration of the animator and editor. The proposed architecture permits the distributed implementation of a system for real-time animation. Their concepts are validated by the implementation of a debugging environment for the complete visual programming language Pictorial Janus.","lang":"eng"}],"status":"public","date_updated":"2023-01-24T11:46:28Z","date_created":"2023-01-24T11:46:23Z","author":[{"first_name":"M.","full_name":"Dücker, M.","last_name":"Dücker"},{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"full_name":"Tahedl, C.","last_name":"Tahedl","first_name":"C."}],"title":"A Generic System for Interactive Real--Time Animation","doi":"10.1109/ECBS.1997.581876","conference":{"location":"Monterey, CA, USA "},"publication_identifier":{"isbn":["0-8186-7889-5"]},"year":"1997","place":"Monterey, CA, USA ","citation":{"bibtex":"@inproceedings{Dücker_Lehrenfeld_Müller_Tahedl_1997, place={Monterey, CA, USA }, title={A Generic System for Interactive Real--Time Animation}, DOI={<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>}, booktitle={ Proceedings International Conference and Workshop on Engineering of Computer-Based Systems}, author={Dücker, M. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }","mla":"Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>, 1997, doi:<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>.","short":"M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in:  Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.","apa":"Dücker, M., Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">https://doi.org/10.1109/ECBS.1997.581876</a>","ama":"Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>","ieee":"M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">10.1109/ECBS.1997.581876</a>.","chicago":"Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.” In <i> Proceedings International Conference and Workshop on Engineering of Computer-Based Systems</i>. Monterey, CA, USA , 1997. <a href=\"https://doi.org/10.1109/ECBS.1997.581876\">https://doi.org/10.1109/ECBS.1997.581876</a>."}},{"doi":"10.1109/VL.1996.545262","title":"Integrating a Constraint Solver into a Real-Time Animation Environment","date_created":"2023-01-24T11:56:25Z","author":[{"first_name":"P.","last_name":"Griebel","full_name":"Griebel, P."},{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"C.","full_name":"Tahedl, C.","last_name":"Tahedl"},{"full_name":"Uhr, H.","last_name":"Uhr","first_name":"H."}],"date_updated":"2023-01-24T11:56:30Z","citation":{"chicago":"Griebel, P., Georg Lehrenfeld, Wolfgang Müller, C. Tahedl, and H. Uhr. “Integrating a Constraint Solver into a Real-Time Animation Environment.” In <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. Boulder CO, 1996. <a href=\"https://doi.org/10.1109/VL.1996.545262\">https://doi.org/10.1109/VL.1996.545262</a>.","ieee":"P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, and H. Uhr, “Integrating a Constraint Solver into a Real-Time Animation Environment,” 1996, doi: <a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>.","ama":"Griebel P, Lehrenfeld G, Müller W, Tahedl C, Uhr H. Integrating a Constraint Solver into a Real-Time Animation Environment. In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996. doi:<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>","apa":"Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., &#38; Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1996.545262\">https://doi.org/10.1109/VL.1996.545262</a>","bibtex":"@inproceedings{Griebel_Lehrenfeld_Müller_Tahedl_Uhr_1996, place={Boulder CO}, title={Integrating a Constraint Solver into a Real-Time Animation Environment}, DOI={<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Griebel, P. and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C. and Uhr, H.}, year={1996} }","mla":"Griebel, P., et al. “Integrating a Constraint Solver into a Real-Time Animation Environment.” <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href=\"https://doi.org/10.1109/VL.1996.545262\">10.1109/VL.1996.545262</a>.","short":"P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996."},"year":"1996","place":"Boulder CO","publication_identifier":{"isbn":["0-8186-7508-X"]},"language":[{"iso":"eng"}],"keyword":["Animation","Layout","Computer languages","Visualization","Observability","Stability","Runtime","Costs","Graphics","Hardware"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39521","status":"public","abstract":[{"text":"Investigates the integration of an interactive constraint solver into an existing 2D real-time animation environment in order to achieve a better observability, traceability and stability of the individual graphical objects. We present two approaches for assigning constraints to the objects. The first approach assigns constraints to the objects when they are created, keeping them stable during their entire life-time. The second approach dynamically changes constraints before the computation of each frame. The investigation is based on our practical experience with the complete visual programming language Pictorial Janus and the parallel constraint solver Parcon.","lang":"eng"}],"type":"conference","publication":"Proceedings of the 1996 IEEE Symposium on Visual Languages"},{"type":"conference","publication":"Proceedings of the 1996 IEEE Symposium on Visual Languages","status":"public","abstract":[{"text":"The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests.","lang":"eng"}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39526","language":[{"iso":"eng"}],"keyword":["Computer integrated manufacturing","Job shop scheduling","Processor scheduling","Computer languages","Control system synthesis","Computer aided manufacturing","Sorting","Assembly","Costs","Control systems"],"publication_identifier":{"isbn":["0-8186-7508-X"]},"citation":{"ama":"Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996. doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>","chicago":"Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J.  Quintanilla, C.  Tahedl, and A. Weber. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” In <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. Boulder, CO, USA, 1996. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>.","ieee":"C. Geiger <i>et al.</i>, “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: <a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>.","short":"C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.","bibtex":"@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996, place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J.  and Tahedl, C.  and Weber, A.}, year={1996} }","mla":"Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href=\"https://doi.org/10.1109/VL.1996.545302\">10.1109/VL.1996.545302</a>.","apa":"Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., &#38; Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1996.545302\">https://doi.org/10.1109/VL.1996.545302</a>"},"place":"Boulder, CO, USA","year":"1996","date_created":"2023-01-24T11:58:56Z","author":[{"full_name":"Geiger, Christian","last_name":"Geiger","first_name":"Christian"},{"first_name":"R.","last_name":"Hunstock","full_name":"Hunstock, R."},{"first_name":"Georg","full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"J. ","last_name":"Quintanilla","full_name":"Quintanilla, J. "},{"last_name":"Tahedl","full_name":"Tahedl, C. ","first_name":"C. "},{"last_name":"Weber","full_name":"Weber, A.","first_name":"A."}],"date_updated":"2023-01-24T11:59:01Z","doi":"10.1109/VL.1996.545302","title":"Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing"},{"publication":"Proceedings of Symposium on Visual Languages","type":"conference","status":"public","abstract":[{"lang":"eng","text":"We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification."}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39541","language":[{"iso":"eng"}],"keyword":["Animation","Timing","Debugging","Ethernet networks","Multiaccess communication","Protocols","Computer languages","Prototypes","Environmental management","Visualization"],"publication_identifier":{"isbn":["0-8186-7045-2"]},"citation":{"chicago":"Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In <i>Proceedings of Symposium on Visual Languages</i>.  Darmstadt, Germany , 1995. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>.","ieee":"G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into a Complete Visual Representation,” 1995, doi: <a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>.","ama":"Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: <i>Proceedings of Symposium on Visual Languages</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>","apa":"Lehrenfeld, G., Müller, W., &#38; Tahedl, C. (1995). Transforming SDL Diagrams Into a Complete Visual Representation. <i>Proceedings of Symposium on Visual Languages</i>. <a href=\"https://doi.org/10.1109/VL.1995.520803\">https://doi.org/10.1109/VL.1995.520803</a>","short":"G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages,  Darmstadt, Germany , 1995.","bibtex":"@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }","mla":"Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” <i>Proceedings of Symposium on Visual Languages</i>, 1995, doi:<a href=\"https://doi.org/10.1109/VL.1995.520803\">10.1109/VL.1995.520803</a>."},"place":" Darmstadt, Germany ","year":"1995","date_created":"2023-01-24T12:07:26Z","author":[{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Tahedl, C.","last_name":"Tahedl","first_name":"C."}],"date_updated":"2023-01-24T12:07:33Z","doi":"10.1109/VL.1995.520803","title":"Transforming SDL Diagrams Into a Complete Visual Representation"},{"place":"Chiba, Japan ","year":"1995","citation":{"apa":"Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>","short":"W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.","mla":"Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","bibtex":"@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }","ieee":"W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>.","chicago":"Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. Chiba, Japan , 1995. <a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">https://doi.org/10.1109/ASPDAC.1995.486383</a>.","ama":"Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>. ; 1995. doi:<a href=\"https://doi.org/10.1109/ASPDAC.1995.486383\">10.1109/ASPDAC.1995.486383</a>"},"publication_identifier":{"isbn":["4-930813-67-0"]},"title":"Complete Visual Specification and Animations of Protocols","doi":"10.1109/ASPDAC.1995.486383","date_updated":"2023-01-24T12:05:59Z","date_created":"2023-01-24T12:05:55Z","author":[{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg","first_name":"Georg"},{"first_name":"C.","last_name":"Tahedl","full_name":"Tahedl, C."}],"abstract":[{"text":"This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair","keyword":["Animation","Protocols","Timing","Computer languages","Electronic mail","Context modeling","Visualization","Control systems","Flow graphs","Trademarks"],"language":[{"iso":"eng"}],"_id":"39538","user_id":"5786","department":[{"_id":"672"}]}]