@inproceedings{7890,
  abstract     = {{One important application of Petri nets is thespecification of workflows. Such a specification is needed, for example, when interoperability of the workflows is an issue, which is frequently the case when business processes of different organizations shall be integrated.A workflow net is a Petri net satisfying some structural constraints, like the existence of one initial and one final place, and a corresponding soundness condition.An interorganizational workflow is modeled as a set of such workflow nets connected through additional places for asynchronous communication and synchronization requirements on transitions.In this contribution we interpret an interorganizational workflow as acomposition of open nets. This allows us to project processes of the overall net to open processes of the local nets and,vice versa, to deduce the global behavior from the behavior of the components.Such a compositional uunderstanding of workflows can be used to simulate and test local workflow nets in an unknown environment, and it provides the semantic justification for reusable components.}},
  author       = {{Heckel, Reiko}},
  booktitle    = {{Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems}},
  pages        = {{129--134}},
  publisher    = {{DFG Research Group "Petri Net Technology"}},
  title        = {{{Open Petri Nets as Semantic Model for Business Process Integration}}},
  year         = {{2001}},
}

@inproceedings{7891,
  author       = {{Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}},
  pages        = {{109--123}},
  publisher    = {{Springer}},
  title        = {{{Strengthening UML Collaboration Diagrams by State Transformations}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45314-8_9}},
  volume       = {{2029}},
  year         = {{2001}},
}

@inproceedings{7892,
  author       = {{Küster, Jochen}},
  booktitle    = {{Proceedings of the Forum on Design Languages (FDL'01)}},
  title        = {{{Towards Behavior Consistent Modeling in UML-RT}}},
  year         = {{2001}},
}

@inproceedings{7893,
  abstract     = {{Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We propose an extension of the Unified Modeling Language (UML) for the integrated specification of multimedia systems based on an object-oriented development method. Since integration of co-existing timed procedural and interactive behavior is at the heart of multimedia systems, we focus on UML-based specification of behavior in this paper. In addition, we outline how these behavioral aspects are to be integrated with media, presentation, and software architecture modeling to achieve a coherent and consistent model.}},
  author       = {{Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}},
  pages        = {{248--255}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{UML-based Behavior Specification of Interactive Multimedia Applications}}},
  doi          = {{http://dx.doi.org/10.1109/HCC.2001.995271}},
  year         = {{2001}},
}

@inproceedings{7894,
  author       = {{Heckel, Reiko and Zündorf, Albert}},
  booktitle    = {{Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)}},
  editor       = {{Ehrig, H. and Padberg, J.}},
  pages        = {{41--51}},
  publisher    = {{Elsevier}},
  title        = {{{How to Specify a Graph Transformation Approach - A Meta Model for Fujaba}}},
  volume       = {{44}},
  year         = {{2001}},
}

@techreport{8211,
  author       = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}},
  publisher    = {{University of Paderborn, Department of Computer Science}},
  title        = {{{On the Specification and Analysis of Protocols in UML-RT}}},
  year         = {{2001}},
}

@article{7391,
  author       = {{Padberg, Julia and Jansen, Lars and Ehrig, Hartmut and Schnieder, E. and Heckel, Reiko}},
  journal      = {{Transactions of the Society for Design and Process Science}},
  number       = {{1}},
  pages        = {{3--21}},
  title        = {{{Cooperability in Train Control Systems: Specification of Scenarios using Open Nets}}},
  volume       = {{5}},
  year         = {{2001}},
}

@article{7392,
  author       = {{Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}},
  journal      = {{Applied Categorical Structures}},
  number       = {{1}},
  pages        = {{83--110}},
  title        = {{{Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}}},
  volume       = {{9}},
  year         = {{2001}},
}

@article{7393,
  abstract     = {{In this paper, we perform such an analysis and identify requirements for a general role concept. We develop such a role concept for a modeling approach based on the UML and graph transformation systems and exemplify its use for the specification (and application) of protocols. Finally, we provide a run-time semantics for roles based on concepts from the theory of graph transformation.}},
  author       = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}},
  journal      = {{International Journal of Software Engineering and Knowledge Engineering}},
  number       = {{3}},
  pages        = {{281--302}},
  title        = {{{Roles in Agent-Oriented Modeling}}},
  doi          = {{http://dx.doi.org/10.1142/S0218194001000529}},
  volume       = {{11}},
  year         = {{2001}},
}

@article{7394,
  author       = {{Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}},
  journal      = {{Theoretical Computer Science}},
  number       = {{1-2}},
  pages        = {{27--55}},
  title        = {{{A Coalgebraic presentation of structured transition systems}}},
  doi          = {{http://dx.doi.org/10.1016/S0304-3975(00)00121-3}},
  volume       = {{260}},
  year         = {{2001}},
}

@article{7395,
  abstract     = {{Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen, die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein einheitliches Verständnis des Modells ermöglicht.}},
  author       = {{Engels, Gregor and Gaulke, Jens and Sauer, Stefan}},
  journal      = {{Forschungsforum Paderborn}},
  pages        = {{24--29}},
  title        = {{{Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}}},
  volume       = {{4}},
  year         = {{2001}},
}

@inproceedings{8355,
  author       = {{Lohmann, Marc and Wagner, Annika}},
  booktitle    = {{Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)}},
  title        = {{{Using an XML-capable mailtool for the communication in software development projects}}},
  year         = {{2001}},
}

@inproceedings{8356,
  author       = {{Schattkowsky, Tim and Mehner, Katharina and Depke, Ralph}},
  booktitle    = {{Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)}},
  title        = {{{Using UML models for the Description of Concurrent Behavior in Component Interfaces}}},
  year         = {{2001}},
}

@inproceedings{8357,
  author       = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}},
  booktitle    = {{Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)}},
  pages        = {{105--120}},
  publisher    = {{Springer}},
  title        = {{{Agent-oriented Modeling with Graph Transformation}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-44564-1_7}},
  volume       = {{1957}},
  year         = {{2001}},
}

