@inproceedings{7901,
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Taentzer, Gabriele}},
  booktitle    = {{Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)}},
  pages        = {{105--155 }},
  publisher    = {{ACM Press}},
  title        = {{{Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation}}},
  doi          = {{http://doi.acm.org/10.1145/581339.581355}},
  year         = {{2002}},
}

@inproceedings{7902,
  author       = {{Heckel, Reiko and Chouikha, Mourad}},
  booktitle    = {{Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA)}},
  pages        = {{63--77}},
  publisher    = {{Society of Design and Process Science}},
  title        = {{{Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets}}},
  year         = {{2002}},
}

@inproceedings{7903,
  author       = {{Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele}},
  booktitle    = {{Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}},
  pages        = {{161--176}},
  publisher    = {{Springer}},
  title        = {{{Confluence of Typed Attributed Graph Transformation Systems}}},
  year         = {{2002}},
}

@inproceedings{7904,
  author       = {{Mehner, Katharina}},
  booktitle    = {{Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)}},
  pages        = {{163--175}},
  publisher    = {{Springer}},
  title        = {{{JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs}}},
  volume       = {{2269}},
  year         = {{2002}},
}

@inproceedings{7905,
  author       = {{Schattkowsky, Tim and Lohmann, Marc}},
  booktitle    = {{Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}},
  pages        = {{336--350}},
  publisher    = {{Springer}},
  title        = {{{Rapid Development of Modular Dynamic Web Sites Using UML}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45800-X}},
  year         = {{2002}},
}

@inproceedings{7906,
  author       = {{Cherchago, Alexey}},
  booktitle    = {{Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)}},
  publisher    = {{ACTA Press}},
  title        = {{{Formal Semantics for a UML fragment using UML/OCL metamodeling}}},
  year         = {{2002}},
}

@techreport{8212,
  author       = {{Constanza, Pascal and Kniesel, Günther and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}},
  publisher    = {{University of Bonn}},
  title        = {{{Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement}}},
  year         = {{2002}},
}

@article{7385,
  author       = {{Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}},
  journal      = {{Mathematical Structures in Computer Science}},
  number       = {{4}},
  pages        = {{349--376}},
  title        = {{{Concurrency and Loose Semantics of Open Graph Transformation Systems}}},
  volume       = {{12}},
  year         = {{2002}},
}

@article{7387,
  abstract     = {{Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of componentbased systems derived from those models.}},
  author       = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}},
  journal      = {{Transactions of the SDPS: Journal of Integrated Design & Process Science}},
  number       = {{4}},
  pages        = {{2--22}},
  title        = {{{Consistent Interaction of Software Components}}},
  volume       = {{6}},
  year         = {{2002}},
}

@article{7388,
  author       = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}},
  journal      = {{Science of Computer Programming}},
  pages        = {{229--252}},
  title        = {{{Formal Agent-Oriented Modeling with Graph Transformation}}},
  volume       = {{44}},
  year         = {{2002}},
}

@article{7389,
  abstract     = {{Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe, um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur Distribution der entwickelten Materialien vor.}},
  author       = {{Doberkat, Ernst-Erich and Engels, Gregor}},
  journal      = {{Informatik Forschung und Entwicklung}},
  number       = {{17}},
  pages        = {{41--44}},
  title        = {{{MuSofT - Multimedia in der Softwaretechnik}}},
  volume       = {{1}},
  year         = {{2002}},
}

@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}},
}