UML&FM’08

• Introduction
  Jean-Michel Bruel - University of Toulouse (France)

Session 1 : End-to-end methodologies

• Towards a Traceability Model in a MARTE-based Methodology for Real-Time Embedded Systems
  Hung Le Dang, Hubert Dubois and Sébastien Gérard (CEA LIST)
• Foundations of a New Software Engineering Method for Real-time Systems
  Isabelle Perseil, Laurent Pautet (TELECOM ParisTech)
• An MDE Based Method for Bridging Different Design Notations
  Tian Zhang (Nanjing University), Frédéric Jouault (INRIA and EMN), Jean Bézivin (INRIA and EMN) and Xuandong Li (Nanjing University)
• Safe Design of High-Performance Embedded Systems in a MDE framework
  Huafeng Yu, Abdoulaye Gamatié, Eric Rutten and Jean-Luc Dekeyser (INRIA/CNRS/USTL/LIFL)

Session 2 : Formal Requirements

• From Use-Cases to Test-Cases via Meta-Model-based Reasoning
  Stefan Gruner (University of Pretoria)
• Model-based Requirements Analysis for Reactive Systems
  with UML Sequence Diagrams and Coloured Petri Nets
  Kristian Bisgaard Lassen, Simon Tjell (University of Aarhus)
• Validation of Requirements Models by Automatic
  Prototyping
  Dan Li (University of Macau), Xiaoshan Li (University of Macau), Jicong Liu (The United Nations University) and Zhiming Liu (The United Nations University)

Session 3 : Refinements, transformations

• Rich Meta Object Facility
  Formal Integration Platform - Syntax, Semantics and Implementation
  Ralf Buschermöhle , Jörg Oelerink (OFFIS)
• Incremental development of UML specifications using
  operation refinements
  Boulbaba Ben Ammar, Mohamed Tahar Bhiri and Jeanine Souquières (LORIA)
• A Formal and Sound Transformation from Focal to UML
  An Application to Airport Security Regulations
  David Delahaye, Jean-Frédéric Etienne and Véronique Viguié Donzeau-Gouge (CEDRIC/CNAM)

Session 4 : Formal Behavior

• Ambiguity and Structural Properties of Basic Sequence Diagrams
  C. Sibertin-Blanc, O. Tahir and N. Hameurlain (LIUPPA, University of Pau)
• Extending Statecharts with Process Algebra Operators
  Marc Frappier (University of Sherbrook), Frédéric Gervais (LACL, University of Paris-Est), Régine Laleau (LACL, University of Paris-Est), Benoît Fraikin (University of Sherbrook) and Richard-St-Denis (University of Sherbrook)
• UML Behavioral Consistency Checking
  using Instantiable Petri Nets
  Yann Thierry-Mieg, Lom-Messan Hillah (LIP6, CNRS UMR 7606)
• Timing analysis and validation with UML:
  the case of the embedded MARS bus manager
  Iulian Ober (IRIT, University of Toulouse) , Susanne Graf (CNRS, VERIMAG), Yuri Yushtein (National Aerospace Laboratory, NLR Amsterdam) and Ileana Ober (IRIT, University of Toulouse)
• Clock Constraint Specification Language
  Specifying Clock Constraints with UML/MARTE
  Frédéric Mallet (INRIA Sophia Antipolis Méditerrannée, University of Nice Sophia Antipolis)

Panel Topics

• Does UML need its own formal notation ?
  Frederic Mallet
• Do model transformations solve all the problems?
  Jean Bézivin
• Why did I give up doing UML+Z (lessons learned)?
  Jean-Michel Bruel
• Stefan Gruner