Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
QAC'07 - 2nd call for papers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-07-01 (18:22)
From: Sun Meng <M.Sun@c...>
Subject: CFP-UML&FM'08 : Extended deadline
                     CALL FOR PAPERS :  UML&FM’2008

                Workshop held in conjunction with ICFEM 2008
                    The 10th International Conference on
                       Formal Engineering Methods
                            October 27, 2008
                         Kitakyushu-City, Japan

                      Submission deadline: July 08, 2008

Many interest groups from a research perspective are in favour of the
creation of this workshop.

For more than a decade now, the two communities of UML and formal 
methods have been working together to produce a simultaneously practical 
(via UML) and rigorous (via formal methods) approach to software 

UML is the de facto standard for modelling various aspects of software
systems in both industry and academia, despite the inconvenience that 
its current specification is complex and its syntax imprecise.

The fact that the UML semantics is too informal have led many 
researchers to formalize it with all kinds of existing formal languages, 
like OCL, Z, B, CSP, VDM, Petri Nets, UPPAAL, HOL, Coq, PVS etc.

This first workshop will be open to various subjects as the main 
objective is to encourage new initiatives of building bridges between 
informal, semi-formal and formal notations.


This workshop seeks contributions from researchers and practitioners
interested in all aspects of integrating UML and formal methods. To this
end, we solicit papers (no more than 6 pages long) related to, but not
limited to, the following principal topics:

·        Consistent specifications, model transformations (QVT
          technologies, transformation repositories). Transformations to
          make models more analyzable so as to make them executable.

·        Automation of traceability through transformations

·        Refinement techniques: developing detailed design from a UML
          abstract specification

·        Refinement of OCL specification as well

·        Formal reasoning on models for code generation

·        Technologies for compositional verification of models

·        Specification of a formal semantics for the UML.
          Giving an abstract syntax to UML diagrams

·        Formal validation and verification of software

·        Co-modeling methods formal/informal mapping techniques

·        End-to-end methodologies or software process
          engineering,correct-by-construction design providing and
          supporting tools for safety-critical embedded systems design

Workshop Format
This full-day workshop will consist of an introduction of the topic by 
the workshop organizers, presentations of accepted papers, and in depth
discussion of previously identified subjects emerging from the
submissions. A summary of the discussions will be made available.

Submission and Publication
To contribute, please send a position paper or a technical paper

to agusti[dot]canals[at]c-s[dot]fr with “ICFEM08 UML&FM Workshop” in the

Papers should not exceed 8 pages. Submitted manuscripts should be in
English and formatted in the style of the ISSE Format. Preferably,
submissions should be in PDF format.
Please, follow the guidelines at the "For authors and editors" heading 
in the ISSE website

All selected papers will be published in the ISSE NASA journal
(Innovations in Systems and Software Engineering).

Slides will be made available through the workshop website.

Submission deadline:             July 08, 2008
All Notification of acceptance:  July 15, 2008
Final copy for proceedings:      July 25th, 2008
Workshop date :                  October 27, 2008


Organizational sponsors :

OMG        (

Organizers and Programme Steering committee:

Jean-Michel Bruel (Liuppa, France)
Agusti Canals (CS, France)--- General Chair
Sébastien Gérard (CEA-LIST, France)
Isabelle Perseil (TELECOM ParisTech, France)

IEEE CS Coordinator:

Mike Hinchey (NASA GSFC and Loyola College in Maryland, USA)

Program Committee:

Nazareno Aguirre (Universidad Nacional de Río Cuarto, Argentina)
Pascal André (LINA, University of Nantes, France)
Yamine Ait Ameur (LISI / ENSMA, France)
Luciano Baresi (Politecnico di Milano, Italia)
Jean-Paul Bodeveix (IRIT, France)
Agusti Canals (CS, France)  -- General Chair
Sebastien Demathieu (THALES, France)
Mamoun Filali (IRIT, France)
Madeleine Faugère (THALES, France)
Robert France (Colorado State University, USA)
Sébastien Gérard (CEA-LIST, France)
Martin Gogolla (University of Bremen, Germany)
Susanne Graf (CNRS-Verimag, France)
Irfan Hamid (TELECOM ParisTech, France)
Alan Hartman (IBM Haifa Research Laboratory, Israel)
Wooter Joosen (Catholic University of Leuven, Belgium)
Kevin Lano (King's College London, United Kingdom)
Tom Maibaum (King's College London, United Kingdom)
Stephen J.Mellor (Accelerated Technologies, Tucson AZ, USA)
Dominique Mery (LORIA, France)
Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, Japan)
Richard Paige (University of York, United Kingdom)
Dorina Petriu (Carlton University, USA)
Pierre-Yves Schobbens (University of Namur, Belgium)
Douglas C. Schmidt (Vanderbild University, USA)
Françoise Simonot Lion (LORIA, France)
Oleg Sokolsky (University of Pennsylvania, USA)
Jing Sun (University of Auckland, New Zealand)
Jun Suzuki (University of Massachusetts, Boston, USA)
Martin Törngren (Royal Institute of Technology, Sweden)
Laurence Tratt (Bornmouth University, United Kingdom)
Tatsuhiro Tsuchiya (Osaka University, Japan)
Naoyasu Ubayashi (Kyushu Institute of Technology, Japan)
Tullio Vardanega (University of Padua, Italia)
François Vernadat (CNRS-LAAS, France)
Eugenio Villar (Universidad de Cantabria, Spain)
André Windisch (EADS Military Aircraft, Germany)
John Whittle (George Mason University, USA)