TY - CONF AB - In this paper, we present the analysis of applications from the domain of handheld and wearable computing. This analysis is the first step to derive and evaluate design parameters for dynamically reconfigurable processors. We discuss the selection of representative benchmarks for handhelds and wearables and group the applications into multimedia, communications, and cryptography programs. We simulate the applications on a cycle-accurate processor simulator and gather statistical data such as instruction mix, cache hit rates and memory requirements for an embedded processor model. A breakdown of the executed cycles into different functions identifies the most compute-intensive code sections - the kernels. Then, we analyze the applications and discuss parameters that strongly influence the design of dynamically reconfigurable processors. Finally, we outline the construction of a parameterizable simulation model for a reconfigurable unit that is attached to a processor core. AU - Enzler, Rolf AU - Platzner, Marco AU - Plessl, Christian AU - Thiele, Lothar AU - Tröster, Gerhard ID - 2432 KW - benchmark T2 - Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III TI - Reconfigurable Processors for Handhelds and Wearables: Application Analysis VL - 4525 ER - TY - THES AU - Preis, Robert ID - 24509 TI - Analyses and Design of Efficient Graph Partitioning Methods VL - 88 ER - TY - THES AU - Lemke, Jörg ID - 24510 TI - Nutzenorientierte Planung des Einsatzes von CAD- / CAE-Systemen VL - 91 ER - TY - THES AU - von Bohuszewicz, Oskar ID - 24511 TI - Eine Methode zur Visualisierung von Geschäftsprozessen in einer virtuellen Umgebung VL - 92 ER - TY - THES AU - Börnchen, Thomas ID - 24512 TI - Zur Entwicklung dynamischer Komponenten für variables Kraftfahrzeug-Scheinwerferlicht VL - 93 ER - TY - THES AU - Windeler, Ingo ID - 24513 TI - Auswahl von Restrukturierungsprojekten in Forschungs- und Entwicklungsorganisationen der Automobilindustrie VL - 94 ER - TY - THES AU - Wolff, Carsten ID - 24514 TI - Parallele Simulation großer pulscodierter neuronaler Netze VL - 95 ER - TY - THES AU - Henke, Andreas ID - 24583 TI - Modellierung, Simulation und Optimierung piezoelektrischer Stellsysteme VL - 96 ER - TY - GEN ED - Rückert, Ulrich ED - Sitte, Joaquin ED - Witkowski, Ulf ID - 24584 TI - Proceedings of the 5th International Heinz Nixdorf Symposium: Autonomous Minirobots for Research and Edutainment (AMiRE) VL - 97 ER - TY - THES AU - Peng, Li ID - 24585 TI - Datenkonversion für den Datenaustausch in verteilten Fertigungs-Lenkungssystemen VL - 98 ER - TY - THES AU - Brandt, Christoph ID - 24586 TI - Eine modellbasierte Methode zum strukturierten Entwurf virtueller Umgebungen VL - 99 ER - TY - THES AU - Wleklinski, Christian ID - 24587 TI - Methode zur Effektivitäts- und Effezienzbewertung der Entwicklung der maschinenbauchlicher Anlagen VL - 100 ER - TY - THES AU - Mauermann, Helmut ID - 24588 TI - Leitfaden zur Erhöhung der Logistikqualtität durch Analyse und Neugestaltung der Versorgungsketten VL - 102 ER - TY - JOUR AU - Betz, Stefan ID - 2587 JF - Der Betrieb TI - Mehrjährige Arbeitszeitkonten in Forschung und Praxis VL - 54 ER - TY - CHAP AU - Betz, Stefan ED - Götze u.a., Uwe ID - 2588 T2 - Risikomanagement TI - Abweichungsanalysen als Instrumente des Risikomanagements ER - TY - CHAP AU - Grüßing, Meike AU - Hellmich, Frank ED - van den Heuvel-Panhuizen, Marja ID - 26846 T2 - Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education TI - Spatial ability & geometry learning ER - TY - CHAP AU - Hellmich, Frank ED - Kaiser, Gabriele ID - 26847 T2 - Beiträge zum Mathematikunterricht 2001 TI - Förderung des räumlichen Vorstellungsvermögens lernbehinderter Schülerinnen und Schüler im Zusammenhang mit ihren Leistungen im Geometrieunterricht ER - TY - BOOK AU - Hellmich, Frank ID - 26848 TI - Raumvorstellung und Geometrielernen in der Schule für Lernhilfe ER - TY - JOUR AU - Rensink, Arend AU - Wehrheim, Heike ID - 3244 IS - 3 JF - Acta Inf. TI - Process algebra with action dependencies ER - TY - JOUR AU - Bartetzko, Detlef AU - Fischer, Clemens AU - Möller, Michael AU - Wehrheim, Heike ID - 3245 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Jass - Java with Assertions ER - TY - CONF AU - Fischer, Clemens AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - Hu{\ss}mann, Heinrich ID - 3246 T2 - Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings TI - A {CSP} View on {UML-RT} Structure Diagrams ER - TY - JOUR AU - Gries, Thomas ID - 3334 JF - Wirtschaftsdienst 8/2001 TI - Soziales Marktmodell Europa versus liberales Marktmodell Amerika – gibt es Sieger beim Wettbewerb der Marktwirtschaften? ER - TY - JOUR AU - Gries, Thomas AU - Jungblut, Stefan AU - Meyer, H. ID - 3335 JF - Modelling of Economic Transition Phenomena TI - European Integration and regional Agglomeration in Eastern Europe, in: Kulikowski, R.; Nahorski, Z.; Owsinski, J.W. (eds) ER - TY - BOOK AU - Gries, Thomas AU - Leussky, A. AU - Losovskaya, E. ID - 3380 TI - Global Economics, St. Petersburg ER - TY - JOUR AU - Gruber, Hans AU - Harteis, Christian AU - Hawelka, Birgit ID - 3655 IS - 1 JF - DIE-Zeitschrift f{\"u}r Erwachsenenbildung TI - Medienkompetenz als Herausforderung. Neue Medien und die Veränderung von Kommunikation ER - TY - JOUR AU - Harteis, Christian AU - Heid, Helmut AU - Bauer, Johannes AU - Festner, Dagmar ID - 3658 IS - 2 JF - Zeitschrift für Berufs-und Wirtschaftspädagogik TI - Kernkompetenzen und ihre Interpretation zwischen ökonomischen und pädagogischen Ansprüchen VL - 97 ER - TY - GEN AU - Schlegel-Matthies, Kirsten ID - 27932 T2 - Salutogenese und Ernährungsbildung. Abstracts des Workshops vom 9. und 10. März 2001 TI - Salutogenese und haushaltsbezogene Bildung – didaktische Folgerungen ER - TY - JOUR AU - Schlegel-Matthies, Kirsten ID - 27933 IS - 4 JF - Haushalt & Bildung TI - Lebensstile von Jugendlichen und Umgang mit Geld. Folgerungen für haushaltsbezogene Bildung ER - TY - CONF AU - Meschut, Gerson ID - 21008 TI - Untersuchungen zum Crashverhalten geklebter und hybridgefügter Stahlbauteile ER - TY - CONF AU - Meschut, Gerson ID - 21009 SN - ISSN 0946-5987 T2 - DVM-Bericht 668 TI - Hybridfügen – Grundlagen, Technologie, Anwendungen VL - 668 ER - TY - CONF AU - Brüdgam, S. AU - Meschut, Gerson ID - 21010 SN - ISBN 3-87155-676-9 T2 - DVS-Berichte, Band 218 TI - Material technologies und joining techniques for multi material car body structures VL - 218 ER - TY - CONF AU - Walther, U. AU - Meschut, Gerson ID - 21011 T2 - Tagungsband zur 5. Jahres- und 2. Europäischen Fachkonferenz “Kleben im Automobilbau” TI - Kleben von Magnesium ER - TY - CONF AU - Meschut, Gerson ID - 21012 TI - Werkstoff- und Fügetechnik für Fahrzeugstrukturen im Multi-Material Design ER - TY - CONF AU - Meschut, Gerson ID - 21013 TI - Kleben und mechanisches Fügen – eine Hybridfügetechnik für eigenschaftsoptimierte Werkstoffverbunde ER - TY - GEN AU - Hahn, O. AU - Gorenflo, D. AU - Meschut, Gerson AU - Hübner, P. ID - 21224 TI - Verfahren zur Messung der Wärmeleitfähigkeit von Klebverbindungen ER - TY - JOUR AU - Meyer auf der Heide, Friedhelm AU - Scheideler, Christian ID - 2139 IS - 1 JF - Combinatorica TI - Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols VL - 21 ER - TY - CONF AU - Awerbuch, Baruch AU - Berenbrink, Petra AU - Brinkmann, André AU - Scheideler, Christian ID - 2140 T2 - FOCS TI - Simple Routing Strategies for Adversarial Systems ER - TY - CONF AU - Berenbrink, Petra AU - Brinkmann, André AU - Scheideler, Christian ID - 2141 T2 - PDP TI - SIMLAB-A Simulation Environment for Storage Area Networks ER - TY - CONF AU - Kolman, Petr AU - Scheideler, Christian ID - 2142 T2 - SPAA TI - Simple on-line algorithms for the maximum disjoint paths problem ER - TY - BOOK AU - Mindt, Ilka ID - 17688 TI - Intonation im Lancaster/IBM Spoken English Corpus. Falls und fall-rises, Sprecherwechsel, paratones, declination VL - 23 ER - TY - CHAP AU - Mindt, Ilka ID - 17911 T2 - Anglistik. Mitteilungen des Deutschen Anglistenverbandes TI - Longman Idioms Dictionary ER - TY - CHAP AU - Mindt, Ilka AU - Hundt, Marianne ID - 17912 T2 - Anglistik: Mitteilungen des Deutschen Anglistenverbandes TI - New Zealand English Grammar Fact or Fiction? A corpus-based study in morphosyntactic variation ER - TY - JOUR AU - Czumaj, Artur AU - Sohler, Christian ID - 18749 JF - Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) SN - 0302-9743 TI - Testing Hypergraph Coloring ER - TY - CONF AU - Sohler, Christian AU - Czumaj, Artur ID - 18750 T2 - Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms TI - Soft Kinetic Data Structures ER - TY - JOUR AB - This paper investigates geometric problems in the context of property testing algorithms. Property testing is an emerging area in computer science in which one is aiming at verifying whether a given object has a predetermined property or is “far” from any object having the property. Although there has been some research previously done in testing geometric properties, prior works have been mostly dealing with the study of combinatorial notion of the distance defining whether an object is “far” or it is “close”; very little research has been done for geometric notion of distance measures, that is, distance measures that are based on the geometry underlying input objects. The main objective of this work is to develop sound models to study geometric problems in the context of property testing. Comparing to the previous work in property testing, there are two novel aspects developed in this paper: geometric measures of being close to an object having the predetermined property, and the use of geometric data structures as basic primitives to design the testers. We believe that the second aspect is of special importance in the context of property testing and that the use of specialized data structures as basic primitives in the testers can be applied to other important problems in this area. We shall discuss a number of models that in our opinion fit best geometric problems and apply them to study geometric properties for three very fundamental and representative problems in the area: testing convex position, testing map labeling, and testing clusterability. AU - Sohler, Christian AU - Czumaj, Artur ID - 18857 JF - Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) TI - Property Testing with Geometric Queries ER - TY - CONF AU - Lukovszki, Tamás AU - Maheshwari, Anil AU - Zeh, Norbert ID - 18964 SN - 0302-9743 T2 - Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS TI - I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems ER - TY - BOOK AU - Eke, Norbert Otto ID - 19110 TI - Thomas Valentin: Der Hausfreund. Dramen (Edition) VL - 8 ER - TY - CHAP AU - Seng, Eva- Maria ED - Reese-Schäfer, Walter ED - Kühnel, Martin ED - Rüdiger, Axel ID - 19145 T2 - Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage TI - Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts ER - TY - CHAP AU - Seng, Eva- Maria ED - Lächele, Rainer ID - 19184 T2 - Das Echo Halles TI - Christianopolis. Der utopische Architekturentwurf des Johann Valentin Andreae ER - TY - JOUR AU - Seng, Eva- Maria ID - 19195 IS - Nr. 407 JF - MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001 TI - Vom Kristallpalast zum gläsernen Menschen ER - TY - CHAP AU - Eke, Norbert Otto ED - Kopp, Detlev ED - Vogt, Michael ID - 19367 T2 - Grabbes Welttheater. Christian Dietrich Grabbe zum 200. Geburtstag TI - „Alle Ehre deiner Narbe.“ Die Spur des Körpers im Werk Grabbes ER - TY - CHAP AU - Eke, Norbert Otto ED - Vogt, Michael ED - Kopp, Detlev ID - 19369 T2 - Literaturkonzepte im Vormärz. Forum Vormärz Forschung. Jahrbuch 2000 TI - Faustisches im Schatten Goethes. Nikolaus Lenaus vormärzlicher Faust – eine Erinnerung ER - TY - CHAP AU - Eke, Norbert Otto ED - Eke, Norbert Otto ID - 19371 T2 - Thomas Valentin: Der Hausfreund. Dramen TI - Der Dramatiker Thomas Valentin ER - TY - GEN AU - Zimmer, Detmar ID - 23421 TI - Dichtsysteme zwischen einer Welle und einem feststehenden Gehäuseteil ER - TY - GEN AU - Zimmer, Detmar ID - 23423 TI - Modular Gear System with Contrate Gear ER - TY - JOUR AB - On 22 May 2000, the factorization of a pseudorandom polynomial of degree 1 048 543 over the binary field Z 2 was completed on a 4-processor Linux PC, using roughly 100 CPU-hours. The basic approach is a combination of the factorization software BIPOLAR and a parallel version of Cantor's multiplication algorithm. The PUB-library (Paderborn University BSP library) is used for the implementation of the parallel communication. AU - Bonorden, Olaf AU - von zur Gathen, Joachim AU - Gerhard, Jürgen AU - Müller, Olaf ID - 23731 JF - ACM SIGSAM Bulletin SN - 0163-5824 TI - Factoring a binary polynomial of degree over one million ER - TY - CONF AB - Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them suffer from instabilities when applied to degenerate matrices, i.e., those having multiple eigenvalues. We investigate the spectral representation's effectivity properties on the sound formal basis of computable analysis. It turns out that in general the eigenvectors cannot be computed from a given matrix. If however the size of the matrix' spectrum (=number of different eigenvalues) is known in advance, it can be diagonalized effectively. Thus, in principle the spectral decomposition can be computed under remarkably weak non-degeneracy conditions. AU - Ziegler, Martin AU - Brattka, Vasco ID - 18152 SN - 0302-9743 T2 - Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA'2000) TI - A Computable Spectral Theorem VL - 2064 ER - TY - CONF AB - What is the maximum number of edges of the d-dimensional hypercube, denoted by S(d,k), that can be sliced by k many hyperplanes? This question on combinatorial properties of Euclidean geometry arising from linear separability considerations in the theory of Perceptrons has become an issue on its own. We use computational and combinatorial methods to obtain new bounds on S(d,k), s<=8. These strengthen earlier results on hypercube cut numbers. AU - Ziegler, Martin AU - Emamy-Khansari, M. Reza ID - 18166 T2 - Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG'2001) TI - New Bounds for Hypercube Slicing Numbers VL - AA ER - TY - CONF AB - We consider the classical LINEAR OPTIMIZATION Problem, but in the Turing rather than the RealRAM model. Asking for mere computability of a function's maximum over some closed domain, we show that the common presumptions 'full-dimensional' and `bounded' in fact cannot be omitted: The sound framework of Recursive Analysis enables us to rigorously prove this folkloristic observation! On the other hand, convexity of this domain may be weakened to connectedness, and even NON-linear functions turn out to be effectively optimizable. AU - Brattka, Vasco AU - Ziegler, Martin ID - 18168 T2 - Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG'01) TI - Turing Computability of (Non-)Linear Optimization ER - TY - CONF AB - We present a new approximate occlusion-culling algorithm that in contrast to other algorithms, manages the objects of the scene in a 3D-sectorgraph. For generating a frame, as far as possible only the visible objects are rendered that can be found quickly by an edge of the graph. The algorithm allows a real-time navigation with over 20 frames per second in complex scenes consisting of over 10 millions of polygons. Moreover, approximation errors are very low. AU - Klein, Jan AU - Fischer, Matthias ID - 18370 T2 - Proc. of 3. GI-Informatiktage 2001 TI - Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph ER - TY - GEN AU - Peckhaus, Volker ID - 18381 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 957.01001] TI - Lorraine Daston (Hg.), Biographies of Scientific Object, University of Chicago Press: Chicago 2000 ER - TY - CONF AU - Zimmer, Detmar ID - 22321 SN - 3-18-091645-1 T2 - Variantenvielfalt in Produkten und Prozessen. Erfahrungen, Methoden und Instrumente TI - Entwicklung eines Getriebemotoren-Baukastens ER - TY - JOUR AU - Zimmer, Detmar ID - 22322 IS - 17 JF - SMM - Schweizer Maschinenmarkt TI - Kraft- oder Formschluss? VL - 102 ER - TY - JOUR AU - Zimmer, Detmar ID - 22323 IS - 1 JF - Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion TI - Berechnung des kegeligen Längspressverbands bei Einsteckritzeln VL - 53 ER - TY - JOUR AU - König, Rolf AU - Sureth-Sloane, Caren ID - 22917 IS - 3 JF - Steuern und Bilanzen TI - Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung VL - 3 ER - TY - JOUR AU - Trächtler, Ansgar ID - 23347 JF - Tagung "Fahrdynamikregelung", Haus der Technik TI - Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management ER - TY - JOUR AU - Trächtler, Ansgar ID - 23348 JF - Fortschritt-Berichte VDI Reihe 8 Nr. 897 TI - Tomographische Methoden in der Meßtechnik ER - TY - GEN ED - Mehner, Katharina ED - Mezini, M. ED - Pulvermüller, Elke ED - Speck, Andreas ID - 7787 TI - Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany) VL - tr-ri-01-223 ER - TY - GEN ED - Engels, Gregor ED - Oberweis, A. ED - Zündorf, Albert ID - 7788 TI - Modellierung 2001 VL - 1 ER - TY - GEN ED - Böllert, K. ED - Streitferdt, D. ED - Heuzeroth, D. ED - Mehner, Katharina ED - Hanenberg, S. ID - 7789 TI - Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany) ER - TY - CONF AU - Lütkemeier, Björn AU - Thöne, Sebastian ID - 7879 T2 - Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany) TI - Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle ER - TY - CONF AU - Baldan, Paolo AU - Corradini, Andrea AU - Ehrig, Hartmut AU - Heckel, Reiko ID - 7880 T2 - Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark) TI - Compositional Modeling of Reactive Systems Using Open Nets VL - 2154 ER - TY - CONF AU - Küster, Jochen AU - Stroop, Joachim ID - 7881 T2 - Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany) TI - Consistent Design of Embedded Real-Time Systems with UML-RT ER - TY - CONF AU - Depke, Ralph AU - Heckel, Reiko AU - Küster, Jochen ID - 7882 T2 - Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada) TI - Improving the Agent-Oriented Modeling Process with Roles ER - TY - CONF AU - Depke, Ralph AU - Heckel, Reiko ID - 7883 T2 - Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany) TI - Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform ER - TY - CONF AB - Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance. AU - Engels, Gregor AU - Heckel, Reiko AU - Küster, Jochen ID - 7884 T2 - Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada) TI - Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model VL - 2185 ER - TY - CONF AB - Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, w e discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models. AU - Engels, Gregor AU - Küster, Jochen AU - Groenewegen, Luuk AU - Heckel, Reiko ID - 7885 IS - 5 T2 - Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria) TI - A methodology for specifying and analyzing consistency of object-oriented behavioral models VL - 26 ER - TY - CONF AU - Geiger, Christian AU - Flake, Stephan AU - Küster, Jochen ID - 7886 T2 - Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates) TI - Towards UML-based Analysis and Design of Multi-Agent Systems ER - TY - CONF AU - Heckel, Reiko AU - Engels, Gregor ID - 7887 IS - UNL-DI-1-2001 T2 - Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal) TI - Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution ER - TY - CONF AU - Hendrik Hausmann, Jan AU - Heckel, Reiko AU - Sauer, Stefan ID - 7888 T2 - Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy) TI - Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams ER - TY - CONF AB - In Requirements Engineering structural and functional requirements for a new software system are gathered, analyzed, and manifested. Unfortunately the connection between these aspects gets lost in the standard object oriented methodology and has to be re-established later on. Not only is this tedious work but the detection of conflicts and inconsistencies in early phases is hindered by the separation of static and dynamic aspects. We propose the use of graph transformations to specify the connection between these aspects. Based on what we call an integrated business model, consistency analysis at the requirements model level becomes possible. Keywords: UML, Unified Process, functional specifications, integrated business model, graph transformation 1 Introduction At the beginning of each software development there are several ideas or visions of what the system to be build should achieve. The techniques developed in the area of requirements engineering are concerned with gathering, structuring and integrating these different ideas for the new system. It is the goal of this process to achieve a set of reasonable and consistent requirements for the further development process. The main problem is the detection and resolution of inconsistencies and conflicts between competing requirements. The application of formal methods and notations promises to support this task by enabling automated analysis. Although multiple formal methods have been proposed by scientists (see e.g. [7] for a survey), the standard methodologies in object oriented software engineering still use very informal and imprecise techniques in this phase of the development process. In particular, what is missing is a coupling between the structural (data) description (captured in class diagrams) and the behavior of the system (captured in activity and use case diagrams). In this paper we will show how to improve this situation by giving use cases a precise description, thus achieving a coupling of the dynamic and static parts of the model. This allows to apply formal techniques of consistency analysis. The paper is organized as follows: Section 2 gives an introduction to the requirements analysis phase in the Unified Process (UP) and points out some weak points of this approach. We will advance the basic ideas presented in the UP by further elaborating the ideas of a business model and formalizing their notion in Section 3. Section 4 introduces use case diagrams and their new role in the context of the integrated business model. Section 5 extends the notion of views to structure the whole requirements model and the concluding Section 6 gives perspectives toward further work on this topic. AU - Hendrik Hausmann, Jan AU - Heckel, Reiko ID - 7889 T2 - Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich) TI - Use Cases as views: A formal approach to Requirements engineering in the Unified Process VL - 1 ER - TY - CONF AB - One important application of Petri nets is thespecification of workflows. Such a specification is needed, for example, when interoperability of the workflows is an issue, which is frequently the case when business processes of different organizations shall be integrated.A workflow net is a Petri net satisfying some structural constraints, like the existence of one initial and one final place, and a corresponding soundness condition.An interorganizational workflow is modeled as a set of such workflow nets connected through additional places for asynchronous communication and synchronization requirements on transitions.In this contribution we interpret an interorganizational workflow as acomposition of open nets. This allows us to project processes of the overall net to open processes of the local nets and,vice versa, to deduce the global behavior from the behavior of the components.Such a compositional uunderstanding of workflows can be used to simulate and test local workflow nets in an unknown environment, and it provides the semantic justification for reusable components. AU - Heckel, Reiko ID - 7890 T2 - Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems TI - Open Petri Nets as Semantic Model for Business Process Integration ER - TY - CONF AU - Heckel, Reiko AU - Sauer, Stefan ID - 7891 T2 - Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy) TI - Strengthening UML Collaboration Diagrams by State Transformations VL - 2029 ER - TY - CONF AU - Küster, Jochen ID - 7892 T2 - Proceedings of the Forum on Design Languages (FDL'01) TI - Towards Behavior Consistent Modeling in UML-RT ER - TY - CONF AB - Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We propose an extension of the Unified Modeling Language (UML) for the integrated specification of multimedia systems based on an object-oriented development method. Since integration of co-existing timed procedural and interactive behavior is at the heart of multimedia systems, we focus on UML-based specification of behavior in this paper. In addition, we outline how these behavioral aspects are to be integrated with media, presentation, and software architecture modeling to achieve a coherent and consistent model. AU - Sauer, Stefan AU - Engels, Gregor ID - 7893 T2 - Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy) TI - UML-based Behavior Specification of Interactive Multimedia Applications ER - TY - CONF AU - Heckel, Reiko AU - Zündorf, Albert ED - Ehrig, H. ED - Padberg, J. ID - 7894 T2 - Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001) TI - How to Specify a Graph Transformation Approach - A Meta Model for Fujaba VL - 44 ER - TY - CONF AU - Krauter, Stefan ID - 8127 T2 - Proceedings of the 7th International Building Performance Simulation Association Conference, Rio de Janeiro (Brasilien), 13.–15. August 2001, S. 619–626 TI - New façade system consisting of combined photovoltaic and solar thermal generators with building insulation ER - TY - CONF AU - Krauter, Stefan AU - Ochs, F. AU - Depping, T. ID - 8128 T2 - Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2598–2599 TI - Satellite Monitoring of Remote PV-Systems ER - TY - CONF AU - Ochs, F. AU - Krauter, Stefan ID - 8129 T2 - Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2595–2597 TI - Development of an All-in-one Solar Home System ER - TY - CONF AU - Ochs, F. AU - Krauter, Stefan ID - 8130 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919 TI - Online Energy Monitoring and Control of a School Building ER - TY - CONF AU - Krauter, Stefan ID - 8131 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262 TI - Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation ER - TY - CONF AU - Krauter, Stefan AU - Valentin, G. ID - 8132 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 283–285 TI - Software for Simulation of Photovoltaic Systems in Buildings ER - TY - CONF AU - Krauter, Stefan ID - 8133 T2 - Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band. 2, S. 1049–1052 TI - RIO 02 – The World Energy and Climate Event ER - TY - CONF AU - Krauter, Stefan AU - Ochs, F. ID - 8138 T2 - Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S.1641–1647 TI - All-in-one Solar Home System ER - TY - CONF AU - Krauter, Stefan AU - Depping, T. AU - Ochs, F. ID - 8139 T2 - Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australien), 25.–.30 November 2001, S. 1485–1490 TI - A Satellite Monitoring System for Remote Renewable Energy Systems in Brazil ER - TY - CONF AU - Krauter, Stefan ID - 8140 T2 - Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S. 1473–1480 TI - RIO 02 – World Climate and Energy Event ER - TY - GEN AU - Engels, Gregor AU - Küster, Jochen AU - Groenewegen, Luuk ID - 8211 TI - On the Specification and Analysis of Protocols in UML-RT ER - TY - JOUR AU - Kundisch, Dennis AU - Dzienziol, J. AU - Eberhardt, M. AU - Pinnow, M. ID - 5848 IS - 3 JF - WIRTSCHAFTSINFORMATIK TI - Vergleichsmöglichkeiten für Finanzdienstleistungsangebote im WWW VL - 43 ER - TY - JOUR AU - Kundisch, Dennis AU - Wolfersberger, P. AU - Klöpfer, E. ID - 5849 IS - 2 JF - The International Journal on Media Management TI - Enabling eCCRM: Multi-Channel Model and Management for Financial eServices VL - 3 ER - TY - CONF AU - Kundisch, Dennis AU - Wolfersberger, P. AU - Calaminus, D. AU - Klöpfer, E. ED - Sprague, R. H. ID - 6010 T2 - Proceedings of the 34th Hawaii International Conference on System Sciences (HICSS) TI - Enabling eCCRM: Content Model and Management for Financial eServices VL - 7 ER -