TY - CONF AB - Bridging the gap between informal, imprecise, and vague user requirements descriptions and precise formalized specifications is the main task of requirements engineering. Techniques such as interviews or story telling are used when requirements engineers try to identify a user's needs. The requirements specification process is typically done in a dialogue between users, domain experts, and requirements engineers. In our research, we aim at automating the specification of requirements. The idea is to distinguish between untrained users and trained users, and to exploit domain knowledge learned from previous runs of our system. We let untrained users provide unstructured natural language descriptions, while we allow trained users to provide examples of behavioral descriptions. In both cases, our goal is to synthesize formal requirements models similar to statecharts. From requirements specification processes with trained users, behavioral ontologies are learned which are later used to support the requirements specification process for untrained users. Our research method is original in combining natural language processing and search-based techniques for the synthesis of requirements specifications. Our work is embedded in a larger project that aims at automating the whole software development and deployment process in envisioned future software service markets. AU - van Rooijen, Lorijn AU - Bäumer, Frederik Simon AU - Platenius, Marie Christin AU - Geierhos, Michaela AU - Hamann, Heiko AU - Engels, Gregor ID - 97 KW - Software KW - Unified modeling language KW - Requirements engineering KW - Ontologies KW - Search problems KW - Natural languages SN - 978-1-5386-3489-9 T2 - 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) TI - From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process ER - TY - CONF AB - We introduce the mobile server problem, inspired by current trends to move computational tasks from cloud structures to multiple devices close to the end user. An example for this are embedded systems in autonomous cars that communicate in order to coordinate their actions. Our model is a variant of the classical Page Migration Problem. Moreformally, we consider a mobile server holding a data page.The server can move in the Euclidean space (of arbitrary dimension). In every round, requests for data items from the page pop up at arbitrary points in the space. The requests are served, each at a cost of the distance from the requesting point and the server, and the mobile server may move, at a cost D times the distance traveled for some constant D . We assume a maximum distance m the server is allowed to move per round. We show that no online algorithm can achieve a competitive ratio independent of the length of the input sequence in this setting. Hence we augment the maximum movement distance of the online algorithms to ( 1 + δ) times the maximum distance of the offline solution. We provide a deterministic algorithm which is simple to describe and works for multiple variants of our problem. The algorithm achieves almost tight competitive ratios independent of the length of the input sequence. AU - Feldkord, Björn AU - Meyer auf der Heide, Friedhelm ID - 55 T2 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) TI - The Mobile Server Problem ER - TY - CONF AB - In budget games, players compete over resources with finite budgets. For every resource, a player has a specific demand and as a strategy, he chooses a subset of resources. If the total demand on a resource does not exceed its budget, the utility of each player who chose that resource equals his demand. Otherwise, the budget is shared proportionally. In the general case, pure Nash equilibria (NE) do not exist for such games. In this paper, we consider the natural classes of singleton and matroid budget games with additional constraints and show that for each, pure NE can be guaranteed. In addition, we introduce a lexicographical potential function to prove that every matroid budget game has an approximate pure NE which depends on the largest ratio between the different demands of each individual player. AU - Drees, Maximilian AU - Feldotto, Matthias AU - Riechers, Sören AU - Skopalik, Alexander ID - 66 T2 - Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON) TI - Pure Nash Equilibria in Restricted Budget Games ER - TY - GEN AU - Nowack, Joshua ID - 695 TI - On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen ER - TY - BOOK AU - Gausemeier, Jürgen AU - Bodden, Eric AU - Dressler, Falko AU - Dumitrescu, Roman AU - Meyer auf der Heide, Friedhelm AU - Scheytt, Christoph AU - Trächtler, Ansgar ID - 16444 TI - Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) ER - TY - CHAP AU - Bemmann, Pascal AU - Biermeier, Felix AU - Bürmann, Jan AU - Kemper, Arne AU - Knollmann, Till AU - Knorr, Steffen AU - Kothe, Nils AU - Mäcker, Alexander AU - Malatyali, Manuel AU - Meyer auf der Heide, Friedhelm AU - Riechers, Sören AU - Schaefer, Johannes Sebastian AU - Sundermeier, Jannik ID - 16461 SN - 0302-9743 T2 - Structural Information and Communication Complexity TI - Monitoring of Domain-Related Problems in Distributed Data Streams ER - TY - GEN AU - Nachtigall, Simon ID - 1073 TI - Sortieren dynamischer Daten ER - TY - GEN AU - Pukrop, Simon ID - 1074 TI - Robuste Optimierung in Congestion Games ER - TY - GEN AU - Bürmann, Jan ID - 1080 TI - Complexity of Signalling in Routing Games under Uncertainty ER - TY - GEN AU - Vijayalakshmi, Vipin Ravindran ID - 1081 TI - Bounding the Inefficiency of Equilibria in Congestion Games under Taxation ER - TY - CONF AB - Many university students struggle with motivational problems, and gamification has the potential to address these problems. However, gamification is hardly used in education, because current approaches to gamification require instructors to engage in the time-consuming preparation of their course contents for use in quizzes, mini-games and the like. Drawing on research on limited attention and present bias, we propose a "lean" approach to gamification, which relies on gamifying learning activities (rather than learning contents) and increasing their salience. In this paper, we present the app StudyNow that implements such a lean gamification approach. With this app, we aim to enable more students and instructors to benefit from the advantages of gamification. AU - Feldotto, Matthias AU - John, Thomas AU - Kundisch, Dennis AU - Hemsen, Paul AU - Klingsieck, Katrin AU - Skopalik, Alexander ID - 1094 T2 - Proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology (DESRIST) TI - Making Gamification Easy for the Professor: Decoupling Game and Content with the StudyNow Mobile App ER - TY - CONF AB - Many university students struggle with motivational problems, and gamification has the potential to address these problems. However, using gamification currently is rather tedious and time-consuming for instructors because current approaches to gamification require instructors to engage in the time-consuming preparation of course contents (e.g., for quizzes or mini-games). In reply to this issue, we propose a “lean” approach to gamification, which relies on gamifying learning activities rather than learning contents. The learning activities that are gamified in the lean approach can typically be drawn from existing course syllabi (e.g., attend certain lectures, hand in assignments, read book chapters and articles). Hence, compared to existing approaches, lean gamification substantially lowers the time requirements posed on instructors for gamifying a given course. Drawing on research on limited attention and the present bias, we provide the theoretical foundation for the lean gamification approach. In addition, we present a mobile application that implements lean gamification and outline a mixed-methods study that is currently under way for evaluating whether lean gamification does indeed have the potential to increase students’ motivation. We thereby hope to allow more students and instructors to benefit from the advantages of gamification. AU - John, Thomas AU - Feldotto, Matthias AU - Hemsen, Paul AU - Klingsieck, Katrin AU - Kundisch, Dennis AU - Langendorf, Mike ID - 1095 T2 - Proceedings of the 25th European Conference on Information Systems (ECIS) TI - Towards a Lean Approach for Gamifying Education ER - TY - JOUR AB - We consider an extension of the dynamic speed scaling scheduling model introduced by Yao et al.: A set of jobs, each with a release time, deadline, and workload, has to be scheduled on a single, speed-scalable processor. Both the maximum allowed speed of the processor and the energy costs may vary continuously over time. The objective is to find a feasible schedule that minimizes the total energy costs. Theoretical algorithm design for speed scaling problems often tends to discretize problems, as our tools in the discrete realm are often better developed or understood. Using the above speed scaling variant with variable, continuous maximal processor speeds and energy prices as an example, we demonstrate that a more direct approach via tools from variational calculus can not only lead to a very concise and elegant formulation and analysis, but also avoids the “explosion of variables/constraints” that often comes with discretizing. Using well-known tools from calculus of variations, we derive combinatorial optimality characteristics for our continuous problem and provide a quite concise and simple correctness proof. AU - Antoniadis, Antonios AU - Kling, Peter AU - Ott, Sebastian AU - Riechers, Sören ID - 110 JF - Theoretical Computer Science TI - Continuous Speed Scaling with Variability: A Simple and Direct Approach ER - TY - CONF AB - To detect errors or find potential for improvement during the CAD-supported development of a complex technical system like modern industrial machines, the system’s virtual prototype can be examined in virtual reality (VR) in the context of virtual design reviews. Besides exploring the static shape of the examined system, observing the machines’ mechanics (e.g., motor-driven mechanisms) and transport routes for the material transport (e.g., via conveyor belts or chains, or rail-based transport systems) can play an equally important role in such a review. In practice it is often the case, that the relevant information about transport routes, or kinematic properties is either not consequently modeled in the CAD data or is lost during conversion processes. To significantly reduce the manual effort and costs for creating animations of the machines complex behavior with such limited input data for a design review, we present a set of algorithms to automatically determine geometrical properties of machine parts based only on their triangulated surfaces. The algorithms allow to detect the course of transport systems, the orientation of objects in 3d space, rotation axes of cylindrical objects and holes, the number of tooth of gears, as well as the tooth spacing of toothed racks. We implemented the algorithms in the VR system PADrend and applied them to animate virtual prototypes of real machines. AU - Brandt, Sascha AU - Fischer, Matthias AU - Gerges, Maria AU - Jähn, Claudius AU - Berssenbrügge, Jan ID - 16338 SN - 9780791858110 T2 - Volume 1: 37th Computers and Information in Engineering Conference TI - Automatic Derivation of Geometric Properties of Components From 3D Polygon Models VL - 1 ER - TY - CONF AB - In der CAD-unterstützten Entwicklung von technischen Systemen (Maschinen, Anlagen etc.) werden virtuelle Prototypen im Rahmen eines virtuellen Design-Reviews mit Hilfe eines VR-Systems gesamtheitlich betrachtet, um frühzeitig Fehler und Verbesserungsbedarf zu erkennen. Ein wichtiger Untersuchungsgegenstand ist dabei die Analyse von Transportwegen für den Materialtransport mittels Fließbändern, Förderketten oder schienenbasierten Transportsystemen. Diese Transportwege werden im VR-System animiert. Problematisch dabei ist, dass derartige Transportsysteme im zugrundeliegenden CAD-Modell in der Praxis oft nicht modelliert und nur exemplarisch angedeutet werden, da diese für die Konstruktion nicht relevant sind (z.B. der Fördergurt eines Förderbandes, oder die Kette einer Förderkette), oder die Informationen über den Verlauf bei der Konvertierung der Daten in das VR-System verloren gehen. Bei der Animation dieser Transportsysteme in einem VR-System muss der Transportweg also aufwändig, manuell nachgearbeitet werden. Das Ziel dieser Arbeit ist die Reduzierung des notwendigen manuellen Nachbearbeitungsaufwandes für das Design-Review durch eine automatische Berechnung der Animationspfade entlang eines Transportsystems. Es wird ein Algorithmus vorgestellt, der es ermöglicht mit nur geringem zeitlichem Benutzeraufwand den Animationspfad aus den reinen polygonalen dreidimensionalen Daten eines Transportsystems automatisch zu rekonstruieren. AU - Brandt, Sascha AU - Fischer, Matthias ID - 16339 T2 - Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017 TI - Automatische Ableitung der Transportwege von Transportsystemen aus dem 3D-Polygonmodell VL - 369 ER - TY - CONF AU - Fischer, Matthias AU - Jung, Daniel AU - Meyer auf der Heide, Friedhelm ED - Fernández Anta, Antonio ED - Jurdzinski, Tomasz ED - Mosteiro, Miguel A. ED - Zhang, Yanyong ID - 16347 T2 - Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, {ALGOSENSORS} TI - Gathering Anonymous, Oblivious Robots on a Grid VL - 10718 ER - TY - CONF AU - Biermeier, Felix AU - Feldkord, Björn AU - Malatyali, Manuel AU - Meyer auf der Heide, Friedhelm ID - 16348 T2 - Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA) TI - A Communication-Efficient Distributed Data Structure for Top-k and k-Select Queries ER - TY - CONF AU - Podlipyan, Pavel AU - Li, Shouwei AU - Markarian, Christine AU - Meyer auf der Heide, Friedhelm ID - 16349 T2 - Proceedings of the 13th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) TI - A Continuous Strategy for Collisionless Gathering ER - TY - CONF AB - The self-organizing bio-hybrid collaboration ofrobots and natural plants allows for a variety of interestingapplications. As an example we investigate how robots can beused to control the growth and motion of a natural plant, using LEDs to provide stimuli. We follow an evolutionaryrobotics approach where task performance is determined bymonitoring the plant's reaction. First, we do initial plantexperiments with simple, predetermined controllers. Then weuse image sampling data as a model of the dynamics ofthe plant tip xy position. Second, we use this approach toevolve robot controllers in simulation. The task is to makethe plant approach three predetermined, distinct points in anxy-plane. Finally, we test the evolved controllers in real plantexperiments and find that we cross the reality gap successfully. We shortly describe how we have extended from plant tipto many points on the plant, for a model of the plant stemdynamics. Future work will extend to two-axes image samplingfor a 3-d approach. AU - Wahby, Mostafa AU - Hofstadler, Daniel Nicolas AU - Heinrich, Mary Katherine AU - Zahadat, Payam AU - Hamann, Heiko ID - 19961 SN - 9781509035342 T2 - Proc. of the 10th International Conference on Self-Adaptive and Self-Organizing Systems TI - An Evolutionary Robotics Approach to the Control of Plant Growth and Motion: Modeling Plants and Crossing the Reality Gap ER - TY - CONF AU - Heinrich, Mary Katherine AU - Wahby, Mostafa AU - Divband Soorati, Mohammad AU - Hofstadler, Daniel Nicolas AU - Zahadat, Payam AU - Ayres, Phil AU - Stoy, Kasper AU - Hamann, Heiko ID - 19968 SN - 9781509036516 T2 - Proc. of the 1st International Workshop on Self-Organising Construction (SOCO) TI - Self-Organized Construction with Continuous Building Material: Higher Flexibility Based on Braided Structures ER -