@inbook{7521,
  abstract     = {{Auf der Grundlage der im vorherigen Kapitel zusammengefaßten Beschreibungen der Aktivitäten an den einzelnen Standorten Bochum, Köln, Münster und Siegen soll in diesem Kapitel versucht werden, die beschriebenen Erfahrungen zu strukturieren und zu vergleichen. Hierbei geht es in erster Linie um eine qualitative Analyse. Es wird also nicht gefragt und bewertet, welche konkret quantitativ meßbaren Ergebnisse erzielt wurden, sondern welcher Standort welche Aktivitäten durchgeführt hat, um das gesteckte Ziel zu erreichen. Das Ziel dieser vergleichenden Analyse liegt vor allem in dem Erkenntnisgewinn, welche Aktivitäten von welchen Personenkreisen in einer Fakultät durchgeführt werden können bzw. sollten, um eine adäquate Unterstützung der Lehre durch Multimedia-Techniken zu erzielen.}},
  author       = {{Engels, Gregor and Depke, Ralph and Mehner, Katharina}},
  booktitle    = {{Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}},
  pages        = {{277--294}},
  publisher    = {{LIT}},
  title        = {{{Ergebnisse - vergleichende Darstellung}}},
  year         = {{2000}},
}

@inbook{7522,
  abstract     = {{The computer has evolved from the purpose of pure number crunching to supporting the coordinated collaboration between human and/or artificial beings to reach a certain goal. Object-oriented modelling techniques based on the central notions of object interaction and object collaboration should provide the semantic expressivity to model such coordinated collaboration. Based on an investigation of the object-oriented modelling standard UML, however, the weaknesses of the existing modelling concepts are revealed. SOCCA is presented instead, which is an object-oriented specification language supporting the arbitrarily fine-grained synchronisation of processes, i.e., active objects. Based on several examples of the EU rental car system the expressive power of SOCCA is discussed and compared to related approaches.}},
  author       = {{Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}},
  booktitle    = {{Proceedings of Advances in Object-Oriented Modeling}},
  pages        = {{307--332}},
  publisher    = {{The MIT Press}},
  title        = {{{Coordinated Collaboration of Objects}}},
  year         = {{2000}},
}

@inproceedings{8341,
  author       = {{Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}},
  booktitle    = {{Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}},
  pages        = {{310--322}},
  publisher    = {{Springer}},
  title        = {{{A Fully Abstract Model for Graph-Interpreted Temporal Logic}}},
  doi          = {{http://dx.doi.org/10.1007/b75045}},
  volume       = {{1764}},
  year         = {{2000}},
}

@inproceedings{8342,
  abstract     = {{This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.}},
  author       = {{Engels, Gregor and Zamperoni, Andreas}},
  booktitle    = {{Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}},
  pages        = {{359--368}},
  publisher    = {{Springer}},
  title        = {{{Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45104-8_28}},
  volume       = {{1779}},
  year         = {{2000}},
}

@inproceedings{8343,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 7th GI-Workshop GROOM}},
  number       = {{2}},
  pages        = {{43--44}},
  publisher    = {{University of Koblenz-Landau}},
  title        = {{{Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}}},
  volume       = {{20}},
  year         = {{2000}},
}

@inproceedings{8344,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}},
  number       = {{0006}},
  pages        = {{63--69}},
  publisher    = {{Ludwig-Maximilians-University}},
  title        = {{{Strengthening the Semantics of UML Collaboration Diagrams}}},
  year         = {{2000}},
}

@inproceedings{8345,
  author       = {{Küster, Jochen and Stroop, Joachim}},
  booktitle    = {{Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}},
  publisher    = {{University of York}},
  title        = {{{Towards Consistency of Dynamic Models and Analysis of Timing Constraints}}},
  year         = {{2000}},
}

