ArtistDesign NoE

10. Overview

Isabelle Perseil — 2011-01-31T16:42:27Z

Held in conjunction with the 17th International Symposium on Formal Methods, FM 2011

Technical Co-sponsorship from IEEE France Section and SEE

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

60. Important Dates

Isabelle Perseil — 2011-01-31T12:28:26Z

Submission and Dates

Submission deadline:	April 30th, 2011
All Notification of acceptance:	May 20th, 2011
Final copy for ISSE proceedings :	Sept 01st, 2011
Workshop date:	June 20th, 2011

50. Submissions

Isabelle Perseil — 2011-01-31T12:24:56Z

Submission and Publication

To contribute, please send a position paper or a technical paper via easychair at: http://www.easychair.org/conference...

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

All accepted papers will be published in a special issue of ISSE NASA journal (Innovations in Systems and Software Engineering).

Slides will be made available through the workshop website.

40. Useful Information

Isabelle Perseil — 2011-01-31T12:23:48Z

FM2011 will be held in the Kemmy Business School (KBS) at the University of Limerick. The room number for the workshop is KBG15 A campus map is available at the FM 2011 venue webpage Note that in this map, at the left side, the main entrance is n°1, and the conference location is n°28 The Cappavilla student village is n°38 on the top of the map, in the right side.

Registrations:

FM 2011 and UML&FM'2011 registrations

Travel:

Lero travel information

Accomodations:

Better on the Limerick Campus

Visas: If you need a letter —> requests to Emil Vassev emil(at)vassev(dot)com Visa requirements

20. Programme and slides

Isabelle Perseil — 2011-01-31T12:21:57Z

10:15 Presentation of the UML&FM'2011 workshop

Isabelle Perseil. "ALF Formal"

COFFEE BREAK: 10:30-11:00

SESSION 1: 11:00-12:00

Neeraj Singh and Dominique Mery. "A Generic Framework: from Modeling to Code"
J Paul Gibson, Jean-Luc Raffy and Eric Lallet. "Formal Object Oriented Development of a Voting System Test Oracle"

SESSION 2: 12:00-13:00

Jonathan Lasalle, Fabien Peureux and Frederic Fondement. "Development of an automated MBT toolchain from UML/SysML models"
Iulia Dragomir, Ileana Ober and Iulian Ober. "UML / SysML semantic tunings"
Samir Chouali and Ahmed Hammad. "Formal verification of components assembly based on SysML and interface automata"

LUNCH: 13:00-14:00

SESSION 3: 14:00-15:30

Shoichiro Fujiwara, Kazuki Munakata, Tadahiro Uehara, Yoshiharu Maeda and Asako Katayama. "Test Data Generation for Web Application using a UML Class Diagram with OCL Constraints"
Andreas Bollin. "Coupling-based UML Transformations of Formal Z Specifications"
Thiago C. De Sousa, Colin F. Snook and Paulo Sérgio Muniz Silva. "A Proposal for Extending UML-B to Support a Conceptual Model"
Jérémy Milhau, Akram Idani, Regine Laleau, Mohamed Amine Labiadh, Yves Ledru and Marc Frappier. "Combining UML and B for the Formal Specification of an Access Control Filter"

COFFEE BREAK: 15:30-16:00

SESSION 4: 16:00-16:40

Daniel Calegari and Nora Szasz. "Institutionalising UML 2.0 State Machines"

END OF THE WORKSHOP: 16:40

18:30 Buses depart for Banquet (Knappogue Castle Dinner registrations on FM 2011 registration site) 19:30 Banquet

30. Committees

Isabelle Perseil — 2011-01-31T12:21:13Z

Organizational sponsors