@inproceedings{8358,
  author       = {{Depke, Ralph and Mehner, Katharina}},
  booktitle    = {{Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)}},
  number       = {{tr-ri-01-223}},
  pages        = {{1--7}},
  publisher    = {{Universität Paderborn}},
  title        = {{{"Separation of Concern" mit Rollen, Subjekten und Aspekten}}},
  year         = {{2001}},
}

@inproceedings{8359,
  author       = {{Engels, Gregor and Küster, Jochen}},
  booktitle    = {{Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)}},
  title        = {{{Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models}}},
  year         = {{2001}},
}

@inproceedings{8360,
  abstract     = {{Although UMS sequence diagrams are widely used in practical software development, there is still a great demand for improvements. Their use both within and outside the standard interpretation of the UML specification is not seldom confused because different interpretations for sequence diagrams exist without means to distinguish between them. Furthermore, alternative sequence diagram notations with more syntactical features and different semantics still have a big influence and are readily used (explicitly as well as implicitly) alongside UML's sequence diagrams.}},
  author       = {{Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}},
  booktitle    = {{Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)}},
  pages        = {{142--157}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Identifiying Semantic Dimensions of (UML) Sequence Diagrams}}},
  volume       = {{7}},
  year         = {{2001}},
}

@inproceedings{8361,
  author       = {{Heckel, Reiko and Küster, Jochen}},
  booktitle    = {{Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)}},
  number       = {{3}},
  publisher    = {{Elsevier}},
  title        = {{{Behavioral Constraints for Visual Models}}},
  doi          = {{dx.doi.org/10.1016/S1571-0661(04)00177-X}},
  volume       = {{50}},
  year         = {{2001}},
}

@inproceedings{8362,
  author       = {{Mehner, Katharina and Weymann, Bernd}},
  booktitle    = {{Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)}},
  title        = {{{Visualization and Debugging of Concurrent Java Programs with UML}}},
  year         = {{2001}},
}

@proceedings{7790,
  editor       = {{Ehrig, Hartmut and Engels, Gregor and Kreowksi, H.-J. and Taentzer, Gabriele}},
  number       = {{2}},
  publisher    = {{Elsevier}},
  title        = {{{Special Issue: Selected Papers of GRATRA 2000}}},
  volume       = {{44}},
  year         = {{2000}},
}