@inproceedings{8346,
  abstract     = {{In den letzten Jahren ist ein deutlicher Trend zu verstärkt nebenläufiger Software festzustellen. Hierfür gibt es verschiedene Gründe, wie die rasante Verbreitung des Internets mit seinen Client/Server-Architekturen und die verstärkte Unterstützung nebenläufiger Programmierung in neuen Programmiersprachen wie z.B. Java. Softwareentwickler werden somit zunehmend mit dem Problem der Synchronisation der nebenläufigen Abläufe in der Software konfrontiert. Dabei treten immer wieder gravierende Fehler auf. Besonders problematisch ist in diesem Zusammenhang der Nichtdeterminismus nebenläufiger Abläufe, der dazu führt, dass Fehler unter Umständen bei Tests nicht auffällig werden, weil das Auftreten der Fehler von einem bestimmten Zeitverhalten abhängt, das beim Test nicht auftritt. Die Situation wird noch erschwert, wenn man nebenläufige Software aus Komponenten verschiedener Hersteller zusammensetzt. Bei der Zusammenarbeit dieser Komponenten auftretende Fehler im nebenläufigen Ablauf sind besonders schwierig zu diagnostizieren und zu beheben, da über die verwendeten Komponenten meist nichts außerhalb ihrer nicht notwendigerweise vollständigen und korrekten Spezifikation bekannt ist. Dies ist ein aktuelles Problem, da Komponententechnologien den Kern vieler moderner Anwendungen bilden. Viele Fehler in nebenläufiger Software sind auf grundsätzliche Fehler beim Entwurf der Software zurückzuführen. Auch beim Übergang vom Modell zur Implementierung entstehen Fehler, insbesondere wenn das Modell nicht direkt bei der Implementierung umsetzbar ist. Dies ist häufig der Fall, weil die Implementierung meist auf der Verwendung einfacher Synchronisationskonstrukte, wie z.B. Semaphoren, basiert, welche in der verwendeten Modellierung kein direktes Gegenstück haben. Es ist also entscheidend, dass die Softwareentwickler beim Entwurf ein klares Bild von der zu entwickelnden Software erhalten, welches leicht in der Implementierung umzusetzen ist. Wir wollen im folgenden grundlegende Strukturen nebenläufiger Softwaresysteme aufzeigen, basierend darauf Anforderungen an Modellierungssprachen für solche Systeme formulieren und existierende Modellierungssprachen auf diese Anforderungen hin untersuchen. Dabei werden wir sehen, dass sich in diesen Systemen kleinere, nahezu in sich abgeschlossene, Abläufe identifizieren lassen, die wir als Operationen bezeichnen werden. Betrachtet man die Implementation so ist festzustellen, dass hier einige einfache Konstrukte im Vordergrund stehen, auf die das Modell abgebildet werden muss. Damit ergeben sich aus unserer Sicht zwei wesentliche Forderungen an Modellierungssprachen: · Die Aufteilung in einzelne Operationen soll gefördert werden. · Gängige Synchronisationskonstrukte sollen direkt dargestellt werden, um die Lesbarkeit der Darstellung zu verbessern und um den Übergang in die Implementierung zu vereinfachen. Im nächsten Abschnitt werden wir die grundlegende Struktur nebenläufiger Software beschreiben, bevor wir dann Anforderungen diskutieren. Wir werden State Charts als eine gebräuchliche Modellierungssprache hinsichtlich dieser Anforderungen untersuchen und dabei sehen, dass diese den Forderungen nicht vollständig gerecht werden. Dies wird an einem Beispiel vertieft. Abschließend gehen wir kurz auf den Übergang von der Modellierung in die Implementierung ein.}},
  author       = {{Mehner, Katharina and Schattkowsky, Tim}},
  booktitle    = {{Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}},
  pages        = {{14--18}},
  publisher    = {{Universität Münster}},
  title        = {{{Methodische Aspekte von Modellierungssprachen für nebenläufige Software}}},
  volume       = {{24}},
  year         = {{2000}},
}

@inproceedings{8347,
  author       = {{Mehner, Katharina and Wagner, Annika}},
  booktitle    = {{Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}},
  publisher    = {{Fölbach}},
  title        = {{{Visualisierung der Synchronisation von Java-Threads mit UML}}},
  volume       = {{15}},
  year         = {{2000}},
}