ARTIST
OMG
Organizers and Programme Steering committee
Jean-Michel Bruel (IRIT, France)
Robert de Simone (INRIA, France)
Sébastien Gérard (CEA-LIST, France)
Paul Gibson (Telecom SudParis, France)
Isabelle Perseil (Inserm, France)
PC Chairs
Paul Gibson (Telecom SudParis, France)
Isabelle Perseil (Inserm, France)
IEEE CS TCCX Coordinator
Mike Hinchey (Lero, Ireland)
Program Committee
Agusti Canals (CS, France)
Lukman Ab Rahim (Lancaster University, United Kingdom)
Nazareno Aguirre (Universidad Nacional de Río Cuarto, Argentina)
Marc Aiguier (Ecole Centrale Paris, France)
Yamine Ait Ameur (LISI / ENSMA, France)
Pascal André (LINA, University of Nantes, France)
Luciano Baresi (Politecnico di Milano, Italia)
Kamel Barkaoui (CEDRIC-CNAM, France)
Jean-Paul Bodeveix (IRIT, France)
Jean-Michel Bruel (IRIT, France)
Alexandre Cabral Mota (Universidade Federal de Pernambuco, Brazil)
David Clark (University College London, United Kingdom)
Vincent Englebert (University of Namur, Belgium)
Huascar Espinoza (Tecnalia, Spain)
Mamoun Filali (IRIT, France)
Sébastien Gérard (CEA-LIST, France)
Frederic Gervais (Université Paris-Est, LACL, France)
Paul Gibson (Telecom SudParis, France)
Martin Gogolla (University of Bremen, Germany)
Jérôme Hugues (ISAE, France)
Stephen J.Mellor (Accelerated Technologies, Tucson AZ, USA)
Paul Krause (University of Surrey, United Kingdom)
Kevin Lano (King's College London, United Kingdom)
Manuel Mazzara (Newcastle University, United Kingdom)
Sun Meng (Peking University, China)
Dominique Mery (LORIA, France)
Elie Najm (Telecom ParisTech, France)
Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, Japan)
Isabelle Perseil (Inserm, France)
Dorina Petriu (Carlton University, USA)
Fiona Polack (University of York, United Kingdom)
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)
Françoise Simonot Lion (LORIA, France)
Volker Stolz (Univ. of Oslo, Norway)
Jing Sun (University of Auckland, New Zealand)
Jun Suzuki (University of Massachusetts, Boston, USA)
Bedir Tekinerdogan (Bilkent University, Turkey)
Tatsuhiro Tsuchiya (Osaka University, Japan)
Naoyasu Ubayashi (Kyushu University, 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)
Sergio Yovine (Universidad de Buenos Aires, Argentina)

80. Participants

Isabelle Perseil — 2010-11-24T13:12:50Z

Speakers

Islam Abdelhalim	University of Surrey	UK
Jean-Raymond Abrial	ETH Zürich	Switzerland
Bernhard Aichernig	Graz University of Technology	Austria
Julien Bertrane	ENS	France
Christine Choppy	University of Paris Nord	France
Robert de Simone	INRIA	France
Linda Ariani Gunawan	NTNU	Norway
Denis Hatebur	University of Duissburg Essen	Germany
Jinhyun Kim	Korea University	Korea
Daniel Knorreck	Telecom-ParisTech	France
Hartmut Koening	Brandenburg University	Germany
Fabien Jonathan Lasalle	LIFC	France
Christoph Lauer	University of Elangen-Nürnberg	Germany
Dan Li	UNU-IIST	Macao, RAS-China
Frédéric Mallet	University of Sophia-Antipolis	France
Toshiyuki Miyamoto	Osaka University	Japan
Chokri Mraidha	CEA-LIST	France
Isabelle Perseil	Inserm	France
Vlad Rusu	INRIA	France

+ ICFEM'2010 participants (between 40 and 50 people in the room)

70. Report

Isabelle Perseil — 2010-11-24T12:59:47Z

General Report: soon

Next edition of the workshop: UML&FM'2011 will be held in conjunction with FM'2011 at Limerick, Ireland, on june 20, 2011.

60. Submission

Isabelle Perseil — 2010-10-12T20:13:22Z

Submission and Publication

To contribute, please send a position paper or a technical paper via easychair at: http://www.easychair.org/conference... PAPER SUBMISSION SITE WILL OPEN AT A LATER DATE

Papers should not exceed 6 pages. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. (ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.doc) Preferably, submissions should be in PDF format.

Slides will be made available through the workshop website.

All selected papers will be published in the IEEE Computer Society Press Proceedings.

50. Committees

Isabelle Perseil — 2010-10-12T20:06:13Z

Organizational sponsors

