MoDELS Workshops 2006: Genova, Italy

Thomas Kühne (Ed.): Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. Lecture Notes in Computer Science 4364 Springer 2007, ISBN 978-3-540-69488-5 BibTeX

Aspect-Oriented Modeling

Jörg Kienzle, Dominik Stein, Walter Cazzola, Jeff Gray, Omar Aldawud, Tzilla Elrad:
9th International Workshop on Aspect-Oriented Modeling. 1-5
Electronic Edition (link) BibTeX
Roberto E. Lopez-Herrejon, Don S. Batory:
Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study. 6-16
Electronic Edition (link) BibTeX
Walter Cazzola, Sonia Pini:
Join Point Patterns: A High-Level Join Point Selection Mechanism. 17-26
Electronic Edition (link) BibTeX

Critical Systems Development

Geri Georg, Siv Hilde Houmb, Robert B. France, Steffen Zschaler, Dorina C. Petriu, Jan Jürjens:
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report. 27-31
Electronic Edition (link) BibTeX
Martin Ouimet, Guillaume Berteau, Kristina Lundqvist:
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. 32-41
Electronic Edition (link) BibTeX
Alexander Knapp, Jochen Wuttke:
Model Checking of UML 2.0 Interactions. 42-51
Electronic Edition (link) BibTeX

Reverse Engineering

Jean-Marie Favre, Dragan Gasevic, Ralf Lämmel, Andreas Winter:
3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies. 52-55
Electronic Edition (link) BibTeX
Juergen Rilling, Yonggang Zhang, Wen Jun Meng, René Witte, Volker Haarslev, Philippe Charland:
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension. 56-65
Electronic Edition (link) BibTeX
Miguel Garcia:
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL. 66-75
Electronic Edition (link) BibTeX

Quality in Modeling

Ludwik Kuzniarz, Jean-Louis Sourrouille, Miroslaw Staron:
The 1^st Workshop on Quality in Modeling. 76-79
Electronic Edition (link) BibTeX
Ksenia Ryndina, Jochen Malte Küster, Harald Gall:
Consistency of Business Process Models and Object Life Cycles. 80-90
Electronic Edition (link) BibTeX
Bart Du Bois, Christian F. J. Lange, Serge Demeyer, Michel R. V. Chaudron:
A Qualitative Investigation of UML Modeling Conventions. 91-100
Electronic Edition (link) BibTeX

Advanced User Interfaces

Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann, Alexander Bödcher:
Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report. 101-105
Electronic Edition (link) BibTeX
Goetz Botterweck:
A Model-Driven Approach to the Engineering of Multiple User Interfaces. 106-115
Electronic Edition (link) BibTeX
Steffen Lohmann, J. Wolfgang Kaltz, Jürgen Ziegler:
Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces. 116-125
Electronic Edition (link) BibTeX

Real-Time and Embedded Systems

Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic:
Modelling and Analysis of Real Time and Embedded Systems - Using UML. 126-130
Electronic Edition (link) BibTeX
Oddleif Halvorsen, Ragnhild Kobro Runde, Øystein Haugen:
Time Exceptions in Sequence Diagrams. 131-142
Electronic Edition (link) BibTeX
Andrey Nechypurenko, Egon Wuchner, Jules White, Douglas C. Schmidt:
Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems. 143-151
Electronic Edition (link) BibTeX

OCL

Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer:
OCL for (Meta-)Models in Multiple Application Domains. 152-158
Electronic Edition (link) BibTeX
Kirsten Berkenkötter:
OCL-Based Validation of a Railway Domain Profile. 159-168
Electronic Edition (link) BibTeX
Michael Altenhofen, Thomas Hettel, Stefan Kusterer:
OCL Support in an Industrial Environment. 169-178
Electronic Edition (link) BibTeX

Integrating MDA and V&V

Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß:
Report on the 3rd MoDeVa Workshop - Model Design and Validation. 179-181
Electronic Edition (link) BibTeX
Gregor Engels, Baris Güldali, Marc Lohmann:
Towards Model-Driven Unit Testing. 182-192
Electronic Edition (link) BibTeX
Jochen Malte Küster, Mohamed Abd-El-Razik:
Validation of Model Transformations - First Experiences Using a White Box Approach. 193-204
Electronic Edition (link) BibTeX

Model Size Metrics

Frank Weil, Andrij Neczwid:
Summary of the 2006 Model Size Metrics Workshop. 205-210
Electronic Edition (link) BibTeX
Christian F. J. Lange:
Model Size Matters. 211-216
Electronic Edition (link) BibTeX
Jacqueline A. McQuillan, James F. Power:
On the Application of Software Metrics to UML Models. 217-226
Electronic Edition (link) BibTeX

Models@run.time

Nelly Bencomo, Gordon S. Blair, Robert B. France:
Summary of the Workshop Models@run.time at MoDELS 2006. 227-231
Electronic Edition (link) BibTeX
Fábio M. Costa, Lucas Luiz Provensi, Frederico Forzani Vaz:
Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware. 232-241
Electronic Edition (link) BibTeX
Jérémy Dubus, Philippe Merle:
Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems. 242-251
Electronic Edition (link) BibTeX

Multi-Paradigm Modeling

Holger Giese, Tihamer Levendovszky, Hans Vangheluwe:
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. 252-262
Electronic Edition (link) BibTeX
Thomas Reiter, Kerstin Altmanninger, Werner Retschitzegger:
Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages. 263-276
Electronic Edition (link) BibTeX

Doctoral Symposium

Gabriela Arévalo, Robert G. Pettit IV:
MoDELS 2006 Doctoral Symposium. 277
Electronic Edition (link) BibTeX
Muhammad Alam:
Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems. 278-287
Electronic Edition (link) BibTeX

Educators Symposium

Ludwik Kuzniarz:
Educators' Symposium at MoDELS 2006. 288-290
Electronic Edition (link) BibTeX
James J. Vallino:
If You're Not Modeling, You're Just Programming: Modeling Throughout an Undergraduate Software Engineering Program. 291-300
Electronic Edition (link) BibTeX
Robert Szmurlo, Michal Smialek:
Teaching Software Modeling in a Simulated Project Environment. 301-310
Electronic Edition (link) BibTeX
Robert B. France, James M. Bieman, Betty H. C. Cheng:
Repository for Model Driven Development (ReMoDD). 311-317
Electronic Edition (link) BibTeX

A Formal Semantics for UML

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
2^nd UML 2 Semantics Symposium: Formal Semantics for UML. 318-323
Electronic Edition (link) BibTeX
Andrei Kirshin, Dolev Dotan, Alan Hartman:
A UML Simulator Based on a Generic Model Execution Engine. 324-326
Electronic Edition (link) BibTeX
Ingolf H. Krüger, Massimiliano Menarini:
Queries and Constraints: A Comprehensive Semantic Model for UML2. 327-328
Electronic Edition (link) BibTeX
Christian Soltenborn, Gregor Engels:
Analysis of UML Activities with Dynamic Meta Modeling Techniques. 329-330
Electronic Edition (link) BibTeX