MoDELS 2009: Denver, CO, USA

Keynote 1

• Stephen J. Mellor:
  Models. Models. Models. So What? 1
  

(Meta-)Model Modeling and Management

• Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry:
  Modeling Modeling. 2-16
  
• Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree:
  Representation and Traversal of Large Clabject Models. 17-31
  
• Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel:
  Meta-model Pruning. 32-46
  

Quantitative Modeling with UML

• Marwa Shousha, Lionel C. Briand, Yvan Labiche:
  A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. 47-61
  
• Marko Boskovic, Wilhelm Hasselbring:
  Model Driven Performance Measurement and Assessment with MoDePeMART. 62-76
  
• John Lloyd, Jan Jürjens:
  Security Analysis of a Biometric Authentication System Using UMLsec and JML. 77-91
  

Model Transformations and Constraints

• Raphaël Chenouard, Frédéric Jouault:
  Automatically Discovering Hidden Transformation Chaining Constraints. 92-106
  
• Ákos Horváth, Dániel Varró:
  CSP(M): Constraint Satisfaction Problem over Models. 107-121
  
• Mathias Kleiner, Patrick Albert, Jean Bézivin:
  Parsing SBVR-Based Controlled Languages. 122-136
  

Model Management

• Christian Thum, Michael Schwind, Martin Schader:
  SLIM - A Lightweight Environment for Synchronous Collaborative Modeling. 137-151
  
• Christian Gerth, Jochen Malte Küster, Gregor Engels:
  Language-Independent Change Management of Process Models. 152-166
  
• Lars Bendix, Pär Emanuelsson:
  Requirements for Practical Model Merge - An Industrial Perspective. 167-180
  

UML in Practice and Quality Assurance

• Ariadi Nugroho, Michel R. V. Chaudron:
  Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study. 181-195
  
• Lars Pareto, Peter Eriksson, Staffan Ehnebom:
  Concern Visibility in Base Station Development - An Empirical Investigation. 196-210
  
• Stephan Weißleder:
  Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. 211-225
  

Formalization of Model Transformations

• Stefan Jurack, Gabriele Taentzer:
  Towards Composite Model Transformations Using Distributed Graph Transformation Concepts. 226-240
  
• Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange:
  On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. 241-255
  
• Juan de Lara, Esther Guerra:
  Formal Support for QVT-Relations with Coloured Petri Nets. 256-270
  

Scenario Modeling

• Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger:
  An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. 271-285
  
• Gunter Mussbacher, Daniel Amyot, Jon Whittle:
  Refactoring-Safe Modeling of Aspect-Oriented Scenarios. 286-300
  
• Shahar Maoz, Jani Metsä, Mika Katara:
  Model-Based Testing Using LSCs and S2A. 301-306
  

Business Application Development

• Rahul Mohan, Vinay Kulkarni:
  Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way Forward. 307-321
  
• Steffen Mazanek, Mark Minas:
  Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors. 322-336
  
• Milan Milanovic, Dragan Gasevic, Gerd Wagner, Marek Hatala:
  Rule-Enhanced Business Process Modeling Language for Service Choreographies. 337-341
  

Model Synchronisation and Change Propagation

• István Ráth, Gergely Varró, Dániel Varró:
  Change-Driven Model Transformations. 342-356
  
• Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips:
  An Incremental Algorithm for High-Performance Runtime Model Consistency. 357-371
  
• Jonas Helming, Maximilian Koegel, Helmut Naughton, Jörn David, Aleksandar Shterev:
  Traceability-Based Change Awareness. 372-376
  

Keynote 2

• Larry L. Constantine:
  Interaction Design and Model-Driven Development. 377
  

Language Specification and Annotation

• Christian Soltenborn, Gregor Engels:
  Towards Test-Driven Semantics Specification. 378-392
  
• Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly:
  Scalable Semantic Annotation Using Lattice-Based Ontologies. 393-407
  
• Tobias Walter, Fernando Silva Parreiras, Steffen Staab:
  OntoDSL: An Ontology-Based Framework for Domain-Specific Languages. 408-422
  

Domain-Specific Languages

• Felienne Hermans, Martin Pinzger, Arie van Deursen:
  Domain-Specific Languages in Practice: A User Study on the Success Factors. 423-437
  
• Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry:
  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. 438-452
  
• Christoph Wienands, Michael Golm:
  Anatomy of a Visual Domain-Specific Language Project in an Industrial Context. 453-467
  

Model-Based Analysis

• Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle:
  A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. 468-483
  
• Tao Yue, Lionel C. Briand, Yvan Labiche:
  A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation. 484-498
  
• Shahar Maoz:
  Polymorphic Scenario-Based Specification Models: Semantics and Applications. 499-513
  

Model (De-)Composition and Abstractio

• Jacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel:
  Aspect Model Unweaving. 514-530
  
• Jon Oldevik, Massimiliano Menarini, Ingolf Krüger:
  Model Composition Contracts. 531-545
  
• Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige:
  Abstracting Complex Languages through Transformation and Composition. 546-550
  
• Andrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder:
  An Approach for Evolving Transformation Chains. 551-555
  

Distributed Software Development

• Zamira Daw, Marcus Vetter:
  Deterministic UML Models for Interconnected Activities and State Machines. 556-570
  
• Frank Alexander Kraemer, Peter Herrmann:
  Automated Encapsulation of UML Activities for Incremental Development and Verification. 571-585
  
• Doron Drusinsky, Man-tak Shing:
  Using UML Statecharts with Knowledge Logic Guards. 586-590
  

Service and Business Process Integration

• Naeem Esfahani, Sam Malek, João Pedro Sousa, Hassan Gomaa, Daniel A. Menascé:
  A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems. 591-605
  
• Franck Fleurey, Arnor Solberg:
  A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. 606-621
  
• Michael Shtelma, Mario Cartsburg, Nikola Milanovic:
  Executable Domain Specific Language for Message-Based System Integration. 622-626
  

Keynote 3

• Grady Booch:
  Architectural Mining: The Other Side of the MDD. 627
  

Genericity and Constraints

• Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel:
  Generic Model Refactorings. 628-643
  
• Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, François Terrier:
  Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. 644-649
  
• Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki:
  Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. 650-664
  
• Joanna Chimiak-Opoka:
  OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language. 665-669
  

Variability Management

• María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
  Variability within Modeling Language Definitions. 670-684
  
• Christa Schwanninger, Iris Groher, Christoph Elsner, Martin Lehofer:
  Variability Modelling throughout the Product Line Lifecycle. 685-689
  
• Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, Jean-Marc Jézéquel:
  Weaving Variability into Domain Metamodels. 690-705
  
• Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai:
  Automatic Domain Model Migration to Manage Metamodel Evolution. 706-711
  

Model Transformation Engineering

• Yu Sun, Jules White, Jeff Gray:
  Model Transformation by Demonstration. 712-726
  
• Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger:
  Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets. 727-732
  
• Jochen Malte Küster, Thomas Gschwind, Olaf Zimmermann:
  Incremental Development of Model Transformation Chains Using Automated Testing. 733-747
  
• Pau Giner, Vicente Pelechano:
  Test-Driven Development of Model Transformations. 748-752
  

Symposium

• Robert B. France, Martin Gogolla:
  Educators' Symposium at MODELS 2009. 753-754
  

Last update Wed Feb 15 05:13:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page