UML 2004 - The Unified Modeling Language

This volumecomprises the ?nal versionsof the technicalpapers presented at the UML 2004 conference held in Lisbon (Portugal), October 11 15, 2004. UML 2004 was the seventh conference in a series of annual UML conferences. The series started in 1998 and was located at Mulhouse (France); the following years saw the conference move to Fort Collins (USA) in 1999, York (UK) in 2000,Toronto (Canada) in 2001,Dresden (Germany) in 2002,San Francisco (USA) in 2003, and now Lisbon (Portugal) in 2004. During this time, the UML conference became one of the leading conferences in the area of object-oriented modeling. While in the ?rst years the focus of the conference was on the scienti?c investigation of the Uni?ed Modeling Language (UML), which had just been adopted by the Object Management Group (OMG) at the time, the focus has changed in recent years to innovations in techniques such as metamodeling, model transformations, model validation and veri?cation, aspect orientation, and beyond. Many recent research activities have been especially stimulated by the Model Driven Architecture (MDA) initiative, started in 2000 by the OMG. The goal of MDA is the de?nition of a framework to enable the development of software purely based on models. In order to re?ect the changes of recent years, the conference series UML will be continued, from 2005 onwards,under thenameMODELS(MOdelDrivenEngineering,Languagesand Systems). The call for papers for UML 2004 encouraged authors around the world to submit 157abstractsand 135technicalpapers. Eachsubmissionwasreviewed by at least three referees, in most cases by four.

Includes supplementary material: sn.pub/extras

Metamodeling.- Empirically Driven Use Case Metamodel Evolution.- Applying OO Metrics to Assess UML Meta-models.- An OCL Formulation of UML2 Template Binding.- A Metamodel for Generating Performance Models from UML Designs.- On the Classification of UML's Meta Model Extension Mechanism.- Modeling Business Processes in Web Applications with ArgoUWE.- Aspects.- Model Composition Directives.- Query Models.- Specifying Cross-Cutting Requirement Concerns.- Profiles and Extensions.- A UML Profile to Model Mobile Systems.- Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time.- A UML Profile for Executable and Incremental Specification-Level Modeling.- OCL.- Applying Refactoring Techniques to UML/OCL Models.- Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report.- From Informal to Formal Specifications in UML.- Building Precise UML Constructs to Model Concurrency Using OCL.- An ASM Definition of the Dynamic OCL 2.0 Semantics.- Towards a Framework for Mapping Between UML/OCL and XML/XQuery.- Model Transformation.- Model-Driven Architecture for Automatic-Control: An Experience Report.- Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation.- Generic and Meta-transformations for Model Transformation Engineering.- Verification and Model Consistency.- Supporting Model Refactorings Through Behaviour Inheritance Consistencies.- Determining the Structural Events That May Violate an Integrity Constraint.- Deductive Verification of UML Models in TLPVS.- Security.- Integrating a Security Requirement Language with UML.- Automated Verification of UMLsec Models for Security Requirements.- Extending OCL for Secure Database Development.- Methodology.- Test Driven Development of UML Models with SMARTModeling System.- Behavioral Domain Analysis - The Application-Based Domain Modeling Approach.- Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications.- Workshops and Tutorials.- Workshops at the UML 2004 Conference.- Tutorials at the UML 2004 Conference.