[ecoop-info] 2nd CfP: The 10th Overture workshop

Announcements of FME events events at fmeurope.org
Sun Apr 1 17:17:21 CEST 2012

(Apologies for duplicates)


			The 10th Overture Workshop
             Methods, Tools and Techniques for Modelling in VDM
	     Workshop on Tuesday, 28 August 2012, Paris, France
	 Held in conjunction with FM 2012 (http://fm2012.cnam.fr/)

This workshop will be the tenth in the current series focussing on the Vienna
Development Method (VDM) and particularly its community-based tools development
project, Overture (http://www.overturetool.org/)

VDM is one of the longest established formal methods, having its origins in
compiler development work in IBM in the 1970s. In the 1990s, the basic VDM
modelling language was standardised by ISO and the first commercial tools
emerged. Since 2000, the method has been extended to support
object-orientation, concurrency, real-time and distribution. A notable recent
advance has been the use of VDM as a base language for modelling
systems-of-systems(SOS) through the COMPASS project

The community-based Overture initiative is developing an industry-strength tool
on a new open platform, exploiting research mainly in Denmark, the UK, the
Netherlands and Portugal. Research in Overture is making advances in proof
support and the need to interface VDM models of discrete event systems with
heterogeneous models from other engineering disciplines, such as continuous
time models of controlled plants Destecs (http://www.destecs.org/).

The Overture initiative held its first workshop at FM'05. Workshops were held
subsequently at FM'06, FM'08 and FM'09, FM'11 and in between. The most recent
(9th) workshop, co-located with FM'11, included several reports of development
in control and embedded systems design.

The 10th Overture workshop will emphasise topics that mesh closely with the
themes of FM 2012 itself, particularly application experience in industry,
validation of tools and methods and the development of tools. We welcome
submissions on any aspect of VDM and developments in modelling methodology,
industrial application and tools. Specific topics include the following:
- Systems of Systems modelling;
- Co-modelling and Co-simulation: the collaborative use of VDM and its tools
  alongside other established modelling techniques in a single development;
- Modelling Faults and Fault Tolerance: patterns for modelling non-normative
  behaviour and recovery mechanisms;
- Advances in tool support for proof, notably support for user interaction in
  the proof process;
- New tools extensions, such as advanced debugging plug-ins; and
- Updates on definition of the core OO language and its semantic base.

All submissions must be original papers in LNCS format not exceeding 15 pages
in length. Shorter papers are welcome. Accepted papers will be published on the
Overture website and in a Technical Report of Newcastle University, UK. All
papers must be in English and in PDF format, submitted through online upload to
the workshop submission website at the following URL:


All submissions will be reviewed by three PC members. They will be judged on
the basis of their clarity, relevance, originality, and contribution.

Important Dates (mandatory):
7 May 2012: submission deadline for workshop papers
4 June 2012: notification of acceptance/rejection to workshop papers authors
16 July 2012: camera ready copy deadline for workshop papers

Organizing Committee:
Claus Ballegård Nielsen (Aarhus University, Denmark)
Nico Plat (West Consulting BV, The Netherlands)
Steve Riddle (University of Newcastle, UK)

The organising committee can be reached via e-mail:
workshop-oc at overturetool.org. If you intend to submit a paper you are
encouraged to inform us in advance.

Program Committee:
Nick Battle (Fujitsu, UK)
Sakoh Hiroshi (Designers' Den Corporation, Japan)
Cliff Jones (Newcastle University, UK)
Peter Gorm Larsen (Aarhus University, Denmark)
Claus Ballegård Nielsen (Aarhus University, Denmark)
John Fitzgerald (Newcastle University,UK)
Nico Plat (West Consulting BV, The Netherlands)
Steve Riddle (University of Newcastle, UK)
Shin Sahara (SCSK Corporation, Japan)
Marcel Verhoef (Chess IT, Netherlands)
Sune Wolff (Terma A/S, Denmark)

events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list