[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CALL FOR PAPERS : UML&FM 2012



**********************************************************************
                  CALL FOR PAPERS :  UML&FM 2012
   5th INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS
   http://www-public.int-evry.fr/~gibson/Workshops/UML-FM-2012.html

              Workshop held in conjunction with FM 2012
                  The 18th International Symposium on
                           Formal Methods
                        http://fm2012.cnam.fr/
                          August 27th, 2012
                           Paris, France
************************************************************************

                    Submission deadline: March 5th,  2012
                    -------------------------------------


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, TLA+, CSP, VDM, Petri Nets, UPPAAL, HOL, Coq, PVS etc.

This fifth 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 at:
https://www.easychair.org/account/signin.cgi?conf=umlfm2012
Two versions of the papers will be requested.
Short versions are required for the workshop participation.

Only the best papers of extended versions will be published in a special
issue of the Formal Aspects of  Computing journal.

- 1/ Short versions will be published in the ACM Software Engineering
Notes (SEN), July 2012 (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 best papers will be published in the Formal
Aspects of  Computing journal, inside a  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 Formal Aspects of  Computing Springer Format. Preferably, submissions
should be in PDF format.


IMPORTANT DATES
===============
Submission deadline: March 5th, 2012
All Notification of acceptance: May 7th, 2012
Final copy: June 4th, 2012
Workshop date: August 27th, 2012


Organizers
==========

Organizational sponsors :
IEEE France Section
OMG      (http://www.omg.org/)
SEE

Organizers and Programme Steering committee:

Sebastien Gerard (CEA-LIST, France)
Paul Gibson (Telecom SudParis, France)
Dominique Mery (LORIA, France)
Isabelle Perseil (Inserm, France)
Jim Woodcock (University of York, United Kingdom)

Program Committee:

* Lukman Ab Rahim (Lancaster University, United Kingdom)
* Nazareno Aguirre (Universidad Nacional de Rio Cuarto, Argentina)
* Marc Aiguier (Ecole Centrale Paris, France)
* Yamine Ait Ameur (LISI / ENSMA, France)
* Pascal Andre (LINA, University of Nantes, France)
* Luciano Baresi (Politecnico di Milano, Italia)
* Kamel Barkaoui (CEDRIC-CNAM, France)
* David Clark (UCL, United Kingdom)
* Vincent Englebert (University of Namur, Belgium)
* Huascar Espinoza (Tecnalia, Spain)
* Sebastien Gerard (CEA-LIST, France)
* Frederic Gervais (Universite Paris-Est, LACL, France)
* Paul Gibson (Telecom SudParis, France)
* Martin Gogolla (University of Bremen, Germany)
* Jerome Hugues (ISAE, France)
* Paul Krause (University of Surrey, United Kingdom)
* Kevin Lano (Kings College London, United Kingdom)
* Manuel Mazzara (Newcastle University, United Kingdom)
* Stephen J.Mellor (Accelerated Technologies, Tucson AZ, USA)
* Sun Meng (Peking University, China)
* Dominique Mery (LORIA, France)
* Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
* Elie Najm (Telecom Paristech, France)
* Isabelle Perseil (Inserm, France)
* Franck Pommereau (IBISC, University of Evry, France)
* Shengchao Qin (Teesside University, United Kingdom)
* Arend Rensink (University of Twente, Netherlands)
* Thomas Robert (Telecom ParisTech, France)
* Douglas Schmidt (Vanderbilt University, USA)
* Pierre-Yves Schobbens (University of Namur, Belgium)
* Bran Selic (Malina Software Corp, Canada)
* Francoise Simonot Lion (LORIA, France)
* Neeraj-Kumar Singh (University of York, United Kingdom)
* Volker Stolz (United Nations University, Norway)
* Jing Sun (University of Auckland, New Zealand)
* Bedir Tekinerdogan (Bilkent University, Turkey)
* 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)
* Francois Vernadat (CNRS-LAAS, France)
* Eugenio Villar (Universidad de Cantabria, Spain)
* Tim Weilkiens (OOSE Innovative Informatik, Germany)
* Sergio Yovine (Universidad de Buenos Aires, Argentina)