Five years on from its adoption in 1997 by the Object Management Group (OMG), the Uni?ed Modeling Language is the de facto standard for creating - agrammatic models of software systems. More than 100 books have been written about UML, and it is taught to students throughout the world. The de?nition of UML version 2 is well under way, and should be largely completed within the year. This will not only improve and enhance UML itself, including standard facilities for diagram interchange, but also make it fully integrated with other modeling technologies from the OMG, such as Meta-Object Facility (MOF) and XML Metadata Interchange (XMI). The Object Constraint Language, which has become an important vehicle for communicating detailed insights between UML researchers and practitioners, will have a much expanded speci?cation and be better integrated with the UML. The popularity of UML signi?es the possibility of a shift of immense prop- tions in the practice of software development, at least comparable to the shift from the use of assembly language to ¿third-generation¿ or ¿high-level¿ p- gramming languages. We dream of describing the behavior of software systems in terms of models, closely related to the needs of the enterprise being served, and being able to routinely translate these models automatically into executing p- grams on distributed computing systems. The OMG is promoting Model-Driven Architecture (MDA) as a signi?cant step towards this vision, and the MDA c- cept has received considerable support within the IT industry.

Includes supplementary material: sn.pub/extras

Invited Talk 1.- Descriptions in Software Development.- Metamodelling.- A Metamodel for the Unified Modeling Language.- Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.- A Radical Reduction of UML's Core Semantics.- Applying the UML.- Configuration Knowledge Representation Using UML/OCL.- Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies.- Adapting the UML to Business Modelling's Needs-Experiences in Situational Method Engineering.- Digging into the Metamodel.- Analysis of UML Stereotypes within the UML Metamodel.- Stereotypical Encounters of the Third Kind.- Digging into Use Case Relationships.- Experience with MDA.- Practical Experiences in the Application of MDA.- Executable Design Models for a Pervasive Healthcare Middleware System.- Generating Code from UML with Velocity Templates.- Invited Talk 2.- Does Your Software Creak as It Runs?.- Real-Time & Formal Semantics.- Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.- A UML Profile for Real-Time Constraints with the OCL.- HOL-OCL: Experiences, Consequences and Design Choices.- Model Engineering 1.- Consistency-Preserving Model Evolution through Transformations.- Transformations and Software Modeling Languages: Automating Transformations in UML.- A Relational Approach to Defining Transformations in a Metamodel.- Profiles.- On Customizing the UML for Modeling Performance-Oriented Applications.- Modelling QoS: Towards a UML Profile.- Extending the UML for Multidimensional Modeling.- Model Engineering 2.- A Metamodel for Package Extension with Renaming.- Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning.- Rapid Development of Modular Dynamic Web Sites Using UML.-Invited Talk 3.- Software, Heal Thyself!.- Methodology.- The Specification of UML Collaborations as Interaction Components.- Measuring OO Design Metrics from UML.- The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects.- Diagram Interchange & Security.- Diagram Interchange for UML.- UMLsec: Extending UML for Secure Systems Development.- SecureUML: A UML-Based Modeling Language for Model-Driven Security.- Workshops and Tutorials.- Workshops and Tutorials at the UML 2002 Conference.