@proceedings{7792,
  editor       = {{Engels, Gregor and Beiersdörfer, K. and Schäfer, Wilhelm}},
  publisher    = {{Springer}},
  title        = {{{Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}}},
  year         = {{1999}},
}

@inproceedings{7849,
  author       = {{Deugo, Dwight and Küster, Jochen and Oppacher, Franz and von Otte, Ingo}},
  booktitle    = {{Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)}},
  pages        = {{605--611}},
  publisher    = {{CSREA Press}},
  title        = {{{Patterns as a Means for Intelligent Software Engineering}}},
  volume       = {{2}},
  year         = {{1999}},
}

@inproceedings{7850,
  author       = {{Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}},
  booktitle    = {{Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT '99)}},
  pages        = {{13--38}},
  publisher    = {{Springer}},
  title        = {{{Tile Transition Systems as Structured Coalgebras}}},
  volume       = {{1684}},
  year         = {{1999}},
}

@inproceedings{7851,
  author       = {{Cherchago, Alexey}},
  booktitle    = {{Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference "New Information Technologies in Scientific Researches and in Education" (Ryazan, Russia)}},
  title        = {{{Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development}}},
  year         = {{1999}},
}

@inproceedings{7852,
  abstract     = {{Today e-commerce applications use web browsers as an uniform user interface and they rely on databases as data sources. Different technologies exist for database access: common gateway interface (CGI), Java and its database interface java database connectivity (JDBC), proprietary approaches of database vendors, etc. We present criteria for the selection of an appropriate solution and we successivly apply them in our application development process. Throughout the development process of internet based database applications object oriented techniques can be used. The unified modeling language (UML) is used for requirement analysis and design of the application and the implementation proceeds with the programming language Java. The transition from the object oriented modeling language UML to the object oriented programming language Java succeeds smoothly. We report on our experience with the modeling tool Rational Rose 98 of Rational, Inc. We use Java and JDBC to implement a seminar reservation system that can be regarded as a small e-commerce application.}},
  author       = {{Engels, Gregor and Depke, Ralph and Borowski, Christoph}},
  booktitle    = {{Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen}},
  pages        = {{531--540}},
  publisher    = {{Technische Akademie Esslingen}},
  title        = {{{Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung}}},
  volume       = {{8}},
  year         = {{1999}},
}

@inproceedings{7856,
  author       = {{Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}},
  booktitle    = {{Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA}},
  pages        = {{473--488}},
  publisher    = {{Springer}},
  title        = {{{UML Collaboration Diagrams and Their Transformation to Java}}},
  volume       = {{1723}},
  year         = {{1999}},
}

@inproceedings{7858,
  abstract     = {{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.}},
  author       = {{Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}},
  booktitle    = {{Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)}},
  pages        = {{80--100}},
  publisher    = {{Elsevier}},
  title        = {{{A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}}},
  doi          = {{http://dx.doi.org/10.1016/S1571-0661(05)80309-3}},
  volume       = {{29}},
  year         = {{1999}},
}

@inproceedings{7859,
  author       = {{Heckel, Reiko}},
  booktitle    = {{Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems}},
  number       = {{258}},
  title        = {{{Modeling Agent-Based Systems with Graph Transformation and UML}}},
  year         = {{1999}},
}

@inproceedings{7860,
  abstract     = {{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.}},
  author       = {{Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)}},
  pages        = {{80--87}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Extending UML for Modeling of Multimedia Applications}}},
  doi          = {{http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878}},
  year         = {{1999}},
}

@techreport{8203,
  author       = {{Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}},
  publisher    = {{Technical University of Berlin}},
  title        = {{{Basic Properties of Double Pullback Graph Transitions}}},
  year         = {{1999}},
}

@techreport{8204,
  author       = {{Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}},
  publisher    = {{University of Paderborn, Department of Computer Science}},
  title        = {{{UML Collaboration Diagrams and Their Transformation to Java}}},
  year         = {{1999}},
}