Inhaltsverzeichnis
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.
