Coupling Overture to MDA and UML

• Peter G Larsen:
  • Nationality: DK
  • Education: PhD of DTU.
  • Note: Maintainer of Overture
• Marcel Verhoef:
  • Nationality: NL
  • Education: PhD.
  • Note: MSc in 92 together with Peter G Larsen
• Nick Battle:
  • Nationality: UK
  • Education: BA, Computer Science at University of Cambridge
  • Note: Developer of VDMJ at Fujutsu
• John Fitzgerald
  • Nationality: UK
  • Education: PhD, Computing and Information System of Manchester
  • Note: Wrote two books together with Peter G Larsen
• Shin Nicolai Sahara
  • Nationality: JP
  • Note: Responsible for the development of VDM Tools at CSK
• Miguel Gentux:
  • Nationality: PT
  • Education: MSc, Minho University.
  • Note: Used VDM++ and description tools from Sander Vermolen to describe properties of a grand challenge of Posix.
• Zhenbang Chen:
  • Nationality: CN
  • Note: Member of the rCos group
• Sander Vermolen:
  • Nationality: NL
  • Education: PhD of TU Delft
  • Note: Created tool to move proof obligation from VDM to HOL
• Hugo Macedo:
  • Nationality: PT
  • Education: PhD of Minho + CMU
  • Note: Worked on the peacemaker grand challenge
• Augusto Ribeiro:
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Proof obligation for recursive functions
• Carlos Vihena:
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Worked on VDM-JML
• Adriana Sucena Santos
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Test tool, traces in VDM
• Kenneth Lausdahl
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: UML transformation
• Hans Kristian Lintrup
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: UML transformation
• Christian Thillemann:
  • Nationality: DK
  • Education: BA of IHA
  • Note: Will work on a VDM Editor in his MSc

Overture

Now with support for VDM Traces:

Example 1

Here are a Sequence diagram with two messages.

Example 2

Here are a Sequence diagram with one normal message, one with repeat pattern and two grouped as optional.

 

Update site: http://mt.lausdahl.com/eclipse

Eclipse plugins, Overture

https://overture.svn.sourceforge.net/svnroot/overture

Overture

Traceviewer for Eclipse.

traceviewer.pdf (681.04 kb)

TraceViewerJar.zip (216.84 kb)

Note:

VERY IMPORTANT: install the graphical editing framework first! See www.eclipse.org/gef, press
"download GEF" and follow the instructions.

Eclipse plugins, Overture

Here is the first beta release of the VDM to UML translator. It outputs XMI in Enterprise Architect 6.5 format.

Eclipse update site:

http://mt.lausdahl.com/eclipse/

Overview site: Here

Eclipse plugins, Overture, VDM

Here is a link to the Overture Parser which can be used to build a AST for a VDM file.

Overture