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

@proceedings{7787,
  editor       = {{Mehner, Katharina and Mezini, M. and Pulvermüller, Elke and Speck, Andreas}},
  publisher    = {{University of Paderborn}},
  title        = {{{Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)}}},
  volume       = {{tr-ri-01-223}},
  year         = {{2001}},
}

@proceedings{7788,
  editor       = {{Engels, Gregor and Oberweis, A. and Zündorf, Albert}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Modellierung 2001}}},
  volume       = {{1}},
  year         = {{2001}},
}

@proceedings{7789,
  editor       = {{Böllert, K. and Streitferdt, D. and Heuzeroth, D. and Mehner, Katharina and Hanenberg, S.}},
  title        = {{{Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany)}}},
  year         = {{2001}},
}

@inproceedings{7879,
  author       = {{Lütkemeier, Björn and Thöne, Sebastian}},
  booktitle    = {{Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)}},
  publisher    = {{Konradin-Verlag}},
  title        = {{{Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle}}},
  year         = {{2001}},
}

@inproceedings{7880,
  author       = {{Baldan, Paolo and Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko}},
  booktitle    = {{Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)}},
  pages        = {{502--518}},
  publisher    = {{Springer}},
  title        = {{{Compositional Modeling of Reactive Systems Using Open Nets}}},
  volume       = {{2154}},
  year         = {{2001}},
}

@inproceedings{7881,
  author       = {{Küster, Jochen and Stroop, Joachim}},
  booktitle    = {{Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)}},
  pages        = {{31--40}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Consistent Design of Embedded Real-Time Systems with UML-RT}}},
  doi          = {{https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815}},
  year         = {{2001}},
}

@inproceedings{7882,
  author       = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}},
  booktitle    = {{Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)}},
  pages        = {{640--647}},
  publisher    = {{ACM Press}},
  title        = {{{Improving the Agent-Oriented Modeling Process with Roles}}},
  year         = {{2001}},
}

@inproceedings{7883,
  author       = {{Depke, Ralph and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany)}},
  publisher    = {{Technische Akademie Esslingen}},
  title        = {{{Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform}}},
  year         = {{2001}},
}

@inproceedings{7884,
  abstract     = {{Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.}},
  author       = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen}},
  booktitle    = {{Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}},
  pages        = {{272--287}},
  publisher    = {{Springer}},
  title        = {{{Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45441-1_21}},
  volume       = {{2185}},
  year         = {{2001}},
}

@inproceedings{7885,
  abstract     = {{Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, w e discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.}},
  author       = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)}},
  number       = {{5}},
  pages        = {{186--195}},
  publisher    = {{ACM Press}},
  title        = {{{A methodology for specifying and analyzing consistency of object-oriented behavioral models}}},
  doi          = {{http://dx.doi.org/10.1145/503271.503235}},
  volume       = {{26}},
  year         = {{2001}},
}

@inproceedings{7886,
  author       = {{Geiger, Christian and Flake, Stephan and Küster, Jochen}},
  booktitle    = {{Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)}},
  title        = {{{Towards UML-based Analysis and Design of Multi-Agent Systems}}},
  year         = {{2001}},
}

@inproceedings{7887,
  author       = {{Heckel, Reiko and Engels, Gregor}},
  booktitle    = {{Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)}},
  number       = {{UNL-DI-1-2001}},
  pages        = {{42--47}},
  publisher    = {{Universidade Nova de Lisboa}},
  title        = {{{Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution}}},
  year         = {{2001}},
}

@inproceedings{7888,
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}},
  pages        = {{80--87}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams}}},
  year         = {{2001}},
}

@inproceedings{7889,
  abstract     = {{In Requirements Engineering structural and functional requirements for a new software system are gathered, analyzed, and manifested. Unfortunately the connection between these aspects gets lost in the standard object oriented methodology and has to be re-established later on. Not only is this tedious work but the detection of conflicts and inconsistencies in early phases is hindered by the separation of static and dynamic aspects. We propose the use of graph transformations to specify the connection between these aspects. Based on what we call an integrated business model, consistency analysis at the requirements model level becomes possible. Keywords: UML, Unified Process, functional specifications, integrated business model, graph transformation 1 Introduction At the beginning of each software development there are several ideas or visions of what the system to be build should achieve. The techniques developed in the area of requirements engineering are concerned with gathering, structuring and integrating these different ideas for the new system. It is the goal of this process to achieve a set of reasonable and consistent requirements for the further development process. The main problem is the detection and resolution of inconsistencies and conflicts between competing requirements. The application of formal methods and notations promises to support this task by enabling automated analysis. Although multiple formal methods have been proposed by scientists (see e.g. [7] for a survey), the standard methodologies in object oriented software engineering still use very informal and imprecise techniques in this phase of the development process. In particular, what is missing is a coupling between the structural (data) description (captured in class diagrams) and the behavior of the system (captured in activity and use case diagrams). In this paper we will show how to improve this situation by giving use cases a precise description, thus achieving a coupling of the dynamic and static parts of the model. This allows to apply formal techniques of consistency analysis. The paper is organized as follows: Section 2 gives an introduction to the requirements analysis phase in the Unified Process (UP) and points out some weak points of this approach. We will advance the basic ideas presented in the UP by further elaborating the ideas of a business model and formalizing their notion in Section 3. Section 4 introduces use case diagrams and their new role in the context of the integrated business model. Section 5 extends the notion of views to structure the whole requirements model and the concluding Section 6 gives perspectives toward further work on this topic.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko}},
  booktitle    = {{Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)}},
  pages        = {{595--599}},
  publisher    = {{Österreichische Computer Gesellschaft}},
  title        = {{{Use Cases as views: A formal approach to Requirements engineering in the Unified Process}}},
  volume       = {{1}},
  year         = {{2001}},
}