Coupling Overture to MDA and UML

To investigate the loading and execution of eclipse plug-ins the Core Tools can be used with it's Runtime Spy:

http://wiki.eclipse.org/Core_Tools

http://www.eclipse.org/eclipse/platform-core/downloads.php#updates

CoreToolsOptionsExampleFile.options (1.02 kb)

Eclipse startup options:

-debug "CoreToolsOptionsExampleFile.options"

Eclipse plugins

To use eclipse SVN on IHA do the following:

HTTP proxy: www-cache.iha.dk

Port: 3128

Install this from the Ganymade -> Collaboration Tools

• Subversive Integration for the Mylyn Project
• SVN Team Provider
• SVN Team Provider Localization
• SVN Team Provider Source

Go to Polarion to get the Connectors from:

http://download.eclipse.org/technology/subversive/0.7/update-site/

Now your ready to check out.

Eclipse plugins

Eclipse Visual Editor for Java:

Update site: http://update.soyatec.org/Ganymede/ve/1.4

Requires EMF runtime.

http://wiki.eclipse.org/VE/Update

Eclipse plugins

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

HTTP proxy: www-cache.iha.dk

Port: 3128

Eclipse plugins

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

Support for variables added.

VDMEditor15102008.zip (461.63 kb)

Eclipse plugins, VDM

http://wiki.eclipse.org/FAQ_How_do_I_create_an_update_site_(site.xml)%3F

Eclipse plugins

Here is a guide to Eclipse UML:

Eclipse UML2.pdf (1.46 mb)

And to use the UML2 Tools to create class diagrams etc. Se this link on how to install UML2 Tools

Eclipse plugins