TY - CONF AU - Engels, Gregor AU - Heckel, Reiko ID - 7872 T2 - Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland) TI - Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution VL - 1853 ER - TY - CONF AB - Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to model structural and behavioral aspects of a software system. The UML was developed as a general-purpose language together with intrinsic features to extend the UML towards problem domain-specific profiles. The paper illustrates the language features of the UML and its adaptation mechanisms. As a conclusion, we show that the UML or an appropriate, to be defined core UML, respectively, may serve as a universal base of an object-oriented modeling language. But this core has to be adapted according to problem domain-specific requirements to yield an expressive and intuitive modeling language for a certain problem domain. AU - Engels, Gregor AU - Heckel, Reiko AU - Sauer, Stefan ID - 7873 T2 - Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark) TI - UML - A Universal Modeling Language? VL - 1825 ER - TY - CONF AU - Engels, Gregor AU - Groenewegen, Luuk ID - 7874 T2 - Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland) TI - Object-Oriented Modeling - A Roadmap 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 speci.cation of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to de.ne the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics speci.cation 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 - Hendrik Hausmann, Jan AU - Heckel, Reiko AU - Sauer, Stefan ID - 7875 T2 - Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK) TI - Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML VL - 1939 ER - TY - CONF AU - Hendrik Hausmann, Jan ID - 7876 T2 - Proceedings of the Informatiktage 2000, Bad Schussenried (Germany) TI - Graphtransitionsregeln zur Beschreibung der Semantik von UML ER - TY - CONF AU - Mehner, Katharina AU - Wagner, Annika ID - 7877 T2 - Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington) TI - Visualizing the Synchronization of Java-Threads with UML ER - TY - CONF AU - Depke, Ralph AU - Heckel, Reiko AU - Küster, Jochen ID - 7878 T2 - Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain) TI - Integrating visual modeling of agent-based and object-oriented systems ER - TY - CONF AU - Krauter, Stefan AU - Araujo, R. G. ID - 8124 T2 - Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. TI - New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation ER - TY - CONF AU - Krauter, Stefan AU - Herold, H. ID - 8125 T2 - Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911 TI - PV in Brazil ER - TY - CONF AU - Krauter, Stefan ID - 8126 T2 - Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000. TI - Sistemas híbridos termo-solares/fotovoltaicos. ER - TY - GEN AU - Depke, Ralph AU - Engels, Gregor AU - Küster, Jochen ID - 8207 TI - On the Integration of Roles in the UML ER - TY - GEN AU - Depke, Ralph AU - Heckel, Reiko AU - Küster, Jochen ID - 8208 TI - Modeling Agent-Based Systems with Graph Transformation ER - TY - GEN AU - Heckel, Reiko AU - Llabrés, Mercé AU - Ehrig, Hartmut AU - Orejas, Fernando ID - 8209 TI - On the Concurrent Semantics of Open Graph Transformation Systems and Views ER - TY - GEN AU - Mehner, Katharina AU - Wagner, Annika ID - 8210 TI - Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen ER - TY - CONF AB - In diesem Beitrag stellen wir eine Methode zur Spezifikation der dynamischen Semantik von UML im Sinne einer Metamodellierung vor. Die dynamische Metamodellierung verwendet dabei UMLKollaborationsdiagramme als eine dem Modellierer bekannte Notation. Diese werden durch eine Interpretation als Regeln einer graphischen operationalen Semantik (GOS) semantisch präzisiert. Die GOS-Formalisierung beruht dabei sowohl auf Konzepten von Graphtransformationen als auch dem Ansatz der Structured Operational Semantics. GOS-Regeln werden als Deduktionsregeln für die Spezifikation eines Interpreters betrachtet, der basierend auf einer Prolog-Ausführungsmaschine realisert werden soll. AU - Hendrik Hausmann, Jan AU - Heckel, Reiko AU - Sauer, Stefan ID - 8329 T2 - Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany) TI - Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung ER - TY - CONF AU - Depke, Ralph AU - Heckel, Reiko AU - Küster, Jochen ID - 8330 T2 - Proceedings of the workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany) TI - Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design ER - TY - CONF AU - Heckel, Reiko AU - Llabrés, Mercé AU - Ehrig, Hartmut AU - Orejas, Fernando ID - 8331 T2 - Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany) TI - Concurrency of Double-Pullback Graph Transitions ER - TY - CONF AB - Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically structured graphs. But, while there already exist hierarchical graph data models, no general-purpose hierarchical graph data model exists yet, which unifies common features of these domain-specific models. In this paper, we present graph packages, a general formalism for defining hierarchical graphs, supporting the most important features found in known applications. Because of the dynamic nature of graphs, hierarchical graph transformation is also an important issue to be dealt with when using hierarchical graphs. Motivated by the successful application of graph grammars to the specification of graph transformations, we also introduce a framework that allows to specify hierarchical graph transformations by combining existing graph grammar approaches and our graph package concept. These concepts are a step towards the definition of a general-purpose hierarchical graph data model. AU - Busatto, Giorgio AU - Engels, Gregor AU - Mehner, Katharina AU - Wagner, Annika ID - 8332 T2 - Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT '98), Paderborn (Germany) TI - A Framework for Adding Packages to Graph Transformation Approaches VL - 1764 ER - TY - CONF AU - Corradini, Andrea AU - Heckel, Reiko AU - Montanari, Ugo ID - 8333 T2 - Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland) TI - Graphical Operational Semantics ER - TY - CONF AU - Depke, Ralph AU - Heckel, Reiko ID - 8334 T2 - Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany) TI - Towards Role-based Modeling of Autonomous Agents ER -