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

Front Cover
Thomas Baar, Alfred Strohmeier, Stephen J. Mellor, Ana Moreira
Springer Science & Business Media, Oct 5, 2004 - Business & Economics - 454 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Empirically Driven Use Case Metamodel Evolution
1
Applying OO Metrics to Assess UML Metamodels
12
An OCL Formulation of UML2 Template Binding
27
A Metamodel for Generating Performance Models from UML Designs
41
On the Classification of UMLs Meta Model Extension Mechanism
54
Modeling Business Processes in Web Applications with ArgoUWE
69
Model Composition Directives
84
Query Models
98
Towards a Framework for Mapping Between UMLOCL and XMLXQuery
241
An Experience Report
260
Refinement Through Model Transformation
275
Generic and Metatransformations for Model Transformation Engineering
290
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
305
Determining the Structural Events That May Violate an Integrity Constraint
320
Deductive Verification of UML Models in TLPVS
335
Integrating a Security Requirement Language with UML
350

Specifying CrossCutting Requirement Concerns
113
A UML Profile to Model Mobile Systems
128
Experimental Evaluation of the UML Profile for Schedulability Performance and Time
143
A UML Profile for Executable and Incremental SpecificationLevel Modeling
158
Applying Refactoring Techniques to UMLOCL Models
173
An Experience Report
188
From Informal to Formal Specifications in UML
197
Building Precise UML Constructs to Model Concurrency Using OCL
212
An ASM Definition of the Dynamic OCL 20 Semantics
226
Automated Verification of UMLsec Models for Security Requirements
365
Extending OCL for Secure Database Development
380
Test Driven Development of UML Models with SMART Modeling System
395
Behavioral Domain Analysis The ApplicationBased Domain Modeling Approach
410
Using UMLbased Feature Models and UML Collaboration Diagrams to Information Modelling for WebBased Applications
425
Workshops at the UML 2004 Conference
440
Tutorials at the UML 2004 Conference
449
Author Index
453
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information