@article{7390,
  author       = {{Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}},
  journal      = {{Theoretical Computer Science}},
  number       = {{1-2}},
  pages        = {{163--192}},
  title        = {{{Compositional SOS and Beyond: A Coalgebraic View of Open Systems}}},
  doi          = {{http://dx.doi.org/10.1016/S0304-3975(01)00025-1}},
  volume       = {{280}},
  year         = {{2002}},
}

@inbook{7524,
  author       = {{Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}},
  booktitle    = {{Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}},
  editor       = {{Brauer, W.  and Ehrig, H.  and Karhumäki, J.  and Salomaa , A. }},
  pages        = {{191--219}},
  publisher    = {{Springer}},
  title        = {{{High-Level Net Processes}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45711-9_12}},
  volume       = {{2300}},
  year         = {{2002}},
}

@inbook{7525,
  abstract     = {{The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.}},
  author       = {{Engels, Gregor and Groenewegen, Luuk}},
  booktitle    = {{Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}},
  pages        = {{257--276}},
  publisher    = {{Springer}},
  title        = {{{Towards Team-Automata-Driven Object-Oriented Collaborative Work}}},
  volume       = {{2300}},
  year         = {{2002}},
}

@inbook{7526,
  abstract     = {{Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.}},
  author       = {{Engels, Gregor and Doberkat, Ernst-Erich}},
  booktitle    = {{Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}},
  pages        = {{377--384}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Multimedia in der Informatik-Lehre}}},
  volume       = {{P-19}},
  year         = {{2002}},
}

@inbook{7527,
  abstract     = {{The notion of processes for low-level Petri nets based on occurrence nets is well known and it represents the basis for the study of the non-sequential behavior of Petri nets. Processes for high-level nets N are often defined as processes of the low level net Flat(N) which is obtained from N via a construction called flattening. In this paper we define high-level processes for high-level nets based on a suitable notion of high-level occurrence nets. The flattening of a high-level occurrence net is in general not a low-level occurrence net, due to so called assignment conflicts in the high-level net. The main technical result is a syntactical characterization of assignment conflicts. But the main focus of this paper is a conceptual discussion of future perspectives of high-level net processes including concurrency and data type aspects. Specifically, in the second part of the paper, we discuss possible extensions of high-level net processes, which are formally introduced for algebraic high-level nets in the first part of this paper. Of special interest are high-level processes with data type behavior, amalgamation, and other kinds of constructions, which are essential aspects for a proposed component concept for high-level nets.}},
  author       = {{Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}},
  booktitle    = {{Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}},
  editor       = {{ Brauer, W. and  Ehrig, H. and Karhumäki, J. and Salomaa , A. }},
  pages        = {{191--219}},
  publisher    = {{Springer}},
  title        = {{{High-Level Net Processes}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45711-9_12}},
  volume       = {{2300}},
  year         = {{2002}},
}

@inbook{7528,
  abstract     = {{The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.}},
  author       = {{Engels, Gregor and Groenewegen, Luuk}},
  booktitle    = {{Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}},
  editor       = {{Brauer, W.  and Ehring, H. and Karhumäki, J.  and Salomaa, A. }},
  pages        = {{257--276}},
  publisher    = {{Springer}},
  title        = {{{Towards Team-Automata-Driven Object-Oriented Collaborative Work}}},
  volume       = {{2300}},
  year         = {{2002}},
}

@inbook{7529,
  abstract     = {{Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.}},
  author       = {{Engels, Gregor and Doberkat, Ernst-Erich}},
  booktitle    = {{Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}},
  editor       = {{Schubert, S.  and Reusch, B.  and Jesse, N. }},
  pages        = {{377--384}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Multimedia in der Informatik-Lehre}}},
  volume       = {{P-19}},
  year         = {{2002}},
}

