[ecoop-info] UML&FM 2010 CFP

[Sun Meng]

**********************************************************************
                     CALL FOR PAPERS :  UML&FM’2010
             3rd INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS
           http://www.artist-embedded.org/artist/UML-FM-2010.html

                Workshop held in conjunction with ICFEM 2010
                    The 12th International Conference on
                       Formal Engineering Methods
                  http://www.sei.ecnu.edu.cn/icfem2010/
                            November 16th, 2010
                              Shanghai, China
************************************************************************

                      Submission deadline: September 15th, 2010
                      -----------------------------------------


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 engineering.

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 third edition of the 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.


Topics:
======

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 8 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 “ICFEM 2010 UML&FM Workshop” in
the title.

2 versions of the papers will be requested on the same deadline:
september, 15th
Short versions are required for the workshop participation.
Only the best papers of extended versions will be published in a special
issue of the SoSyM journal.

- 1/ Short versions will be published in the ACM Software Engineering
Notes (SEN), January 2011 (all the selected papers)

Papers should not exceed 8 pages. Submitted manuscripts should be in
English and formatted in the style of the SEN Format.
http://www.stidolph.com/SEN/index.html
Preferably, submissions should be in PDF format.

- 2/ Extended versions of the 7 best papers will be published in the SoSyM
journal, inside a 2011 special issue

These extended papers should not exceed 20 pages, must be based on the
same results as the original paper but different. Submitted manuscripts
should be in English and formatted in the style of the SoSyM Springer
Format. Preferably, submissions should be in PDF format. Please, follow
the guidelines at the "Authors information" heading in the SoSyM website.
http://www.sosym.org/submission/
Slides will be made available through the workshop website.


IMPORTANT DATES
===============
Submission deadline:                                 September 15th, 2010
All Notification of acceptance:                      September 30th, 2010
Final copy for proceedings and SoSyM selection:      October 15th, 2010
Workshop date :                                      November 16th, 2010


Organizers
==========

Organizational sponsors :

OMG        (http://www.omg.org/)
ARTIST   (http://www.artist-embedded.org/artist/)


Organizers and Programme Steering committee:

Jean-Michel Bruel (Liuppa, France)
Agusti Canals (CS, France)
Robert de Simone (INRIA, France)
Sébastien Gérard (CEA-LIST, France)
Elie Najm (Telecom ParisTech, France)
Isabelle Perseil (Inserm, France)

Publicity Chair:
Sun Meng (CWI, The Netherlands)

IEEE CS Coordinator:

Mike Hinchey (Lero and NASA GSFC , Ireland)


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)
     * Yves Bernard (AIRBUS France, France)
     * Jean-Paul Bodeveix (IRIT, France)
     * Agusti Canals (CS, France) — General Chair
     * Sebastien Demathieu (THALES, France)
     * Jean-Marie Favre (University Joseph Fourier of Grenoble, 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)
     * Irfan Hamid (Microsoft Corp, Canada)
     * Wooter Joosen (Catholic University of Leuven, Belgium)
     * Sharon Keidar-Barner (IBM Haifa Research Laboratory, Israel)
     * Kevin Lano (King’s College London, United Kingdom)
     * Tom Maibaum (McMaster University, Canada )
     * Manuel Mazzara (Newcastle University, United Kingdom)
     * Stephen J.Mellor (Accelerated Technologies, Tucson AZ, USA)
     * Sun Meng (CWI, The Netherlands)
     * Dominique Mery (LORIA, France)
     * Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
     * Elie Najm (Telecom ParisTech, France)
     * 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)
     * Jing Sun (University of Auckland, New Zealand)
     * Jun Suzuki (University of Massachusetts, Boston, USA)
     * Martin Törngren (Royal Institute of Technology, Sweden)
     * Tatsuhiro Tsuchiya (Osaka University, Japan)
     * Naoyasu Ubayashi (Kyushu Institute of Technology, Japan)
     * Stefan Van Baelen (Catholic University of Leuven, Belgium)
     * Tullio Vardanega (University of Padua, Italia)
     * François Vernadat (CNRS-LAAS, France)
     * Eugenio Villar (Universidad de Cantabria, Spain)
     * Tim Weilkiens (OOSE Innovative Informatik, Germany)
     * André Windisch (EADS Military Aircraft, Germany)
     * John Whittle (George Mason University, USA)
     * Sergio Yovine (CNRS-Verimag, France)