TY - GEN AU - Peckhaus, Volker ID - 18381 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 957.01001] TI - Lorraine Daston (Hg.), Biographies of Scientific Object, University of Chicago Press: Chicago 2000 ER - TY - CONF AU - Zimmer, Detmar ID - 22321 SN - 3-18-091645-1 T2 - Variantenvielfalt in Produkten und Prozessen. Erfahrungen, Methoden und Instrumente TI - Entwicklung eines Getriebemotoren-Baukastens ER - TY - JOUR AU - Zimmer, Detmar ID - 22322 IS - 17 JF - SMM - Schweizer Maschinenmarkt TI - Kraft- oder Formschluss? VL - 102 ER - TY - JOUR AU - Zimmer, Detmar ID - 22323 IS - 1 JF - Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion TI - Berechnung des kegeligen Längspressverbands bei Einsteckritzeln VL - 53 ER - TY - JOUR AU - König, Rolf AU - Sureth-Sloane, Caren ID - 22917 IS - 3 JF - Steuern und Bilanzen TI - Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung VL - 3 ER - TY - JOUR AU - Trächtler, Ansgar ID - 23347 JF - Tagung "Fahrdynamikregelung", Haus der Technik TI - Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management ER - TY - JOUR AU - Trächtler, Ansgar ID - 23348 JF - Fortschritt-Berichte VDI Reihe 8 Nr. 897 TI - Tomographische Methoden in der Meßtechnik ER - TY - GEN ED - Mehner, Katharina ED - Mezini, M. ED - Pulvermüller, Elke ED - Speck, Andreas ID - 7787 TI - Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany) VL - tr-ri-01-223 ER - TY - GEN ED - Engels, Gregor ED - Oberweis, A. ED - Zündorf, Albert ID - 7788 TI - Modellierung 2001 VL - 1 ER - TY - GEN ED - Böllert, K. ED - Streitferdt, D. ED - Heuzeroth, D. ED - Mehner, Katharina ED - Hanenberg, S. ID - 7789 TI - Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany) ER - TY - CONF AU - Lütkemeier, Björn AU - Thöne, Sebastian ID - 7879 T2 - Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany) TI - Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle ER - TY - CONF AU - Baldan, Paolo AU - Corradini, Andrea AU - Ehrig, Hartmut AU - Heckel, Reiko ID - 7880 T2 - Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark) TI - Compositional Modeling of Reactive Systems Using Open Nets VL - 2154 ER - TY - CONF AU - Küster, Jochen AU - Stroop, Joachim ID - 7881 T2 - Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany) TI - Consistent Design of Embedded Real-Time Systems with UML-RT ER - TY - CONF AU - Depke, Ralph AU - Heckel, Reiko AU - Küster, Jochen ID - 7882 T2 - Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada) TI - Improving the Agent-Oriented Modeling Process with Roles ER - TY - CONF AU - Depke, Ralph AU - Heckel, Reiko ID - 7883 T2 - Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany) TI - Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform ER - TY - CONF AB - 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. AU - Engels, Gregor AU - Heckel, Reiko AU - Küster, Jochen ID - 7884 T2 - Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada) TI - Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model VL - 2185 ER - TY - CONF AB - 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. AU - Engels, Gregor AU - Küster, Jochen AU - Groenewegen, Luuk AU - Heckel, Reiko ID - 7885 IS - 5 T2 - 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) TI - A methodology for specifying and analyzing consistency of object-oriented behavioral models VL - 26 ER - TY - CONF AU - Geiger, Christian AU - Flake, Stephan AU - Küster, Jochen ID - 7886 T2 - Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates) TI - Towards UML-based Analysis and Design of Multi-Agent Systems ER - TY - CONF AU - Heckel, Reiko AU - Engels, Gregor ID - 7887 IS - UNL-DI-1-2001 T2 - 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) TI - Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution ER - TY - CONF AU - Hendrik Hausmann, Jan AU - Heckel, Reiko AU - Sauer, Stefan ID - 7888 T2 - Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy) TI - Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams ER -