@inproceedings{8363,
  abstract     = {{A major concern of software development today is the integration of applications of different enterprises, e.g., over the internet. This requires a shift of focus from system development towards integration of enterprise models and evolution of systems. We propose a conceptual framework for a method addressing these issues and discuss its formalization by means of graph transformation concepts.}},
  author       = {{Heckel, Reiko and Engels, Gregor}},
  booktitle    = {{Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)}},
  pages        = {{139--151}},
  publisher    = {{Elsevier}},
  title        = {{{Towards a Formal Framework for Inter-Enterprise Application Integration}}},
  doi          = {{http://dx.doi.org/10.1016/S1571-0661(04)80198-1}},
  volume       = {{51}},
  year         = {{2002}},
}

@inproceedings{8364,
  abstract     = {{The composition of elementary web services to larger-scale services has become an important means to enhance e-business collaborations. If such composite web services can also integrate legacy components that are not yet provided as web services, the number of possible compositions is increased. Following a process-oriented approach, the compositions can be described as control- and data-flow between available web services and components. This paper discusses the Business Process Execution Language for Web Services (BPEL4WS), an existing service composition language, and proposes UML-WSC as an alternative, visual language. For the advanced description of service interfaces, UML-WSC extends the type system of the established Web Service Definition Language (WSDL).}},
  author       = {{Thöne, Sebastian and Depke, Ralph and Engels, Gregor}},
  booktitle    = {{Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)}},
  pages        = {{390--401}},
  publisher    = {{Springer}},
  title        = {{{Process-Oriented, Flexible Composition of Web Services with UML}}},
  volume       = {{2784}},
  year         = {{2002}},
}

@inproceedings{8365,
  author       = {{Engels, Gregor and Küster, Jochen and Heckel, Reiko}},
  booktitle    = {{Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)}},
  pages        = {{129--132}},
  publisher    = {{ACM Press}},
  title        = {{{Towards Consistency-Preserving Model Evolution}}},
  doi          = {{http://doi.acm.org/10.1145/512035.512066}},
  year         = {{2002}},
}

@inproceedings{8366,
  author       = {{Gyapay, Szilvia and Heckel, Reiko}},
  booktitle    = {{Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)}},
  pages        = {{131--140}},
  publisher    = {{Universität Bremen}},
  title        = {{{Towards Graph Transformation with Time}}},
  year         = {{2002}},
}

@inproceedings{8367,
  abstract     = {{The use of UML for software specification leads usually to lots of diagrams showing different aspects and components of the software system in several views. In order to support a view-oriented approach to system modeling, consistency views and in between views has to be manageable. It is a reasonable approach to consistency management when first chossing a suitable semantic domain, provide a partial mapping into this domain, and specity as well as verify consistency constraints formulated in that domain. Annotated meta model rules can be used to translate elements of UML models into the semantic domain chosen. In this contribution, we consider triple graph grammars and attributed graph transformation approaches for the precise definition of meta model rules an outline the tool support for automatic translation.}},
  author       = {{Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele}},
  booktitle    = {{Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France)}},
  pages        = {{11--21}},
  publisher    = {{Universität Bremen}},
  title        = {{{Towards Automatic Translation of UML Models into Semantic Domains}}},
  year         = {{2002}},
}

@inproceedings{8368,
  abstract     = {{Consistency of models and model transformations are strongly interrelated topics. It is thus desirable to have a single notation to express model properties concerning both aspects. When using meta modeling techniques, graph transformations are a natural candidate to express model transformations. This paper explores the use of graph transformations for denoting consistency conditions between models. This technique yields benefits for different types of interrelation between transformation and consistency. A special focus is put on the generation of automatic consistency-establishing transformations.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany)}},
  pages        = {{61--74}},
  publisher    = {{Department of Software Engineering and Computer Science, Blekinge Institute of Technology}},
  title        = {{{Extended Model Relations with Graphical Consistency Conditions}}},
  year         = {{2002}},
}

@inproceedings{8369,
  author       = {{Mehner, Katharina and Rashid, Awais}},
  booktitle    = {{Proceedings Workshop on Tools for Aspect-Oriented Software Developement (satellite event of the OOPSLA 2002), Seattle, WA (USA)}},
  title        = {{{Towards a Standard Interface for Runtime Inspection in AOP Environments}}},
  year         = {{2002}},
}

