10th Overture Workshop Call for papers
From Wiki.overturetool.org
CALL FOR PAPERS
The 10th Overture Workshop
Methods, Tools and Techniques for Modelling in VDM
Workshop on Tuesday, 28 August 2012, Paris, France
http://wiki.overturetool.org/index.php/10th_Overture_Workshop
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 (http://www.compass-research.eu/).
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.
Submission:
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:
http://www.easychair.org/conferences/?conf=overture10
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@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)
