TY - CONF AB - In this paper the concurrent semantics of double-pushout (DPO) graph rewriting, which is classically defined in terms of shift-equivalence classes of graph derivations, is axiomatised via the construction of a free monoidal bi-category. In contrast to a previous attempt based on 2-categories, the use of bi-categories allows to define rewriting on concrete graphs. Thus, the problem of composition of isomorphism classes of rewriting sequences is avoided. Moreover, as a first step towards the recovery of the full expressive power of the formalism via a purely algebraic description, the concept of disconnected rules is introduced, i.e., rules whose interface graphs are made of disconnected nodes and edges only. It is proved that, under reasonable assumptions, rewriting via disconnected rules enjoys similar concurrency properties like in the classical approach. AU - Gadducci, Fabio AU - Heckel, Reiko AU - Llabrés, Mercé ID - 7858 T2 - Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK) TI - A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting VL - 29 ER - TY - CONF AU - Heckel, Reiko ID - 7859 IS - 258 T2 - Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems TI - Modeling Agent-Based Systems with Graph Transformation and UML ER - TY - CONF AB - An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a coherent multimedia application model. In this sense, we extend the model-view-controller paradigm towards multimedia.As a result, we present OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications that is based on the Unified Modeling Language (UML). The structural and behavioral diagram types of UML have been analyzed and are adapted and extended according to multimedia application characteristics.A presentation diagram is introduced and integrated to adequately describe the visual presentation. In addition to explaining the different diagram types, we also give pragmatic guidelines on how to deploy and combine the various diagrams. AU - Sauer, Stefan AU - Engels, Gregor ID - 7860 T2 - Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) TI - Extending UML for Modeling of Multimedia Applications ER - TY - CONF AU - Salhi, M. J. AU - Krauter, Stefan AU - Lemoine, R. AU - Triebel, C. AU - Schroer, S. AU - Araújo, R. G. ID - 8117 T2 - Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88. TI - Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation ER - TY - CONF AU - Krauter, Stefan AU - Stephan, R. AU - Bastos, L. ID - 8118 T2 - Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288 TI - Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro ER - TY - CONF AU - Krauter, Stefan AU - Schmid, U. ID - 8119 T2 - Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, TI - Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film. ER - TY - CONF AU - Krauter, Stefan ID - 8120 T2 - Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375. TI - The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics ER - TY - CONF AU - Krauter, Stefan AU - Schmid, U. ID - 8121 T2 - Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126 TI - Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. ER - TY - CONF AU - Krauter, Stefan ID - 8122 T2 - Proceedings of Workshop Energias Alternativas para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999 TI - Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems) ER - TY - JOUR AU - Krauter, Stefan AU - Araujo, G. AU - Schroer, S. AU - Salhi, M. AU - Triebel, C. AU - Hanitsch, Rolf ID - 8123 IS - 4-6 JF - Solar Energy TI - Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation VL - 67 ER - TY - GEN AU - Ehrig, Hartmut AU - Heckel, Reiko AU - Llabrés, Mercé AU - Orejas, Fernando ID - 8203 TI - Basic Properties of Double Pullback Graph Transitions ER - TY - GEN AU - Engels, Gregor AU - Hücking, Roland AU - Sauer, Stefan AU - Wagner, Annika ID - 8204 TI - UML Collaboration Diagrams and Their Transformation to Java ER - TY - GEN AU - Engels, Gregor AU - Jan t'Hoen, Pieter AU - Dassen, Ray AU - Groenewegen, Luuk AU - G. Sprinkhuizen-Kuyper, Ida AU - Koopman, Pieter ID - 8205 TI - SOCCA Extended with UML like Packages ER - TY - GEN AB - This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised. AU - Engels, Gregor AU - Dassen, Ray AU - Groenewegen, Luuk AU - G. Sprinkhuizen-Kuyper, Ida AU - Koopman, Pieter AU - Jan t'Hoen, Pieter ID - 8206 TI - A Formalisation of SOCCA using Z, part 1: The Type Level Concepts ER - TY - CONF AB - Der Entwicklungsprozeß von Multimediaanwendungen sollte ebenso wie der herkömmlicher Softwaresysteme eine Analyse und einen Entwurf beinhalten. In dieser Arbeit diskutieren wir, inwiefern die Modellierung der Struktur und des dynamischen Verhaltens einer Multimediaanwendung über die Modellierung herkömmlicher Software hinausgeht. Wir zeigen, daß Aspekte der Benutzungsschnittstelle und das Zeitverhalten integraler Bestandteil der Modellierung sein sollten. Als Ergebnis stellen wir die objektorientierte Modellierungssprache OMMMA-L vor, die auf der Unified Modeling Language (UML) aufbaut. Die Struktur- und Verhaltensdiagramme von UML wurden analysiert und gemäß der Charakteristika von Multimedia adaptiert bzw. erweitert. Im Klassendiagramm werden die Medientypen und die logische Struktur der Anwendung modelliert. Als Verhaltensdiagramme werden spezialisierte Sequenz- und Zustandsdiagramme eingesetzt. Mit dem Layoutdiagramm wird ein neuer Diagrammtyp hinzugefügt, der die integrierte und anschauliche Beschreibung der visuellen Darstellung und interaktiver Benutzereingaben einer Multimediaanwendung erlaubt. Neben der Vorstellung der einzelnen Diagrammtypen geben wir ein aus dem Metamodell zu UML abgeleitetes OMMMA-L-Metamodell an, in dem das Zusammenspiel der Modellelemente aus den verschiedenen Diagrammen spezifiziert wird. AU - Sauer, Stefan AU - Engels, Gregor ID - 8321 T2 - Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe TI - UML-basierte Modellierung von Multimediaanwendungen ER - TY - CONF AB - We present an object-oriented approach based on the Unified Modeling Language (UML) for modeling structure and dynamic behavior of a multimedia information system. We extend the Model-View-Controller paradigm for interactive systems towards multimedia and show that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a model. This is done in the intention of achieving a coherent model of a multimedia information system. As a result, we present OMMMA-L a UML-based language for the Object-Oriented Modeling of MultiMedia Applications. OMMMA-L deploys class and state diagrams of UML as well as an extended sequence diagram and a newly introduced presentation diagram to adequately specify the visual presentation within a multimedia information system. In addition to explaining the different diagram types, we also define pragmatic rules on how to deploy and combine the various diagrams. Additionally, we relate OMMMA-L to basic ideas of multimedia information systems. AU - Sauer, Stefan AU - Engels, Gregor ID - 8322 T2 - Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) TI - OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems ER - TY - CONF AU - Corradini, Andrea AU - Große-Rhode, Martin AU - Heckel, Reiko ID - 8323 T2 - Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal) TI - An Algebra of Graph Derivations using Finite (co-) limit Double Theories VL - 1589 ER - TY - CONF AU - Corradini, Andrea AU - Heckel, Reiko AU - Montanari, Ugo ID - 8324 T2 - Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) TI - From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence VL - 19 ER - TY - CONF AB - In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics specification for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users. AU - Engels, Gregor AU - Heckel, Reiko AU - Sauer, Stefan ID - 8325 T2 - Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA) TI - Dynamic Meta Modelling: A Graphical Approach to Operational Semantics ER - TY - CONF AB - Several software architecture paradigms have been proposed for the development of interactive software systems and applications. Their common idea is the separation of user interface components from application logic. Normally, they are deployed as design patterns or basic frameworks of interactive systems. Deploying these architecture paradigms for multimedia systems or embedded real-time systems, first requires an appropriate adaption to the specific aspects of these application areas. We will compare within this position paper two well-known architecture paradigms and motivate an advanced architecture paradigm applicable to real-time, embedded multimedia systems. In addition, we will discuss that the architecture paradigm should be reflected within the structure of a modeling language. AU - Engels, Gregor AU - Sauer, Stefan ID - 8326 IS - 01 T2 - Proceedings of OMER Workshop, Herrsching, Germany TI - MVC-Based Modeling Support for Embedded Real-Time Systems ER -