This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.

Most of the articles in this volume are revised versions of papers presented during the 1st GROOM-Workshop on the Unified Modeling Language (UML). GROOM (Grundlagen objektorientierter Modellierung) is a working group of the Gesellschaft fur Informatik (GI), the German Society of Computer Science. The workshop took place at the University of Mannheim (Germany) in October 1997; the local organizers were Martin Schader and Axel Korthaus, Department of Information Systems. The scientific program of the workshop included 21 talks, presented in German language on Friday, Oct. 10th, and Saturday, Oct. 11th, 1997. Researchers and practitioners interested in object-oriented software development, analysis and design of software systems, standardization efforts in the field of object technology, and particularly in the main topic of the workshop: ''Applications, State of the Art, and Evaluation of the Unified Modeling Language" had the opportunity to discuss recent developments and to establish cooperation in these fields. The workshop owed much to its sponsors and supporters - University of Mannheim - Faculty of Business Administration, University of Mannheim - Sun Microsystems GmbH - Apcon Professional Concepts GmbH. Their generous support is gratefully acknowledged. In the present proceedings volume, papers are presented in three chapters as follows.

This book constitutes the referred proceedings of the 5th International Conference on the Unified Modeling Langugage, UML 2002, held in Dresden, Germany in September/October 2002. The 25 revised full research papers and 5 revised experience papers presented were carefully reviewed and selected from 127 abstracts and 99 papers submitted. The papers are organized in topical sections on metamodeling, applying the UML, diggind into the metamodel, experience with MDA, real- time and formal semantics, model engineering, profiles, methodology,and diagram interchange and security.

Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro?les of UML, appropriate for di?erent purposes; this is one way to make UML less overwh- ming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of - creasing the bene?ts from modeling throughout the software development p- cess. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting bene?ts of higher-level thinking. Much work remains to be done.

This book constitutes the refereed proceedings of the 7th International Conference on the Unified Modeling Language, UML 2004, held in Lisbon, Portugal, in October 2004. The 30 revised full papers presented together with summaries on the workshops and tutorials were carefully reviewed and selected from 135 technical paper submissions. The papers are organized in topical sections on metamodeling, aspects, profiles and extensions, OCL, model transformation, verification and model consistency, security, and methodology.