@inproceedings{8374,
  abstract     = {{The use of UML extension mechanisms for the definition of an Agent-Oriented Modeling Language only fixes its syntax. But agent concepts demand an appropriate semantics for a visual modeling language. Graphs have been shown to constitute a precise and general semantic domain for visual modeling languages. The question is how agent concepts can be systematically represented in the semantic domain and further on be expressed by appropriate UML diagrams. We propose a language architecture based on the semantic domain of graphs and elements of the concrete syntax of UML. We use the proposed language architecture to define parts of an agent-oriented modeling language.}},
  author       = {{Depke, Ralph and Hendrik Hausmann, Jan and Heckel, Reiko}},
  booktitle    = {{Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Charlottesville, VA (USA)}},
  pages        = {{106--119}},
  publisher    = {{Springer}},
  title        = {{{Design of an Agent-Oriented Modeling Language Based on Graph Transformation}}},
  doi          = {{http://dx.doi.org/10.1007/b98116}},
  volume       = {{3062}},
  year         = {{2003}},
}

@inproceedings{8375,
  author       = {{Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}},
  booktitle    = {{Proceedings of the 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction (CBSE 2003), Portland, OR (USA)}},
  pages        = {{67--72}},
  publisher    = {{Carnegie Mellon University (USA), and Monash University (Australia)}},
  title        = {{{Modeling and Analysis of Architectural Styles Based on Graph Transformation}}},
  year         = {{2003}},
}

@inproceedings{8376,
  author       = {{Förster, Alexander and Engels, Gregor}},
  booktitle    = {{Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)}},
  pages        = {{62--73}},
  publisher    = {{Springer}},
  title        = {{{Quality Ensuring Development of Software Processes}}},
  volume       = {{2786}},
  year         = {{2003}},
}

@inproceedings{8377,
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}},
  booktitle    = {{Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany)}},
  pages        = {{286--291}},
  publisher    = {{XML-Clearinghouse}},
  title        = {{{Towards Automatic Selection of Web Services Using Graph Transformation Rules}}},
  year         = {{2003}},
}

@inproceedings{8378,
  author       = {{Heckel, Reiko and Lohmann, Marc and Thöne, Sebastian}},
  booktitle    = {{Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands)}},
  pages        = {{115--120}},
  publisher    = {{University of Twente}},
  title        = {{{Towards a UML Profile for Service-Oriented Architectures}}},
  volume       = {{TR–CTIT–03–27}},
  year         = {{2003}},
}

@inproceedings{8379,
  author       = {{Hendrik Hausmann, Jan}},
  booktitle    = {{Proceedings of the Metamodelling for MDA workshop, York (UK)}},
  pages        = {{147--161}},
  publisher    = {{University of York}},
  title        = {{{Metamodeling Relations - Relating Metamodels}}},
  year         = {{2003}},
}

@inproceedings{8380,
  abstract     = {{The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains like embedded realtime systems or multimedia systems, it is necessary to include specifications of time in behavioral models since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM), an approach based on graph transformation, as a means for specifying operational semantics of dynamic UML diagrams. In this article, we extend this approach to also account for time by extending the semantic domain to timed graph transformation. This enables us to define the operational semantics of UML diagrams with time speci- fications. As an example, we provide semantics for special sequence diagrams from the domain of multimedia application modeling.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)}},
  number       = {{3}},
  pages        = {{133--144}},
  publisher    = {{Elsevier}},
  title        = {{{Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}}},
  doi          = {{http://dx.doi.org/10.1016/S1571-0661(04)80617-0}},
  volume       = {{72}},
  year         = {{2003}},
}

@inproceedings{8381,
  author       = {{Heckel, Reiko and Lohmann, Marc}},
  booktitle    = {{Proceedings of the workshop on Test and Analysis of Component Based Systems (TACoS 2003, satellite event of the ETAPS 2003), Warsaw (Poland)}},
  number       = {{6}},
  pages        = {{33--43}},
  publisher    = {{Elsevier}},
  title        = {{{Towards Model-Driven Testing}}},
  doi          = {{http://dx.doi.org/10.1016/S1571-0661(04)81023-5}},
  volume       = {{82}},
  year         = {{2003}},
}

@inproceedings{8382,
  author       = {{Küster, Jochen and Stehr, Jan}},
  booktitle    = {{Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA)}},
  title        = {{{Towards Explicit Behavioral Consistency Concepts in the UML}}},
  year         = {{2003}},
}

@inproceedings{8383,
  author       = {{Mehner, Katharina and Rashid, Awais}},
  booktitle    = {{Proceedings of the Joint Belgian & Dutch AOP Workshop, Enschede (The Netherlands)}},
  publisher    = {{University of Twente}},
  title        = {{{GEMA: A Generic Model for AOP}}},
  year         = {{2003}},
}

@inproceedings{8384,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland)}},
  pages        = {{15--16}},
  title        = {{{Distributed Engineering Environment for the Design of Electronic Systems}}},
  year         = {{2003}},
}

