@inproceedings{39425, abstract = {{This paper introduces the VIVID (Visual Interactive VIew Development) framework for generation and customization of advanced visual interactive environments for resource manipulation in databases. The framework covers the definition of symbols, their mapping to database objects, specification of spatial relationships among them, layout assignment as well as the definition of drag&drop-based user interactions.}}, author = {{Dangberg, Andreas and Müller, Wolfgang}}, booktitle = {{Proceedings of ISI 2001}}, title = {{{Generation of Interactive Visual Interfaces for Resource Management}}}, year = {{2001}}, } @inproceedings{39434, abstract = {{In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein Fertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir uns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer und zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die graphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in Industrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in zeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur Modellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung wird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer temporalen Logik oder einer davon abstrahierten Form spezifiziert werden.}}, author = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}}, title = {{{Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}}}, year = {{2000}}, } @inproceedings{39444, abstract = {{Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge im Szenario eines holonischen Transportsystems vor. }}, author = {{Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}}, title = {{{Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}}}, year = {{2000}}, } @inproceedings{39461, abstract = {{Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e., formulation and understanding of specifications through means of temporal logic formulae. In this article, we present an approach for a natural language–oriented representation of temporal logic formulae by introducing patterns of structured English sentences for Clocked CTL (CCTL) specification. After outlining the basic patterns of the sentences we give their semantics by a translation to CCTL. A final example demonstrates their application.}}, author = {{Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}}, title = {{{Structured English for Model Checking Specification}}}, year = {{2000}}, } @inproceedings{39435, abstract = {{This article presents SAL (Synchronous Agent Language), a general-purpose grid{based 2D programming language for parallel system specication, implementation, and visualization. SAL agents have a depiction and a behavior. The behavior is dened by the means of state transition rules. The depiction is given by the drawing area on its surface. Actions in rules can execute drawing operations for dynamically changing the depiction during runtime. For a broader range of applications, SAL incorporates mobile code, code modication during runtime, and tool integration facilities.}}, author = {{Müller, Wolfgang and Meyer, Arne and Zabel, Henning}}, booktitle = {{Proceedings of the IEEE Symposium on Visual Languages}}, title = {{{A Visual Framework for the Scripting of Parallel Agents}}}, year = {{2000}}, } @inproceedings{39439, author = {{Bhatt, P. C. P. and Müller, Wolfgang}}, booktitle = {{Proceedings of IECON 2000}}, title = {{{A Methodology for the Protocol-Centered Design of Agent-Based Systems}}}, year = {{2000}}, } @inproceedings{39442, author = {{Bhatt, P. C. P. and Müller, Wolfgang}}, booktitle = {{Proceedings of UKPEW 2000}}, title = {{{Morphic Nets: Model Based Design Diagrams}}}, year = {{2000}}, } @inproceedings{39464, author = {{Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}}, booktitle = {{Proceedings of AVI 2000}}, title = {{{An Advanced Visual Capture for Model Checking Specifications}}}, year = {{2000}}, } @inproceedings{39481, author = {{Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}}, title = {{{Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation}}}, year = {{1999}}, } @inproceedings{39488, abstract = {{CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and Lotus Notes have been successfully introduced to support the cooperation of geographically distributed work groups. Unfortunately, some of these software systems are not flexible enough to be customized easily to the requirements of an individual user. Most of the environments can only be configured by experts through complex programming. In this article we introduce VIP space, a shared workspace space in the sense of exchanging and processing shared objects between members of distributed work groups. VIP space can be easily adapted to the user's individual views and needs by means of a visual programming language. In VIP space, objects of the shared workspace are moved by drag and drop between task fields. Task fields are programmed by visual "if-then" rules applying a combination of icon- and form-based techniques. When a document represented by an icon is dropped on a task field its rules are checked and actions of the selected rules are excited. VIP space is finally demonstrated in an Internet course application.}}, author = {{Dücker, M. and Müller, Wolfgang and Rubart, Jessica}}, booktitle = {{ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}}, isbn = {{0-7695-0001-3}}, keywords = {{Application software, Electronic mail, Computer networks, Collaborative work, Teleconferencing, Asynchronous communication, Software systems, Internet, Computer applications, Discussion forums}}, location = {{Maui, HI, USA }}, title = {{{Innovative Concepts for Configurating Shared Workspaces through Visual Programming}}}, doi = {{10.1109/HICSS.1999.773046}}, year = {{1999}}, } @inproceedings{39487, abstract = {{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.}}, author = {{Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}}, booktitle = {{Proceedings of HICSS-32}}, isbn = {{0-7695-0001-3}}, keywords = {{Animation, Computer languages, Object oriented modeling, Collaboration, Process design, Graphical user interfaces, Jacobian matrices, Standardization, Feedback, Software prototyping}}, location = {{Maui, Hawaii}}, title = {{{Visual Specification, Modeling, and Illustrations of Complex Systems}}}, doi = {{10.1109/HICSS.1999.772621}}, year = {{1999}}, } @inproceedings{39468, abstract = {{Dieser Beitrag stellt eine Auswahl aktueller Arbeiten des C-LAB Instituts in Paderborn vor, die sich im wesentlichen in der Schnittmenge der Anwendung wissensbasierter Techniken im Systementwurf und dem Design interaktiver visueller Sy- steme ansiedeln. Der allgemeinen Ausrichtung des C-LABs folgend, haben die meisten Projekte einen stark anwendungsbe- zogenen Charakter. Der Beitrag gibt einen kurzen Überblick der wichtigsten aktuellen Arbeiten in diesem Bereich („Breite vor Tiefe“) und skizziert die zukünftigen F&E-Aktivitäten, die sich auf die Anwendung wissensbasierter Konzepte beim Entwurf interaktiver visueller Systeme konzentrieren.}}, author = {{Dücker, M. and Flake, Stephan and Geiger, C. and Müller, Wolfgang and Paelke, Volker and Reimann, C. and Rosenbach, W. and Zimmermann, D. and Zelder, S.}}, location = {{Bonn}}, title = {{{Wissenbasierte Konzepte und visuelle interaktive Systeme}}}, year = {{1999}}, } @inproceedings{39471, author = {{Dangberg, Andreas and Müller, Wolfgang}}, booktitle = {{Proceedings of the IEEE Symposium on Visual Languages}}, title = {{{Generation of Interactive Visual Environments for Direct Manipulation of Database Content}}}, year = {{1999}}, } @inproceedings{39474, abstract = {{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).}}, author = {{Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}}, booktitle = {{Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society}}, isbn = {{0-7803-5211-4}}, keywords = {{Manufacturing systems, Fuzzy control, Multiagent systems, Control systems, Concurrent computing, Specification languages, Communication standards, Standards development, Communication system control, Computer integrated manufacturing}}, location = {{New York, NY, USA }}, publisher = {{IEEE}}, title = {{{Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}}}, doi = {{10.1109/NAFIPS.1999.781697}}, year = {{1999}}, } @inproceedings{39477, abstract = {{Though several approaches in sound processing are denoted as 3D audio very few of them generate high quality 3D audio information which allows listeners to exactly locate sound sources in three dimensional space. We present an approach to enhance sound by high quality 3D audio information through acoustic ray tracing where 3D audio is offline processed with digital filters of a head-related transfer function. The basic approach computes a fixed sound source for fixed listener. This approach is extended to generate 3D audio for moving listeners in interactive environments.}}, author = {{Müller, Wolfgang and Ullmann, F.}}, booktitle = {{ Proceedings IEEE International Conference on Multimedia Computing and Systems}}, isbn = {{0-7695-0253-9}}, keywords = {{Ray tracing, Loudspeakers, Motion pictures, Acoustic reflection, Ear, Digital filters, Parallel processing, Humans, Physics, Crosstalk}}, title = {{{Scalable System for 3D Audio Raytracing}}}, doi = {{10.1109/MMCS.1999.778592}}, year = {{1999}}, } @article{34578, author = {{Müller, Wolfgang and Sturm, Jörgen}}, journal = {{it - Information Technology}}, pages = {{32--36}}, publisher = {{Oldenbourg Verlag}}, title = {{{Visuelle Spezifikations- und Modellierungstechniken}}}, doi = {{10.1524/itit.1998.40.3.32}}, year = {{1998}}, } @inproceedings{39496, abstract = {{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.}}, author = {{Dücker, M. and Müller, Wolfgang and Rubart, Jessica}}, booktitle = {{ Proceedings. 1998 IEEE Symposium on Visual Languages }}, isbn = {{0-8186-8712-6}}, keywords = {{Collaborative work, Electronic mail, Computer networks, Video sharing, Videoconference, Discussion forums, Information systems, Streaming media, Motion pictures, Computer languages}}, location = {{Halifax, NS, Canada }}, title = {{{VIPspace - A Visually Programmable Shared Workspace}}}, doi = {{10.1109/VL.1998.706150}}, year = {{1998}}, } @inproceedings{39499, abstract = {{3D-graphics popularity has steadily increased in a number of areas such as entertainment, scienti c vi- sualization, simulation, and virtual reality. Despite this rapid growth the authoring of animated 3D objects in virtual environments is stil l by no means trivial. This article presents new concepts of the animated 3D programming language SAM (Solid Agents in Motion) and its programming environment. In SAM, the main syntactic objects like agents, rules, and messages are represented as 3D objects. The design of a SAM pro- gram is supported by a dedicated 3D structure editor. The editor al lows the de nition and spatial arrange- ment of SAM agents in a 3D scene by direct manipu- lation. The paper gives a number of SAM examples, demonstrating the authoring of simple animated vir- tual 3D scenarios.}}, author = {{Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang}}, booktitle = {{Proceedings of the Annual Conference for the Computer Human Interaction}}, title = {{{Authoring Communicating Agents in Virtual Environments}}}, year = {{1998}}, } @inproceedings{39493, abstract = {{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.}}, author = {{Geiger, Christian and Müller, Wolfgang and Rosenbach, W.}}, booktitle = {{Proceedings of the IEEE Symposium on Visual Languages}}, isbn = {{0-8186-8712-6}}, keywords = {{Animation, Computer languages, Solids, Concrete, Application software, Virtual reality, Programming profession, Switches, Visualization, Debugging}}, location = {{Halifax, Canada}}, title = {{{SAM - An Animated 3D Programming Language}}}, doi = {{10.1109/VL.1998.706167}}, year = {{1998}}, } @inproceedings{39489, author = {{Geiger, Christian and Müller, Wolfgang}}, title = {{{Visuelle Spezifikation, Modellierung und Animation im Systementwurf}}}, year = {{1998}}, }