@inproceedings{7937,
  author       = {{Förster, Alexander and Engels, Gregor and Schattkowsky, Tim}},
  booktitle    = {{Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)}},
  pages        = {{2--16}},
  publisher    = {{Springer}},
  title        = {{{Activity Diagram Patterns for Modeling Quality Constraints in Business Processes}}},
  volume       = {{3713}},
  year         = {{2005}},
}

@inproceedings{7938,
  author       = {{Guo, Ping and Engels, Gregor and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan)}},
  pages        = {{367--374}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Architectural Style - Based Modeling and Simulation of Complex Software Systems}}},
  doi          = {{http://dx.doi.org/10.1109/APSEC.2005.41}},
  year         = {{2005}},
}

@inproceedings{7939,
  author       = {{Lohmann, Marc and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005)}},
  pages        = {{63--70}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Executable Visual Contracts}}},
  doi          = {{http://dx.doi.org/10.1109/VLHCC.2005.35}},
  year         = {{2005}},
}

@inproceedings{7940,
  author       = {{Mahajan, Kiran and Laroque, Christoph and Dangelmaier, Wilhelm and Soltenborn, Christian and Kortenjan, Michael and Kuntze, Daniel}},
  booktitle    = {{Proceedings of the conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany)}},
  pages        = {{115--126}},
  publisher    = {{SCS European Publishing House}},
  title        = {{{d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments}}},
  volume       = {{1}},
  year         = {{2005}},
}

@inproceedings{7941,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA)}},
  title        = {{{A UML Virtual Machine for Embedded Systems}}},
  year         = {{2005}},
}

@inproceedings{7942,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA)}},
  pages        = {{117--124}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Transformation of UML StateMachines for Direct Execution}}},
  doi          = {{http://dx.doi.org/10.1109/VLHCC.2005.64}},
  year         = {{2005}},
}

@inproceedings{7943,
  author       = {{Schattkowsky, Tim}},
  booktitle    = {{Proceedings of the 4th International Conference on Networking (ICN 2005), Reunion Island (France)}},
  pages        = {{653--661}},
  publisher    = {{Springer}},
  title        = {{{Discovery and Routing in the HEN Heterogeneous Peer-to-Peer Network}}},
  doi          = {{https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b107118}},
  volume       = {{3421}},
  year         = {{2005}},
}

@inproceedings{7944,
  author       = {{Schattkowsky, Tim and Förster, Alexander}},
  booktitle    = {{Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005)}},
  pages        = {{3--10}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities}}},
  year         = {{2005}},
}

@inproceedings{7945,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}},
  booktitle    = {{Proceedings of the conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany)}},
  pages        = {{692--697}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{A Model-Based Approach for Executable Specifications on Reconfigurable Hardware}}},
  doi          = {{http://dx.doi.org/10.1109/DATE.2005.20}},
  year         = {{2005}},
}

@inproceedings{7946,
  author       = {{Schattkowsky, Tim}},
  booktitle    = {{Proceedings of the conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany)}},
  pages        = {{832--833}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{UML 2.0 - Overview and Perspectives in SoC Design}}},
  doi          = {{http://dx.doi.org/10.1109/DATE.2005.320}},
  volume       = {{2}},
  year         = {{2005}},
}

@techreport{8214,
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}},
  publisher    = {{Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn}},
  title        = {{{Teaching UML is Teaching Software Engineering is Teaching Abstraction}}},
  doi          = {{http://dx.doi.org/10.1007/11663430_32}},
  year         = {{2005}},
}

@article{7378,
  author       = {{Huma, Zille and Rehman, Muhammad and Iftikhar, Nadeem}},
  journal      = {{Journal of Computer Science and Technology}},
  number       = {{6}},
  pages        = {{788--796}},
  title        = {{{An Ontology-Based Framework for Semi-Automatic Schema Integration}}},
  volume       = {{20}},
  year         = {{2005}},
}

@article{7379,
  abstract     = {{eLearning supports the education in certain disciplines. Here, we report about novel eLearning concepts, techniques, and tools to support education in Software Engineering, a subdiscipline of computer science. We call this "Software Engineering eLearning". On the other side, software support is a substantial prerequisite for eLearning in any discipline. Thus, Software Engineering techniques have to be applied to develop and maintain those software systems. We call this "eLearning Software Engineering". Both aspects have been investigated in a large joint, BMBF-funded research project, termed MuSofT (Multimedia in Software Engineering). The main results are summarized in this paper.}},
  author       = {{Doberkat, Ernst-Erich and Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Pleumann, Jörg and Schröder, Jens}},
  journal      = {{e-learning and education (eleed) Journal}},
  title        = {{{Software Engineering and eLearning: The MuSofT Project}}},
  volume       = {{2}},
  year         = {{2005}},
}

@article{7380,
  author       = {{Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}},
  journal      = {{Software and Systems Modeling}},
  number       = {{2}},
  pages        = {{187--207}},
  title        = {{{Style-Based Modeling and Refinement of Service-Oriented Architectures}}},
  volume       = {{5}},
  year         = {{2005}},
}

@article{7381,
  abstract     = {{Web services are software components that can be discovered and employed at runtime using the Internet. Conflicting requirements towards the nature of these services can be identified. From a business perspective, Web services promise to enable the formation of ad-hoc cooperations on a global scale. From a technical perspective, a high degree of standardization and rigorous specifications are required to enable the automated integration of Web services. A suitable technology for Web services has to mediate these needs for flexibility and stability. To be usable in practice, this technology has to be aligned to standard software engineering practice to allow for a seamless development of Web service enabled components. In this paper, we introduce a new approach to the description of Web services. It is a visual approach based on the use of software models and graph transformations and allows for the flexible description of innovative services while providing a precise matching concept. A methodology enabling the seamless development of such Web service descriptions in the context of a standard model-based development approach is presented.}},
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}},
  journal      = {{International Journal of Web Services Research}},
  number       = {{2}},
  pages        = {{67--85}},
  title        = {{{Model-based development of Web service descriptions enabling a precise matching concept}}},
  volume       = {{2}},
  year         = {{2005}},
}

