≪UML≫ 2002 — The Unified Modeling Language : Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings

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. Descriptions in Software Development....Pages 1-1 A Metamodel for the Unified Modeling Language....Pages 2-17 Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models....Pages 18-33 A Radical Reduction of UML’s Core Semantics....Pages 34-48 Configuration Knowledge Representation Using UML/OCL....Pages 49-62 Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies....Pages 63-72 Adapting the UML to Business Modelling’s Needs—Experiences in Situational Method Engineering....Pages 73-83 Analysis of UML Stereotypes within the UML Metamodel....Pages 84-99 Stereotypical Encounters of the Third Kind....Pages 100-114 Digging into Use Case Relationships....Pages 115-127 Practical Experiences in the Application of MDA....Pages 128-139 Executable Design Models for a Pervasive Healthcare Middleware System....Pages 140-149 Generating Code from UML with Velocity Templates....Pages 150-161 Does Your Software Creak as It Runs?....Pages 162-162 Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems....Pages 163-178 A UML Profile for Real-Time Constraints with the OCL....Pages 179-195 HOL-OCL : Experiences, Consequences and Design Choices....Pages 196-211 Consistency-Preserving Model Evolution through Transformations....Pages 212-227 Transformations and Software Modeling Languages: Automating Transformations in UML....Pages 227-242 A Relational Approach to Defining Transformations in a Metamodel....Pages 243-258 On Customizing the UML for Modeling Performance-Oriented Applications....Pages 259-274 Modelling QoS: Towards a UML Profile....Pages 275-289 Extending the UML for Multidimensional Modeling....Pages 290-304 A Metamodel for Package Extension with Renaming....Pages 305-320 Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning....Pages 321-335 Rapid Development of Modular Dynamic Web Sites Using UML....Pages 336-350 Software, Heal Thyself!....Pages 351-351 The Specification of UML Collaborations as Interaction Components....Pages 352-367 Measuring OO Design Metrics from UML....Pages 368-382 The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects....Pages 383-397 Diagram Interchange for UML....Pages 398-411 UMLsec: Extending UML for Secure Systems Development....Pages 412-425 SecureUML: A UML-Based Modeling Language for Model-Driven Security....Pages 426-441 Workshops and Tutorials at the UML 2002 Conference....Pages 442-447

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.

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 Modern practices of software development should successfully manage the progressing complexity of modeling problems.