7. UML 2004: Lisbon, Portugal

Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor (Eds.): «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

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

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
Martin Giese, Rogardt Heldal:
From Informal to Formal Specifications in UML. 197-211
Agustín Goñi, Yadran Eterovic:
Building Precise UML Constructs to Model Concurrency Using OCL. 212-225
Stephan Flake, Wolfgang Müller:
An ASM Definition of the Dynamic OCL 2.0 Semantics. 226-240
Ahmed Gaafar, Sherif Sakr:
Towards a Framework for Mapping Between UML/OCL and XML/XQuery. 241-259

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

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

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
Eduardo Fernández-Medina, Mario Piattini:
Extending OCL for Secure Database Development. 380-394

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

Last update Tue May 21 18:08:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page