7. UML 2004: Lisbon, Portugal
- Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor:
«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Lecture Notes in Computer Science 3273, Springer 2004, ISBN 3-540-23307-5
Metamodeling
- Amador Durán, Beatriz Bernárdez, Marcela Genero, Mario Piattini:
Empirically Driven Use Case Metamodel Evolution. 1-11 - Haohai Ma, Weizhong Shao, Lu Zhang, Yanbing Jiang:
Applying OO Metrics to Assess UML Meta-models. 12-26 - Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt:
An OCL Formulation of UML2 Template Binding. 27-40 - Dorin Bogdan Petriu, C. Murray Woodside:
A Metamodel for Generating Performance Models from UML Designs. 41-53 - Yanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng, Haohai Ma:
On the Classification of UML's Meta Model Extension Mechanism. 54-68 - Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler:
Modeling Business Processes in Web Applications with ArgoUWE. 69-83
Aspects
- Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman:
Model Composition Directives. 84-97
Profiles and Extensions
- Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta:
A UML Profile to Model Mobile Systems. 128-142 - Andrew J. Bennett, A. J. Field, C. Murray Woodside:
Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. 143-157 - Risto Pitkänen, Petri Selonen:
A UML Profile for Executable and Incremental Specification-Level Modeling. 158-172
OCL
- Alexandre L. Correa, Cláudia Maria Lima Werner:
Applying Refactoring Techniques to UML/OCL Models. 173-187 - Hanna Bauerdick, Martin Gogolla, Fabian Gutsche:
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. 188-196 - Agustín Goñi, Yadran Eterovic:
Building Precise UML Constructs to Model Concurrency Using OCL. 212-225
Model Transformation
- Pierre-Alain Muller, Didier Bresch, Philippe Studer:
Model-Driven Architecture for Automatic-Control: An Experience Report. 260-274 - Simone Röttger, Steffen Zschaler:
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation. 275-289 - Dániel Varró, András Pataricza:
Generic and Meta-transformations for Model Transformation Engineering. 290-304
Verification and Model Consistency
- Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens:
Supporting Model Refactorings Through Behaviour Inheritance Consistencies. 305-319 - Jordi Cabot, Ernest Teniente:
Determining the Structural Events That May Violate an Integrity Constraint. 320-334 - Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag:
Deductive Verification of UML Models in TLPVS. 335-349
Security
- H. Abie, Demissie B. Aredo, T. Kristoffersen, Shahrzade Mazaher, T. Raguin:
Integrating a Security Requirement Language with UML. 350-364 - Jan Jürjens, Pasha Shabalin:
Automated Verification of UMLsec Models for Security Requirements. 365-379
Methodology
- Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna:
Test Driven Development of UML Models with SMART Modeling System. 395-409 - Iris Reinhartz-Berger, Arnon Sturm:
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach. 410-424 - Peter Dolog, Wolfgang Nejdl:
Using UML-based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications. 425-439