6. UML 2003: San Francisco, California, USA

@proceedings{DBLP:conf/uml/2003,
  editor    = {Perdita Stevens and
               Jon Whittle and
               Grady Booch},
  title     = {UML 2003 - The Unified Modeling Language, Modeling
               Languages and Applications, 6th International Conference, San
               Francisco, CA, USA, October 20-24, 2003, Proceedings},
  booktitle = {UML},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2863},
  year      = {2003},
  isbn      = {3-540-20243-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk 1

• Peter Coad:
  Agile Processes: Developing Your Own "Secret Recipes". 1
  

Practical Model Management

• Marcus Alanen, Ivan Porres:
  Difference and Union of Models. 2-17
  
• Alexander Christoph, Matthias M. Müller:
  GREAT: UML Transformation Tool for Porting Middleware Applications. 18-30
  
• Jörn Guy Süß, Andreas Leicher, Herbert Weber, Ralf-Detlef Kutsche:
  Model-Centric Engineering with the Evolution and Validation Environment. 31-43
  

Time and Quality of Service

• Jordi Cabot, Antoni Olivé, Ernest Teniente:
  Representing Temporal Information in UML. 44-59
  
• Subash Shankar, Sinan Asa:
  Formal Semantics of UML with Real-Time Constructs. 60-75
  
• David N. Jansen, Holger Hermanns, Joost-Pieter Katoen:
  A QoS-Oriented Extension of UML Statecharts. 76-91
  

Short Tool Papers

• Ákos Schmidt, Dániel Varró:
  CheckVML: A Tool for Model Checking Visual Modeling Languages. 92-95
  
• Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres:
  A Workbench to Experiment on New Model Engineering Applications. 96-100
  
• Marc Lohmann, Stefan Sauer, Tim Schattkowsky:
  ProGUM-Web: Tool Support for Model-Based Development of Web Applications. 101-105
  

Composition and Architecture

• Friedrich Steimann, Jens Gößner, Thomas A. Mück:
  On the Key Role of Compositioning Object-Oriented Modelling. 106-120
  
• Alexander Egyed:
  Compositional and Relational Reasoning during Class Abstraction. 121-137
  
• Yaojin Yang, Jianli Xu:
  Encoding Informal Architectural Descriptions with UML: An Experience Report. 138-142
  

Invited Talk 2

• Nicolas F. Rouquette:
  UML/MDA Reality Check: Heterogenous Architecture Style. 143
  

Transformation

• Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer:
  Towards Automating Source-Consistent UML Refactorings. 144-158
  
• Ivan Porres:
  Model Refactorings as Rule-Based Update Transformations. 159-174
  
• Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet:
  Reflective Model Driven Engineering. 175-189
  

The Web

• Jörg Pleumann, Stefan Haustein:
  A Model-Driven Runtime Environment for Web Applications. 190-204
  
• Peter Dolog, Wolfgang Nejdl:
  Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems. 205-219
  
• Pierre-Alain Muller, Philippe Studer, Jean Bézivin:
  Platform Independent Web Application Modeling. 220-233
  

Testing and Validation

• Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France:
  Rigorous Testing by Merging Structural and Behavioral UML Representations. 234-248
  
• Lionel C. Briand, Jim Cui, Yvan Labiche:
  Towards Automated Support for Deriving Test Data from UML Statecharts. 249-264
  
• Martin Gogolla, Jörn Bohling, Mark Richters:
  Validation of UML and OCL Models by Automatic Snapshot Generation. 265-279
  

Improving UML/OCL

• Sadahiro Isoda:
  A Critique of UML's Definition of the Use-Case Class. 280-294
  
• Herman Balsters:
  Modelling Database Views with Derived Classes in the UML/OCL-Framework. 295-309
  
• Isabel Nunes:
  An OCL Extension for Low-Coupling Preserving Contracts. 310-324
  

Invited Talk 3

• Martin Fowler:
  What Is the Point of the UML? 325
  

Consistency

• Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers:
  Using Description Logic to Maintain Consistency between UML Models. 326-340
  
• Jan Pettersen Nytun, Christian S. Jensen:
  Modeling and Testing Legacy Data Consistency Requirements. 341-355
  
• Gregor Engels, Reiko Heckel, Jochen Malte Küster:
  The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. 356-359
  

Methodology

• Jan Jürjens:
  Developing Safety-Critical Systems with UML. 360-372
  
• Khaled Alghathbar, Duminda Wijesekera:
  Consistent and Complete Access Control Policies in Use Cases. 373-387
  
• Øystein Haugen, Ketil Stølen:
  STAIRS - Steps to Analyze Interactions with Refinement Semantics. 388-402
  

Workshops and Tutorials

• Ana M. D. Moreira:
  Workshops at the UML 2003 Conference. 403-409
  
• João Araújo:
  Tutorials at the UML 2003 Conference. 410-414
  

Last update Fri May 25 08:44:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page