MoDELS Workshops 2008: Toulouse, France

Model Based Architecting and Construction of Embedded Systems (ACES-MB)

• Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard:
  Model Based Architecting and Construction of Embedded Systems. 1-4
  
• Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis:
  Translating AADL into BIP - Application to the Verification of Real-Time Systems. 5-19
  
• Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits:
  Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. 20-34
  

Challenges in Model Driven Software Engineering (CHAMDE)

• Ragnhild Van Der Straeten, Tom Mens, Stefan Van Baelen:
  Challenges in Model-Driven Software Engineering. 35-47
  
• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
  The Grand Challenge of Scalability for Model Driven Engineering. 48-53
  
• Parastoo Mohagheghi, Miguel A. Fernández, Juan A. Martell, Mathias Fritzsche, Wasif Gilani:
  MDE Adoption in Industry: Challenges and Success Criteria. 54-59
  
• José Eduardo Rivera, José Raúl Romero, Antonio Vallecillo:
  Behavior, Time and Viewpoint Consistency: Three Challenges for MDE. 60-65
  

Empirical Studies of Model Driven Engineering (ESMDA)

• Christian Bunse, Hans-Gerhard Groß, Christian Peper:
  Embedded System Construction - Evaluation of Model-Driven and Component-Based Development Approaches. 66-77
  
• Dominik Stein, Stefan Hanenberg:
  Assessing the Power of a Visual Modeling Notation - Preliminary Contemplations on Designing a Test. 78-89
  

Models@runtime

• Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muñoz, Cédric Jeanneret:
  Third International Workshop on Models@run.time. 90-96
  
• Franck Fleurey, Vegard Dehlen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel:
  Modeling and Validating Dynamic Adaptation. 97-108
  
• Shahar Maoz:
  Model-Based Traces. 109-119
  

Model Co-evolution and Consistency Management (MCCM)

• Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens:
  Model Co-evolution and Consistency Management (MCCM'08). 120-123
  
• Duc-Hanh Dang, Martin Gogolla:
  On Integrating OCL and Triple Graph Grammars. 124-137
  
• Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel:
  Triple Graph Grammars or Triple Graph Transformation Systems?. 138-150
  

Model-Driven Web Engineering (MDWE)

• Geert-Jan Houben, Nora Koch, Antonio Vallecillo:
  Model-Driven Web Engineering (MDWE 2008). 151-152
  
• László Gönczy, Zsolt Déri, Dániel Varró:
  Model Transformations for Performability Analysis of Service Configurations. 153-166
  
• Marco Brambilla, Piero Fraternali, Massimo Tisi:
  A Transformation Framework to Bridge Domain Specific Languages to MDA. 167-180
  

Modeling Security (MODSEC)

• Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson:
  First International Modeling Security Workshop. 181-184
  
• Motoshi Saeki, Haruhiko Kaiya:
  Security Requirements Elicitation Using Method Weaving and Common Criteria. 185-196
  

Model-Based Design of Trustworthy Health Information Systems (MOTHIS)

• Ruth Breu, Janos Sztipanovits:
  Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008. 197-198
  
• Ståle Walderhaug, Erlend Stav, Marius Mikalsen:
  Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models. 199-212
  
• Alfred Winter, Alexander Strübing, Lutz Ißler, Birgit Brigl, Reinhold Haux:
  Ontology-Based Assessment of Functional Redundancy in Health Information Systems. 213-226
  

Non-Functional System Properties in Domain Specific Modeling Languages (NFPin DSML)

• Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz:
  The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008). 227-228
  
• Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke:
  FPTC: Automated Safety Analysis for Domain-Specific Languages. 229-242
  
• Christiano Braga:
  From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. 243-256
  

OCL Tools: From Implementation to Evaluation and Comparison (OCL)

• Jordi Cabot, Martin Gogolla, Pieter Van Gorp:
  Eighth International Workshop on OCL Concepts and Tools. 257-262
  
• Fabian Büttner, Mirco Kuhlmann:
  Shortcomings of the Embedding of OCL into QVT ImperativeOCL. 263-272
  
• Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin:
  Optimization Patterns for OCL-Based Model Transformations. 273-284
  

Quality in Modeling (QIM)

• Jean-Louis Sourrouille, Ludwik Kuzniarz, Lars Pareto, Parastoo Mohagheghi, Miroslaw Staron:
  Third International Workshop on Quality in Modeling. 285-290
  
• Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille:
  Description and Implementation of a UML Style Guide. 291-302
  
• M. Esperanza Manso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini:
  Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study. 303-313
  

Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE)

• Fernando Silva Parreiras, Jeff Z. Pan, Uwe Aßmann, Jakob Henriksson:
  First Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008). 314-317
  
• Dania Harb, Cédric Bouhours, Hervé Leblanc:
  Using an Ontology to Suggest Software Design Patterns Integration. 318-331
  
• Robert Tairas, Marjan Mernik, Jeff Gray:
  Using Ontologies in the Domain Analysis of Domain-Specific Languages. 332-342
  

Doctoral Symposium

• Georgia M. Kapitsaki, Iakovos S. Venieris:
  Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture. 343-355
  
• Elina Kalnina, Audris Kalnins:
  DSL Tool Development with Transformations and Static Mappings. 356-370
  

Educational Symposium

• Michal Smialek:
  Current Issues in Teaching Software Modeling: Educators Symposium at MODELS 2008. 371-374
  
• Yvan Labiche:
  The UML Is More Than Boxes and Lines. 375-386
  
• Tom Gelhausen, Mathias Landhäußer, Sven J. Körner:
  Automatic Checklist Generation for the Assessment of UML Models. 387-399
  

Research Project Symposium

• Iulian Ober:
  MODELS Research Projects Symposium. 400-401
  

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