@inbook{7544,
  abstract     = {{This chapter presents the concepts of our Model Execution Platform (MEP). The MEP is an approach to executable UML for the design of hardware and software systems covering Class, State Machine, and Activity Diagrams. We present how the MEP is employed for Handel-C code generation and briefly sketch the concepts of a MEP based UML virtual machine.}},
  author       = {{Schattkowsky, Tim and Mueller, Wolfgang and Rettberg, Achim}},
  booktitle    = {{UML for SoC Design}},
  editor       = {{Martin, G.  and Mueller , W. }},
  pages        = {{63--88}},
  publisher    = {{Springer}},
  title        = {{{A Generic Model Execution Platform for the Design of Hardware and Software}}},
  year         = {{2005}},
}

@inbook{7546,
  abstract     = {{This chapter provides an introduction to the Unified Modeling Language (UML), a widely adopted object-oriented modeling standard, and shows how the language can be applied to (business) process modeling. As major perspectives of process modeling with UML 2.0, the chapter covers control flow, data objects and object flow, organizational structure, business partner interactions, and system-specific process models. Various types of UML diagrams are presented with a special focus on how these diagrams fit together and complement each other to form a coherent view of a process. Moreover, a running example is used throughout the chapter to illustrate the different facets of a process model.}},
  author       = {{Engels, Gregor and Förster, Alexander and Heckel, Reiko and Thöne, Sebastian}},
  booktitle    = {{Process-Aware Information Systems}},
  editor       = {{Dumas, M.  and van der Aalst, W.  and ter Hofstede, A.}},
  pages        = {{85--117}},
  publisher    = {{Wiley}},
  title        = {{{Process Modeling using UML}}},
  year         = {{2005}},
}

@inbook{7547,
  abstract     = {{Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connected with other modules requesting or providing certain features. In this paper, we study modules the interfaces of which consist of behavioral specifications given by typed graph transformation systems. We introduce a framework for classifying and systematically defining relations between typed graph transformation systems. The framework comprises a number of standard ingredients, like homomorphisms between type graphs and mappings between sets of graph transformation rules. The framework is applied to develop a novel concept of substitution morphism by separating preconditions and effects in the specification of rules. This substitution morphism is suited to define the semantic relation between export and import interfaces of requesting and providing modules.}},
  author       = {{Engels, Gregor and Heckel, Reiko and Cherchago, Alexey}},
  booktitle    = {{Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday}},
  editor       = {{ Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.}},
  pages        = {{38--63}},
  publisher    = {{Springer}},
  title        = {{{Flexible Interconnection of Graph Transformation Modules - A Systematic Approach}}},
  volume       = {{3393}},
  year         = {{2005}},
}

@inbook{7548,
  abstract     = {{In der modellbasierten Softwareentwicklung wird ein Softwaresystem durch verschiedene Teilmodelle auf unterschiedlichen Abstraktionsstufen und aus verschiedenen Sichten modelliert. Das Ziel von Konsistenzmanagement im Entwicklungsprozess ist es, eine gewisse Form von Konsistenz der Teilmodelle zu gewährleisten. Da objektorientierte Verhaltensmodelle keine eindeutige formale Semantik haben und sehr unterschiedlich eingesetzt werden, ist ein Konsistenzmanagement dieser Modelle besonders schwierig. In der Arbeit werden sowohl Grundlagen als auch Techniken für ein systematisches Konsistenzmanagement entwickelt und am praktischen Beispiel erprobt.}},
  author       = {{Küster, Jochen}},
  booktitle    = {{Ausgezeichnete Informatikdissertationen 2004}},
  editor       = {{Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, D.}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Konsistenzmanagement von objektorientierten Verhaltensmodellen}}},
  volume       = {{D5}},
  year         = {{2005}},
}

@phdthesis{7582,
  abstract     = {{A good architectural design allows to capture the overall complexity of large, distributed systems at a higher level of abstraction. This is especially important for reconfigurable systems where the architectural configuration is subject to (constant) changes at runtime. When designing such a dynamic architecture, the software architect has to bring the functional business requirements and the available communication and reconfiguration mechanisms of the intended target platform in line. As it is a complex task to incorporate these often diverging requirements into the architectural model, we propose a stepwise approach similar to the MDA initiative. We start with a platformindependent model capturing the business requirements and add platform-specific details in a later step. For each level of platform abstraction and associated platform, we define an architectural style which describes the characteristics of the platform. This way, conformance to the architectural style entails consistency with the underlying platform. Besides run-time configurations of components and connections, architectural models also comprise the description of processes that control the communication and reconfiguration behavior. To provide operational semantics, architectural models are formalized as graphs, and architectural styles are formalized as graph transformation systems. UML is added as high-level modeling language on top, and profiles are used to adapt UML to certain architectural styles. Due to the stepwise procedure, we also have to ensure the mutual consistency between models at different levels of abstraction. For this purpose, we define formal criteria which require that both structural and behavioral properties are preserved at the lower level of abstraction. Based on refinement relationships between abstract and platform-specific architectural styles, an algorithm allows to verify that all abstract, business-level behavior can also be realized in the platformspecific architecture and that no new behavior is added. These refinement techniques facilitate a stepwise, platform-consistent development of dynamic software architectures.}},
  author       = {{Thöne, Sebastian}},
  title        = {{{Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations}}},
  year         = {{2005}},
}