MOMPES 2007 - PROGRAMME - 31.MARCH.2007


===========================================================
09.00 - 09.15 - Opening and Welcome Session

===========================================================
09.15 - 10.00 - Invited Talk
On the Applicability Scope of Model Driven Engineering
    Jean Bézivin

===========================================================
10.00 - 10.40 - Session on Pervasive Systems


10.00 - 10.10
Towards a Model-Driven Approach for Ontology-Based Context-Aware Application Development: A Case Study
    Nektarios Georgalas, Shumao Ou, Manooch Azmoodeh, Kun Yang
10.10 - 10.20
Tool Support for Model Driven Development of Pervasive Systems
    Carlos Cetina, Estefanía Serral, Javier Muñoz, Vicente Pelechano
10.20 - 10.40
Discussion of the papers

===========================================================
10.40 - 11.00 - Coffee break

===========================================================
11.00 - 11.40 - Session on Modelling Approaches


11.00 - 11.10
A Generic Execution Framework for Models of Computation
    Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet
11.10 - 11.20
XIS - UML Profile for eXtreme Modeling Interactive Systems
    Alberto Rodrigues da Silva, João Saraiva, Rui Silva, Carlos Martins
11.20 - 11.40
Discussion of the papers

===========================================================
11.40 - 12.20 - Session on Formal Approaches - Chair: Ridha Khedri


11.40 - 11.50
Model-Driven Consistency Checking of Behavioural Specifications
    Bas Graaf, Arie van Deursen
11.50 - 12.00
Challenges when using Model Driven Architecture in the Development of Safety Critical Software
    Philippa Conmy, Richard F. Paige

12.00 - 12.20
Discussion of the papers

===========================================================
12.20 - 14.30 - Lunch
 
===========================================================
14.30 - 15.15 - Invited Talk

Executable Use Cases: a Supplement to Model-Driven Development?
    Jens B. Jørgensen

===========================================================
15.15 - 15.55 - Session on Software Product Lines

15.15 - 15.25
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines
    Alexandre Bragança, Ricardo J. Machado
15.25 - 15.35
Model-driven Development of Particle System Families
    Michalis Anastasopoulos, András Balogh
15.35 - 15.55
Discussion of the papers

===========================================================
15.55 - 16.15 - Coffee break

===========================================================
16.15 - 16.55 - Session on Embedded Systems  - Chair: Luís Gomes


16.15 - 16.25
ModES: Embedded Systems Design Methodology and Tools based on MDE
     Francisco Assis M. do Nascimento, Márcio F. S. Oliveira, Flávio Rech Wagner
16.25 - 16.35
Designing a Unified Process for Embedded Systems
    Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio

16.35 - 16.55
Discussion of the papers

===========================================================
16.55 - 17.10 - Closing Session

===========================================================