Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor
Proceedings of the Seventh International Conference on the Unified Modelling Language: Modelling Languages and Applications
UML, 2004.

@proceedings{UML-2004,
	address       = "Lisbon, Portugal",
	editor        = "Thomas Baar and Alfred Strohmeier and Ana M. D. Moreira and Stephen J. Mellor",
	isbn          = "3-540-23307-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on the Unified Modelling Language: Modelling Languages and Applications}",
	volume        = 3273,
	year          = 2004,
}

Contents (30 items)

16 ×#uml
12 ×#modelling
7 ×#ocl
4 ×#metamodelling
3 ×#case study
3 ×#development
2 ×#behaviour
2 ×#experience
2 ×#model transformation
2 ×#performance

UML-2004-DuranBGP #case study #empirical #evolution #metamodelling

Empirically Driven Use Case Metamodel Evolution (AD, BB, MG, MP), pp. 1–11.

UML-2004-MaSZJ #metamodelling #metric #object-oriented #uml

Applying OO Metrics to Assess UML Meta-models (HM, WS, LZ, YJ), pp. 12–26.

UML-2004-CaronCMV #ocl #uml

An OCL Formulation of UML2 Template Binding (OC, BC, AM, GV), pp. 27–40.

UML-2004-PetriuW #design #generative #metamodelling #modelling #performance #uml

A Metamodel for Generating Performance Models from UML Designs (DBP, CMW), pp. 41–53.

UML-2004-JiangSZMMM #classification #metamodelling #on the #uml

On the Classification of UML’s Meta Model Extension Mechanism (YJ, WS, LZ, ZM, XM, HM), pp. 54–68.

UML-2004-KnappKZH #modelling #process #web

Modeling Business Processes in Web Applications with ArgoUWE (AK, NK, GZ, HMH), pp. 69–83.

UML-2004-StrawGSFB #composition

Model Composition Directives (GS, GG, ES, SG, RBF, JMB), pp. 84–97.

UML-2004-SteinHU #modelling #query

Query Models (DS, SH, RU), pp. 98–112.

UML-2004-GeorgRF #specification

Specifying Cross-Cutting Requirement Concerns (GG, RR, RBF), pp. 113–127.

UML-2004-GrassiMS #mobile #uml

A UML Profile to Model Mobile Systems (VG, RM, AS), pp. 128–142.

UML-2004-BennettFW #evaluation #performance #scheduling #uml

Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time (AJB, AJF, CMW), pp. 143–157.

UML-2004-PitkanenS #execution #incremental #modelling #uml

A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.

UML-2004-CorreaW #modelling #ocl #refactoring #uml

Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.

UML-2004-BauerdickGG #case study #detection #experience #ocl #uml

Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report (HB, MG, FG), pp. 188–196.

UML-2004-GieseH #specification #uml

From Informal to Formal Specifications in UML (MG, RH), pp. 197–211.

UML-2004-GoniE #concurrent #ocl #precise #uml #using

Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.

UML-2004-FlakeM #ocl #semantics

An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.

UML-2004-GaafarS #framework #ocl #towards #uml #xml #xquery

Towards a Framework for Mapping Between UML/OCL and XML/XQuery (AG, SS), pp. 241–259.

UML-2004-MullerBS #architecture #case study #experience #modelling

Model-Driven Architecture for Automatic-Control: An Experience Report (PAM, DB, PS), pp. 260–274.

UML-2004-RottgerZ #development #model transformation #modelling #non-functional #refinement

Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.

UML-2004-VarroP #model transformation

Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.

UML-2004-StraetenJM #behaviour #consistency #inheritance #refactoring

Supporting Model Refactorings Through Behaviour Inheritance Consistencies (RVDS, VJ, TM), pp. 305–319.

UML-2004-CabotT #constraints

Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.

UML-2004-AronsHKPZ #deduction #modelling #uml #verification

Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.

UML-2004-AbieAKMR #security #uml

Integrating a Security Requirement Language with UML (HA, DBA, TK, SM, TR), pp. 350–364.

UML-2004-JurjensS #automation #modelling #requirements #security #verification

Automated Verification of UMLsec Models for Security Requirements (JJ, PS), pp. 365–379.

UML-2004-Fernandez-MedinaP #database #development #ocl

Extending OCL for Secure Database Development (EFM, MP), pp. 380–394.

UML-2004-HayashiYSMSH #development #modelling #uml

Test Driven Development of UML Models with SMART Modeling System (SH, PY, MS, KM, SS, SH), pp. 395–409.

UML-2004-Reinhartz-BergerS #analysis #approach #behaviour #domain model #modelling

Behavioral Domain Analysis — The Application-Based Domain Modeling Approach (IRB, AS), pp. 410–424.

UML-2004-DologN #collaboration #diagrams #feature model #modelling #uml #using

Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications (PD, WN), pp. 425–439.