From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=AWL,SUBJ_ALL_CAPS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id ABBD5BC37 for ; Tue, 18 Aug 2009 14:53:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmEDAINBikrAEL8Ie2dsb2JhbACbCAEBFiQEGL0qhBkFgU5ch34 X-IronPort-AV: E=Sophos;i="4.43,402,1246831200"; d="scan'208";a="32544492" Received: from hera.cwi.nl ([192.16.191.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Aug 2009 14:52:53 +0200 Received: from bobomb.sen.cwi.nl (bobomb.sen.cwi.nl [192.16.201.202]) by hera.cwi.nl with ESMTP id n7ICpXvZ019783 for ; Tue, 18 Aug 2009 14:51:33 +0200 (CEST) Message-ID: <4A8AA3D5.5090301@cwi.nl> Date: Tue, 18 Aug 2009 14:51:33 +0200 From: Sun Meng User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090710 Fedora/1.1.17-1.fc10 SeaMonkey/1.1.17 MIME-Version: 1.0 To: puml-list@cs.york.ac.uk, coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, isabelle-users@cl.cam.ac.uk, reliable_computing@interval.louisiana.edu, components@artist-embedded.org, agents@cs.umbc.edu, behavior@cs.ucsd.edu, comlab@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, concurrency@cwi.nl, grin@di.unipi.it, categories@mta.ca, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, ipa@win.tue.nl, petrinet@informatik.uni-hamburg.de, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, nvti-list@cwi.nl, prog-lang@diku.dk, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, asci@twi.tudelft.nl, caml-list@inria.fr, coq-club@pauillac.inria.fr, jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk, nwpt-info@sool.ioc.ee, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, procos@jiscmail.ac.uk, haskell@haskell.org, se-group@cs.umn.edu, umsec-events@cs.umn.edu, seminar@iist.unu.edu, ecoop-info@ecoop.org, lics@informatik.hu-berlin.de Subject: UML&FM'09 CFP Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; syntax:01 semantics:01 formalize:01 coq:01 notations:01 model:01 semantics:01 syntax:01 c-s:01 politecnico:01 thales:01 thales:01 oleg:01 padua:01 fm':98 ********************************************************************** CALL FOR PAPERS : UML&FM’2009 2nd INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS http://www.artist-embedded.org/artist/UML-FM-2009.html Workshop held in conjunction with ICFEM 2009 The 11th International Conference on Formal Engineering Methods http://icfem09.inf.puc-rio.br/ICFEM.html December 08, 2009 Rio de Janeiro, Brazil ************************************************************************ Submission deadline: September 30th, 2009 ----------------------------------------- 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 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. 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 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 “ICFEM09 UML&FM Workshop” in the title. 2 versions of the papers will be requested : 1/ Short versions : papers should not exceed 6 pages. Submitted manuscripts should be in English and formatted in the style of the IEEE CS Format. Preferably, submissions should be in PDF format. First, the selected papers will be published online via in the IEEE Xpress and distributed during the workshop as a Technical Report between Pontifícia Universidade Católica do Rio de Janeiro and Telecom-ParisTech 2/ Then, after the workshop (the deadline is not already fixed), as post-proceedings, all extended versions of accepted papers will be published in the ISSE NASA journal (Innovations in Systems and Software Engineering), first edition of 2010. These 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 (http://www.springer.com/computer/programming/journal/11334) IMPORTANT DATES =============== Submission deadline: September 30th, 2009 All Notification of acceptance: October 30th, 2009 Final copy for proceedings: November 15th, 2009 Workshop date : December 08th, 2009 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 (TELECOM ParisTech, France) Publicity Chair: Sun Meng (CWI, The Netherlands) 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) * Yves Bernard (AIRBUS France, France) * 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) * 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) * 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) * 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) * André Windisch (EADS Military Aircraft, Germany) * John Whittle (George Mason University, USA) * Sergio Yovine (CNRS-Verimag, France)