Programme of MOMPES at ETAPS 2007

(4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software)

Saturday, March 31, room: CP2-108

09:00 - 10:00 SESSION 1

Opening and Welcome Session
Invited Talk
On the Applicability Scope of Model Driven Engineering
Jean Bézivin

10:00 - 10:40 SESSION 2

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

10:40 - 11:00 Coffee Break

11:00 - 11:40 SESSION 3

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

11:40 - 12:20 SESSION 4

Formal Approaches (Chair: Ridha Khedri)
Model-Driven Consistency Checking of Behavioural Specifications
Bas Graaf, Arie van Deursen
Challenges when using Model Driven Architecture in the Development of Safety Critical Software
Philippa Conmy, Richard F. Paige

12:30 - 14:30 Lunch

14:30 - 15:15 SESSION 5

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

15:15 - 15:55 SESSION 6

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

15:55 - 16:15 Coffee Break

16:15 - 16:55 SESSION 7

Session on Embedded Systems (Chair: Luís Gomes)
ModES: Embedded Systems Design Methodology and Tools based on MDE
Francisco Assis M. do Nascimento, Márcio F. S. Oliveira, Flávio Rech Wagner
Designing a Unified Process for Embedded Systems
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio

16:55 - 17:10 Closing Session


Joint Workshops Post-Conference Dinner (tickets needed)
Dinner at Pousada Santa Maria de Bouro
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13