MoDELS Workshops 2007: Nashville, TN, USA

Aspect-Oriented Modeling

• Jörg Kienzle, Jeff Gray, Dominik Stein, Walter Cazzola, Omar Aldawud, Tzilla Elrad:
  11th International Workshop on Aspect-Oriented Modeling. 1-6
  
• Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh:
  A Generic Approach for Automatic Model Composition. 7-15
  
• Jon Whittle, Praveen K. Jayaraman:
  MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. 16-27
  

Language Engineering

• Jean-Marie Favre, Dragan Gasevic, Ralf Lämmel, Andreas Winter:
  4th International Workshop on Language Engineering (ATEM 2007). 28-33
  
• Martin Bravenboer, Eelco Visser:
  Designing Syntax Embeddings and Assimilations for Language Libraries. 34-46
  
• Ingo Weisemöller, Andy Schürr:
  A Comparison of Standard Compliant Ways to Define Domain Specific Languages. 47-58
  

Model Driven Development of Advanced User Interfaces

• Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Daniel Görlich, Heinrich Hußmann:
  Third International Workshop on Model Driven Development of Advanced User Interfaces. 59-64
  
• Guillaume Gauffre, Emmanuel Dubois, Rémi Bastide:
  Domain-Specific Methods and Tools for the Design of Advanced Interactive Techniques. 65-76
  
• Sevan Kavaldjian, Cristian Bogdan, Jürgen Falb, Hermann Kaindl:
  Transforming Discourse Models to Structural User Interface Models. 77-88
  

Model Size Metrics

• Michel R. V. Chaudron, Christian F. J. Lange:
  Second International Workshop on Model Size Metrics. 89-92
  
• Ariadi Nugroho, Christian F. J. Lange:
  On the Relation between Class-Count and Modeling Effort. 93-104
  
• Jens von Pilgrim:
  Measuring the Level of Abstraction and Detail of Models in the Context of MDD. 105-114
  

Model-Based Design of Trustworthy Health Information Systems

• Ákos Lédeczi, Ruth Breu, Bradley Malin, Janos Sztipanovits:
  First International Workshop on the Model-Based Design of Trustworthy Health Information Systems. 115-117
  
• Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens:
  Rigorously Defining and Analyzing Medical Processes: An Experience Report. 118-131
  
• Michael Hafner, Mukhtiar Memon, Muhammad Alam:
  Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet. 132-144
  

Model-Driven Engineering, Verification and Validation

• Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner:
  4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. 145-150
  
• Stephan Weißleder, Bernd-Holger Schlingloff:
  Deriving Input Partitions from UML Models for Automatic Test Generation. 151-163
  
• Mathias Fritzsche, Jendrik Johannes:
  Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering. 164-175
  

Ocl4All: Modelling Systems with OCL

• David H. Akehurst, Martin Gogolla, Steffen Zschaler:
  7th International Workshop on Ocl4All: Modelling Systems with OCL. 176-181
  
• Matthias Bräuer, Birgit Demuth:
  Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support. 182-193
  
• Emine G. Aydal, Richard F. Paige, Jim Woodcock:
  Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. 194-205
  

Models@run.time

• Nelly Bencomo, Robert B. France, Gordon S. Blair:
  Second International Workshop on Models@run.time. 206-211
  
• Heather Goldsby, Betty H. C. Cheng, Ji Zhang:
  AMOEBA-RT: Run-Time Verification of Adaptive Software. 212-224
  
• Jozef Hooman, Teun Hendriks:
  Model-Based Run-Time Error Detection. 225-236
  

Multi-Paradigm Modeling: Concepts and Tools

• Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe:
  Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. 237-246
  
• Cécile Hardebolle, Frédéric Boulanger:
  ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. 247-258
  
• Sagar Sen, Benoit Baudry, Hans Vangheluwe:
  Domain-Specific Model Editors with Model Completion. 259-270
  

Quality in Modeling

• Ludwik Kuzniarz, Lars Pareto, Jean-Louis Sourrouille, Miroslaw Staron:
  Third Intenational Workshop on Quality in Modeling. 271-274
  
• Parastoo Mohagheghi, Vegard Dehlen:
  Developing a Quality Framework for Model-Driven Engineering. 275-286
  

Doctoral Symposium

• Claudia Pons:
  Doctoral Symposium. 287-292
  
• Kerstin Altmanninger:
  Models in Conflict - Towards a Semantically Enhanced Version Control System for Models. 293-304
  
• Gunter Mussbacher:
  Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models. 305-316
  

Educators' Symposium

• Miroslaw Staron:
  Educators' Symposium. 317-319