Coupling Overture to MDA and UML

Create eclipse projects from a maven repo.

• Check out the source
• Run mvn eclipse:clean to de sure that no eclipse settings exist
  • Also ensure that no .settings, .project .classpath files exist in the repo structure they should be in the svn ignore
• Run mvn eclipse:eclipse
• Open eclipse and set the workspace location to the same path where mvn eclipse:eclipse was executed.
• Go to Files->Import then select General-> Maven Projects and select the current workspace location.
• Now select all the projects shown in the list.
• Click ok and wait for eclipse to build the workspace.

Setting up Eclipse to use the Proper Maven Settings.xml

In order to use the settings.xml file where maven reads the user settings from Eclipse needs to know the path to this file. The integration in Eclipse by default sets the path to the user settings.xml so if you use the global settings instead you need to change the path:

The two most common places to store the settings:

• The Maven install: $M2_HOME/conf/settings.xml
• A user's install: ${user.home}/.m2/settings.xml

Settings can be stored at these locations in the respected files.

• Per Project
  • Defined in the POM itself (pom.xml).
• Per User
  • Defined in the Maven-settings (%USER_HOME%/.m2/settings.xml).
• Global
  • Defined in the global maven-settings (%M2_HOME%/conf/settings.xml).
• Profile descriptor
  • a descriptor located in project basedir (profiles.xml)

Set default profile in settings.xml

To set the default profile in the settings file insert this tag.

<activeProfiles>
    <activeProfile>profile-1</activeProfile>
</activeProfiles>

Get active profile

To get the actine profile used in maven use this:

mvn help:active-profiles

Maven

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

Here is a batch script for that:

find . -name ".svn" -type d -exec rm -rf {} \;

Tools

Install this version (Link to site)

Setup-Subversion-1.5.1.en-us.msi

Type the following to install the service:

sc create svn.local binpath= "\"c:\program files\subversion\bin\svnserve.exe\" --service --root D:\svnrepo" displayname= "Subversion Repository" depend= Tcpip

• Set editor: env var: SVN_EDITOR = c:\windows\notepad.exe
• Create repo: svnadmin create "c:\Documents and Settings\Subversion Repository"
• Navigate to the folder we just created. Within that folder, uncomment the following lines in the /conf/svnserve.conf file:
  [general] anon-access = read auth-access = write password-db = passwd
• Next, uncomment these lines in the /conf/passwd file:
  [users] harry = harryssecret sally = sallyssecret
• Create a project by opening a second command window and entering this command
• svn mkdir svn://localhost/myproject
• You'll now be prompted for credentials. In my case I was prompted for the administrator credentials as well
• Authentication realm: 0f1a8b11-d50b-344d-9dc7-0d9ba12e22df Password for 'Administrator': ********* Authentication realm: 0f1a8b11-d50b-344d-9dc7-0d9ba12e22df Username: sally Password for 'sally': ************ Committed revision 1.
• Open Port 3690
• Your done :-)

• 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

A counter should be named the same as the environment.

\newcounter{exercise}
\newenvironment{exercise}[1]%
{\refstepcounter{exercise}\vspace{10pt}\par\noindent
\textbf{Exercise \theexercise\ (#1)}
\begin{itshape}\par\noindent\vspace{10pt}}%
{\end{itshape}\vspace{10pt}\par}

Example of use

Exercise~\ref{ex:simple} is a simple exercise.

\begin{exercise}{Simple Exercise}%
\label{ex:simple}%
This is a simple exercise.
\end{exercise}

Link

Latex

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

To set the Main class in a Jar file created as output in a Maven project the following is needed in the pom.xml file.

<plugin>
  <groupId>org.apache.maven.plugins</groupId>
  <artifactId>maven-jar-plugin</artifactId>
  <configuration>
    <archive>
      <manifest>
        <mainClass>com.someclass.Main</mainClass>
        <packageName>com.someclass</packageName>
      </manifest>
      <manifestEntries>
        <mode>development</mode>
        <url>${pom.url}</url>
      </manifestEntries>
    </archive>
  </configuration>
</plugin>

Maven