@inproceedings{8370,
  abstract     = {{Development of small- or medium scale Web applications is usually performed by teams consisting of graphic designers responsible for the layout and software developers realizing the business logic. Due to short production cycles, these people have to work in parallel on the implementation. Because of the different backgrounds of the people involved and the relative simplicity of the application, a simple design process and modeling approach is required which supports communication between team members and helps to identify and relate their respective tasks. We propose a simple subset of the UML adapted to the problem domain by means of stereotypes. Based on the design, we propose a strategy for generating code templates specifically tailored to the tasks of each team member, so that the implementation can immediately start in parallel when the modeling is complete.}},
  author       = {{Schattkowsky, Tim and Lohmann, Marc and Heckel, Reiko}},
  booktitle    = {{Proceedings of Workshop on Web Engineering (satellite event of the ICSE 2002), Orlando, FL (USA)}},
  title        = {{{Lightweight Modeling of Dynamic Websites using UML}}},
  year         = {{2002}},
}

@inproceedings{871,
  author       = {{Fu, Xiaoming and Karl, Holger and Kappler, Cornelia}},
  booktitle    = {{NETWORKING 2002, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; and Mobile and Wireless Communications, Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002, Proceedings}},
  pages        = {{721----730}},
  title        = {{{QoS-Conditionalized Handoff for Mobile IPv6}}},
  doi          = {{10.1007/3-540-47906-6_58}},
  year         = {{2002}},
}

@inproceedings{872,
  author       = {{Hollos, Daniel and Karl, Holger}},
  booktitle    = {{Mobile Ad-Hoc Netzwerke, 1. deutscher Workshop über Mobile Ad-Hoc Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm}},
  pages        = {{91----107}},
  title        = {{{A protocol extension to HiperLAN/2 to support single-relay networks}}},
  year         = {{2002}},
}

@inproceedings{990,
  author       = {{Xing, Wei and Karl, Holger and Wolisz, Adam and Müller, Harald}},
  booktitle    = {{In Proc. 5th Intl. Workshop The Internet Challenge: Technology and Applications}},
  pages        = {{43}},
  title        = {{{M-SCTP: Design and prototypical implementation of an end-to-end mobility concept}}},
  year         = {{2002}},
}

@article{16489,
  author       = {{Krick, Christof and Meyer auf der Heide, Friedhelm and Räcke, Harald and Vöcking, Bernhard and Westermann, Matthias' }},
  issn         = {{1432-4350}},
  journal      = {{Theory of Computing Systems}},
  pages        = {{217--245}},
  title        = {{{Data Management in Networks: Experimental Evaluation of a Provably Good Strategy}}},
  doi          = {{10.1007/s00224-001-1045-z}},
  year         = {{2002}},
}

@inproceedings{16490,
  abstract     = {{We present a new data structure for rendering highly complex virtual environments of arbitrary topology. The special feature of our approach is that it allows an interactive navigation in very large scenes (30 GB/400 million polygons in our benchmark scenes) that cannot be stored in main memory, but only on a local or remote hard disk. Furthermore, it allows interactive rendering of substantially more complex scenes by instantiating objects.

For the computation of an approximate image of the scene, a sampling technique is used. In the preprocessing, a so-called sample tree is built whose nodes contain randomly selected polygons from the scene. This tree only uses space that is linear in the number of polygons. In order to produce an image of the scene, the tree is traversed and polygons stored in the visited nodes are rendered. During the interactive walkthrough, parts of the sample tree are loaded from local or remote hard disk.

We implemented our algorithm in a prototypical walkthrough system. Analysis and experiments show that the quality of our images is comparable to images computed by the conventional z-buffer algorithm regardless of the scene topology.}},
  author       = {{Klein, Jan and Krokowski, Jens and Fischer, Matthias and Wand, Michael and Wanka, Rolf and Meyer auf der Heide, Friedhelm}},
  booktitle    = {{Proceedings of the ACM symposium on Virtual reality software and technology  - VRST '02}},
  isbn         = {{1581135300}},
  title        = {{{The randomized sample tree: a data structure for interactive walkthroughs in externally stored virtual environments}}},
  doi          = {{10.1145/585740.585764}},
  year         = {{2002}},
}