ARTIST
OMG
Organizers and Program Steering committee
Marc Aiguier (Ecole Centrale Paris, MAS, France)
Jean-Michel Bruel (IRIT, France)
Robert De Simone (INRIA, France)
Sébastien Gérard (CEA-LIST, France)
Isabelle Perseil (INSERM, France)
Program Chairs
Robert De Simone (INRIA, France)
Isabelle Perseil (INSERM, France)
Publicity Chair
Sun Meng (Peking University, China)
IEEE CS TCCX Coordinator
Mike Hinchey (Lero, Ireland)
Program Committee
Marc Aiguier (École Centrale Paris, MAS, France)
Yamine Ait Ameur (LISI / ENSMA, France)
Keijiro Araki (Kyushu University, Japan)
Sue Black (University of Westminster, UK)
Karin Breitman (Universidade Católica do Rio de Janeiro, Brazil)
Radu Calinescu (University of Oxford, UK)
Daniela Cancila (CEA LIST, France - Sherpa Engineering, France)
Julien Delange (ESA, Netherlands)
Juan Antonio de la Puente (Universidad Politécnica de Madrid, Spain)
Bruce Douglass (IBM, USA)
Vincent Englebert (University of Namur, Belgium)
Huascar Espinoza (TECNALIA , Spain)
Jean-Marie Farines (UFSC Florianópolis, Brazil)
Sandra C. P. Ferraz Fabbri (Federal University of São Carlos, Brazil)
Mamoun Filali (IRIT, France)
Anthony Finkelstein (University College London, UK)
Robert France (Colorado State University, USA)
Emmanuel Gaudin (PragmaDev, France)
Sébastien Gérard (CEA-LIST, France)
Itana Maria de Souza Gimenes (UEM, Brazil)
Mark Grechanik (University of Illinois, USA)
Jörgen Hansson (Linköping University, Sweden)
Jozef Hooman (Embedded Systems Institute, The Netherlands)
Jérôme Hugues (ISAE, France)
Daniel Krob ( CNRS. Ecole Polytechnique, France)
Johan Lilius (Åbo Akademi University, Finland)
Ricardo J. Machado (University of Minho, Portugal)
Julio Medina (University of Cantabria, Spain)
Sun Meng (Peking University, China)
Dominique Mery (LORIA, France)
Thierry Millan (IRIT, France)
Henry Muccini (University of L'Aquila, Italy)
Ileana Ober (IRIT - University of Toulouse, France)
Richard Paige (University of York, UK)
Laurent Pautet (Telecom ParisTech, France)
Robert Pettit (George Mason University, USA)
Alfonso Pierantonio (Università degli Studi dell'Aquila, Italy)
Alek Radjenovic (University of York, United Kingdom)
Marc Reynolds (University of Western Australia, Australia)
José Raúl Romero Salguero (Universidad de Córdoba, Spain)
David Röthlisberger (University of Bern, Switzerland)
Bernhard Rumpe (Braunschweig University of Technology, Germany)
Douglas C. Schmidt (Vanderbild University, USA)
Françoise Simonot Lion (LORIA, France)
Frank Singhoff (University of Brest, France)
Oleg Sokolsky (University of Pennsylvania, USA)
Jörn Guy Süß ( University of Queensland, Australia)
Jing Sun (University of Auckland, New Zealand)
Jun Suzuki (University of Massachusetts, USA)
Bedir Tekinerdoğan (Bilkent University, Turkey)
Martin Törngren (KTH, Sweden)
Antonio Vallecillo (Universidad de Málaga, Spain)
Stefan Van Baelen (K.U.Leuven, Belgium)
Tullio Vardanega (University of Padua, Italy)
François Vernadat (CNRS-LAAS, France)
Thomas Vergnaud (THALES, France)
Eugenio Villar (Universidad de Cantabria, Spain)
Tim Weilkiens (oose GmbH, Germany)
Sergio Yovine (CNRS-Verimag, France / Universidad de Buenos Aires)
Bechir Zalila (University of Sfax, Tunisia)

ArtistDesign NoE

10. Overview

60. Important Dates

Submission and Dates

50. Submissions

Submission and Publication

40. Useful Information

20. Programme and slides

30. Committees

Organizational sponsors

Organizers and Programme Steering committee

PC Chairs

IEEE CS TCCX Coordinator

Program Committee

80. Participants

70. Report

60. Submission

Submission and Publication

50. Committees

Organizational sponsors

Organizers and Program Steering committee

Program Chairs

Publicity Chair

IEEE CS TCCX Coordinator

Program Committee