«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings

Amador Durán, Beatriz Bernárdez, Marcela Genero, Mario Piattini (auth.), Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor (eds.)3540233075, 9783540233077, 9783540301875

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.

---

Table of contents :
Front Matter….Pages I-XIII
Empirically Driven Use Case Metamodel Evolution….Pages 1-11
Applying OO Metrics to Assess UML Meta-models….Pages 12-26
An OCL Formulation of UML2 Template Binding….Pages 27-40
A Metamodel for Generating Performance Models from UML Designs….Pages 41-53
On the Classification of UML’s Meta Model Extension Mechanism….Pages 54-68
Modeling Business Processes in Web Applications with ArgoUWE….Pages 69-83
Model Composition Directives….Pages 84-97
Query Models….Pages 98-112
Specifying Cross-Cutting Requirement Concerns….Pages 113-127
A UML Profile to Model Mobile Systems….Pages 128-142
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time….Pages 143-157
A UML Profile for Executable and Incremental Specification-Level Modeling….Pages 158-172
Applying Refactoring Techniques to UML/OCL Models….Pages 173-187
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report….Pages 188-196
From Informal to Formal Specifications in UML….Pages 197-211
Building Precise UML Constructs to Model Concurrency Using OCL….Pages 212-225
An ASM Definition of the Dynamic OCL 2.0 Semantics….Pages 226-240
Towards a Framework for Mapping Between UML/OCL and XML/XQuery….Pages 241-259
Model-Driven Architecture for Automatic-Control: An Experience Report….Pages 260-274
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation….Pages 275-289
Generic and Meta-transformations for Model Transformation Engineering….Pages 290-304
Supporting Model Refactorings Through Behaviour Inheritance Consistencies….Pages 305-319
Determining the Structural Events That May Violate an Integrity Constraint….Pages 320-334
Deductive Verification of UML Models in TLPVS….Pages 335-349
Integrating a Security Requirement Language with UML….Pages 350-364
Automated Verification of UMLsec Models for Security Requirements….Pages 365-379
Extending OCL for Secure Database Development….Pages 380-394
Test Driven Development of UML Models with SMART Modeling System….Pages 395-409
Behavioral Domain Analysis — The Application-Based Domain Modeling Approach….Pages 410-424
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications….Pages 425-439
Workshops at the UML 2004 Conference….Pages 440-448
Tutorials at the UML 2004 Conference….Pages 449-452
Back Matter….Pages –