|
|
9:00 - 9:15 |
|
Welcome
|
 |
| 9:15
- 10:30 |
|
|
|
|
| Chair: |
Jean-Marc
Jezequel |
|
| 10:30
- 11:00 |
|
Coffee
break
|
|
| 11:00
- 12:30 |
|
Session
1:
|
Metamodeling
I
|
| Chair: |
Heinrich
Hussmann |
| |
Empirically
Driven Use Case Metamodel Evolution |
| |
Amador
Durán, Beatriz Bernárdez, Marcela
Genero, Mario Piattini |
| |
Applying
OO Metrics to Assess UML Meta-Models |
| |
Haohai
Ma, Weizhong Shao, Lu Zhang, Zhiyi Ma, Yanbing Jiang |
| |
An
OCL Formulation of UML2 Template Binding |
| |
Olivier
Caron, Bernard Carré, Alexis Muller, Gilles
Vanwormhoudt |
Session
2:
|
Aspects
|
| Chair: |
Jörg
Kienzle |
| |
Model
Composition Directives |
| |
Greg
Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert
France, James M. Bieman |
| |
Query
Models |
| |
Dominik
Stein, Stefan Hanenberg, Rainer Unland |
| |
Specifying
Cross-Cutting Requirement Concerns |
| |
Geri
Georg, Raghu Reddy, Robert France |
|
| 12:30
- 14:00 |
|
Lunch
|
|
| 14:00
- 15:30 |
|
Session
3:
|
Metamodeling
II
|
| Chair: |
Pierre-Alain
Muller |
| |
A
Metamodel for Generating Performance Models from
UML Designs |
| |
Dorin
B. Petriu, Murray Woodside |
| |
On
the Classification of UML's Meta Model Extension
Mechanism |
| |
Yanbing
Jiang, Weizhong Shao, Lu Zhang, Zhiyi Ma, Xiangwen
Meng, Haohai Ma |
| |
Modeling
Business Processes in Web Applications with ArgoUWE |
| |
Alexander
Knapp, Nora Koch, Gefei Zhang, Hanns-Martin Hassler |
Session
4:
|
Profiles
and Extensions
|
| Chair: |
Mohamed
Kande |
| |
A
UML Profile to Model Mobile Systems |
| |
Vincenzo
Grassi, Raffaela Mirandola, Antonino Sabetta |
| |
Experimental
Evaluation of the UML Profile for Schedulability,
Performance and Time |
| |
Andrew
J. Bennett, A. J. Field, C. Murray Woodside |
| |
A
UML Profile for Executable and Incremental Specification-Level
Modeling |
| |
Risto
Pitkänen, Petri Selonen |
|
| 15:30
- 16:00 |
|
Coffee
break
|
|
| 16:00
- 17:30 |
|
Panel
1:
|
MDA
Transformations: Is there life after QVT?
|
| Panel
Moderator |
Jean
Bézivin |
|
Panelists: TBA |
|
|
|
|
9:15 - 10:30 |
|
|
|
|
| Chair: |
Bernhard
Rumpe |
|
| 10:30
- 11:00 |
|
Coffee
break
|
|
| 11:00
- 12:30 |
|
Session
5:
|
OCL
I
|
| Chair: |
Thomas
Baar |
| |
Applying
RefactoringTechniques to UML/OCL |
| |
Alexandre
Correa, Cláudia Werner |
| |
Detecting
OCL Traps in the UML 2.0 Superstructure An Experience
Report |
| |
Hanna
Bauerdick, Martin Gogolla, Fabian Gutsche |
| |
From
Informal to Formal Specifications in UML |
| |
Martin
Giese, Rogardt Heldal |
Session
6:
|
Model
Transformation
|
| Chair: |
Jean-Michel
Bruel |
| |
Model-Driven
Architecture for Automatic-Control An experience
report |
| |
Pierre-Alain
Muller, Didier Bresch, Philippe Studer |
| |
Model-Driven
Development for Non-functional Properties: Refinement
through Model Transformation |
| |
Simone
Röttger, Steffen Zschaler |
| |
Generic
and Meta-Transformations for Model Transformation
Engineering |
| |
Dániel
Varró, András Pataricza |
|
| 12:30
- 14:00 |
|
| Lunch |
|
|
| 14:00
- 15:30 |
|
Session
7:
|
OCL
II
|
| Chair: |
Martin
Gogolla |
| |
Building
Precise UML Constructs to Model Concurrency Using
OCL |
| |
Agustín
Goñi, Yadran Eterovic |
| |
An
ASM Definition of the Dynamic OCL 2.0 Semantics |
| |
Stephan
Flake, Wolfgang Mueller |
| |
Towards
a Framework for mapping between UML/OCL and XML/Xquery |
| |
Ahmed
Gaafar, Sherif Sakr |
Session
8:
|
Verification
and Model Consistency
|
| Chair: |
Peter
H. Schmitt |
| |
Supporting
Model Refactorings through Behaviour Inheritance
Consistencies |
| |
Ragnhild
Van Der Straeten, Viviane Jonckers, Tom Mens |
| |
Determining
the Structural Events that May Violate an Integrity
Constraint |
| |
Jordi
Cabot, Ernest Teniente |
| |
Deductive
Verification of UML Models in TLPVS |
| |
Tamarah
Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli,
Mark van der Zwaag |
|
| 15:30
- 16:00 |
|
Coffee
break
|
|
| 16:00
- 17:30 |
|
Panel
2
|
Aspect
Oriented Modeling: What, Why and How?
|
| Panel
Moderator |
Robert
France |
|
Panelists: TBA |
|
|
|
|
| 9:15
- 10:30 |
|
|
|
|
| Chair: |
Stephen
J. Mellor |
|
| 10:30
- 11:00 |
|
Coffee
break
|
|
| 11:00
- 12:30 |
|
Session
9:
|
Security
|
| Chair: |
Andy
Schürr |
| |
Integrating
a Security Requirement Language with UML |
| |
Habtamu
Abie, Demissie B.Aredo, Thor Kristoffersen, Shahrzade
Mazaher, Thierry Raguin |
| |
Automated
Verification of UMLsec Models for Security Requirements |
| |
Jan
Jürjens, Pasha Shabalin |
| |
Extending
OCL for Secure Database Development |
| |
Eduardo
Fernández-Medina, Mario Piattini |
Session
10:
|
Methodology
|
| Chair: |
Stephen
J. Mellor |
| |
Test
Driven Development of UML Models with SMART Modeling
System |
| |
Susumu
Hayashi,Pan Yibing, Masami Sato,Kenji Mori, Sul
Sejeon,Shusuke Haruna |
| |
Behavioral
Domain Analysis -- The Application-based Domain
Modeling Approach |
| |
Iris
Reinhartz-Berger, Arnon Sturm |
| |
Using
UML-Based Feature Models and UML Collaboration Diagrams
to Information Modelling for Web-Based Applications |
| |
Peter
Dolog, Wolfgang Nejdl |
|
| 12:30
- 14:00 |
|
| Lunch |
|
|
| 14:00 |
|
Conference
closing
|