@inproceedings{8385,
  abstract     = {{The use of models during the development of embedded systems is nowadays fairly limited. During the evolution of the system, the implementation and the design models often tend to get out of sync. The use of Model Driven Architecture in the development of embedded systems makes this problem more imminent, as it is much more demanding by introducing two separate modeling levels. Thus, there is a need to introduce techniques that overcome this problem. Complete code generation and the use of executable models potentially eliminate the need for a manual implementation that may get out of sync with the design models. We discuss important properties of such approaches and outline the advantages and possibilities of using a UML virtual machine in embedded systems.}},
  author       = {{Schattkowsky, Tim}},
  booktitle    = {{Proceedings of the workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (satellite event of the UML 2003 conference), San Francisco, CA (USA)}},
  title        = {{{Model-based Development of Embedded Systems: Executable Models vs. Code Generation}}},
  year         = {{2003}},
}

@proceedings{7785,
  editor       = {{Heckel, Reiko and Mens, T. and Wermelinger, M.}},
  number       = {{4}},
  publisher    = {{Elsevier}},
  title        = {{{Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)}}},
  volume       = {{72}},
  year         = {{2002}},
}

@proceedings{7786,
  editor       = {{Clauss, M. and Hanenberg, S. and John, I. and Mehner, Katharina and Van Der Straeten, Ragnhild}},
  number       = {{053.02/E}},
  title        = {{{Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh, PA (USA)}}},
  year         = {{2002}},
}

@inproceedings{7895,
  author       = {{Baresi, Luciano and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}},
  pages        = {{402--429}},
  publisher    = {{Springer}},
  title        = {{{Tutorial Introduction to Graph Transformation: A Software Engineering Perspective}}},
  doi          = {{https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934}},
  volume       = {{2505}},
  year         = {{2002}},
}

@inproceedings{7896,
  author       = {{Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}},
  booktitle    = {{Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)}},
  pages        = {{13--18}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Process-Oriented, Consistent Integration of Software Components}}},
  doi          = {{http://dx.doi.org/10.1109/CMPSAC.2002.1044527}},
  year         = {{2002}},
}

@inproceedings{7897,
  author       = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk}},
  booktitle    = {{Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}},
  pages        = {{212--226}},
  publisher    = {{Springer}},
  title        = {{{Consistency-Preserving Model Evolution through Transformations}}},
  volume       = {{2460}},
  year         = {{2002}},
}

@inproceedings{7898,
  author       = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}},
  booktitle    = {{Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}},
  number       = {{4}},
  pages        = {{2--22}},
  publisher    = {{IOS Press}},
  title        = {{{Consistent Interaction Of Software Components}}},
  volume       = {{6}},
  year         = {{2002}},
}

@inproceedings{7899,
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}},
  title        = {{{Testing the Consistency of Dynamic UML Diagrams}}},
  year         = {{2002}},
}

@inproceedings{7900,
  author       = {{Gyapay, Szilvia and Heckel, Reiko and Varró, Dániel}},
  booktitle    = {{Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}},
  pages        = {{120--134}},
  publisher    = {{Springer}},
  title        = {{{Graph Transformation with Time: Causality and Logical Clocks}}},
  volume       = {{2505}},
  year         = {{2002}},
}