Seventh International Conference on the Unified Modeling Language - the Language and its applications

10th - 15th October, 2004, Lisbon, Portugal (Conference Home)

Metamodeling

• Amador Durán, Beatriz Bernárdez, Marcela Genero, Mario Piattini: Empirically Driven Use Case Metamodel Evolution, p. 1-11, (BibTeX entry).
• Haohai Ma, Weizhong Shao, Lu Zhang, Zhiyi Ma, Yanbing Jiang: Applying OO Metrics to Assess UML Meta-Models, p. 12-26, (BibTeX entry).
• Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt: An OCL Formulation of UML2 Template Binding, p. 27-40, (BibTeX entry).
• Dorin B. Petriu, Murray Woodside: A Metamodel for Generating Performance Models from UML Designs, p. 41-53, (BibTeX entry).
• Yanbing Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen Meng, Haohai Ma: On the Classification of UML's Meta Model Extension Mechanism, p. 54-68, (BibTeX entry).
• Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler: Modeling Business Processes in Web Applications with ArgoUWE, p. 69-83, (BibTeX entry).

Aspects

• Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert France, James M. Bieman: Model Composition Directives, p. 84-97, (BibTeX entry).
• Dominik Stein, Stefan Hanenberg, Rainer Unland: Query Models, p. 98-112, (BibTeX entry).
• Geri Georg, Raghu Reddy, Robert France: Specifying Cross-Cutting Requirement Concerns, p. 113-127, (BibTeX entry).

Profiles and Extensions

• Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: A UML Profile to Model Mobile Systems, p. 128-142, (BibTeX entry).
• Andrew J. Bennett, A. J. Field, C. Murray Woodside: Experimental Evaluation of the UML Profile for Schedulability, Performance and Time, p. 143-157, (BibTeX entry).
• Risto Pitkänen, Petri Selonen: A UML Profile for Executable and Incremental Specification-Level Modeling, p. 158-172, (BibTeX entry).

OCL

• Alexandre Correa, Cláudia Werner: Applying RefactoringTechniques to UML/OCL, p. 173-187, (BibTeX entry).
• Hanna Bauerdick, Martin Gogolla, Fabian Gutsche: Detecting OCL Traps in the UML 2.0 Superstructure An Experience Report, p. 188-196, (BibTeX entry).
• Martin Giese, Rogardt Heldal: From Informal to Formal Specifications in UML, p. 197-211, (BibTeX entry).
• Agustín Gońi, Yadran Eterovic: Building Precise UML Constructs to Model Concurrency Using OCL, p. 212-225, (BibTeX entry).
• Stephan Flake, Wolfgang Mueller: An ASM Definition of the Dynamic OCL 2.0 Semantics, p. 226-240, (BibTeX entry).
• Ahmed Gaafar, Sherif Sakr: Towards a Framework for mapping between UML/OCL and XML/Xquery, p. 241-259, (BibTeX entry).

Model Transformation

• Pierre-Alain Muller, Didier Bresch, Philippe Studer: Model-Driven Architecture for Automatic-Control An experience report, p. 260-274, (BibTeX entry).
• Simone Röttger, Steffen Zschaler: Model-Driven Development for Non-functional Properties: Refinement through Model Transformation, p. 275-289, (BibTeX entry).
• Dániel Varró, András Pataricza: Generic and Meta-Transformations for Model Transformation Engineering, p. 290-304, (BibTeX entry).

Verification and Model Consistency

• Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens: Supporting Model Refactorings through Behaviour Inheritance Consistencies, p. 304-319, (BibTeX entry).
• Jordi Cabot, Ernest Teniente: Determining the Structural Events that May Violate an Integrity Constraint, p. 320-334, (BibTeX entry).
• Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS, p. 335-349, (BibTeX entry).

Security

• Habtamu Abie, Demissie B. Aredo, Thor Kristoffersen, Shahrzade Mazaher, Thierry Raguin: Integrating a Security Requirement Language with UML, p. 350-364, (BibTeX entry).
• Jan Jürjens, Pasha Shabalin: Automated Verification of UMLsec Models for Security Requirements, p. 365-379, (BibTeX entry).
• Eduardo Fernández-Medina, Mario Piattini: Extending OCL for Secure Database Development, p. 380-394, (BibTeX entry).

Methodology

• Susumu Hayashi, Pan Yibing, Masami Sato, Kenji Mori, Sul Sejeon, Shusuke Haruna: Test Driven Development of UML Models with SMART Modeling System, p. 395-409, (BibTeX entry).
• Iris Reinhartz-Berger, Arnon Sturm: Behavioral Domain Analysis -- The Application-based Domain Modeling Approach, p. 410-424, (BibTeX entry).
• Peter Dolog, Wolfgang Nejdl: Using UML-Based Feature Models and UML Collaboration Diagrams to Information Modelling for Web-Based Applications, p. 425-439, (BibTeX entry).

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.