OVERTURETOOL

Modeling VDM using Eclipse

Christian ThillemannDavid Holst Møller

OVERTURETOOL

2

Agenda

Part I Introduction to Eclipse

Part II Installing Overture Plug-in

Part III Using Overture Plug-in

OVERTURETOOL

Part 1

Introduction to Eclipse

OVERTURETOOL

4

Eclipse

An Integrated Development Environment(IDE) Platform independent Plug-in framework

OVERTURETOOL

5

Features in Java environment

Language Outline (√) Error (√) Syntax (√) Debugging (in progress) Code Completion (planned) Refactoring (planned)

Eclipse environment Team development (CVS - integrated) Etc.

OVERTURETOOL

6

Terms

The workspace contains a collection of resources.

The platform workbench is a tool that allows the user to navigate and manipulate the workspace.

A workspace's resources are organized into a tree structure, with projects at the top, and folders and files underneath.

There are three different types of resources: projects, folders, and files.

OVERTURETOOL

7

Workbench

OVERTURETOOL

8

Terms

The Eclipse Platform user interfaces are based on editors, views, and perspectives. From the user's standpoint, a Workbench window visually consists of several views and editors.

A perspective defines an appropriate collection of views, their layout, and applicable actions for a given user task.

A view is a workbench part that can navigate a hierarchy of information or display properties for an object.

OVERTURETOOL

9

Views

What's in a view???

OVERTURETOOL

10

Editors

OVERTURETOOL

11

Perspectives

OVERTURETOOL

12

Part 2

Installing the Overture Plug-in

OVERTURETOOL

13

Download

Download Eclipse IDE from http://www.eclipse.org/downloads/

We are using the plug-in Dynamic Development ToolKit DLTK 1.0 which is obtained from this update-site http://download.eclipse.org/technology/dltk/updates-dev/1.0

Note only the core is needed here And lastly install our plug-in

http://overtureeditor.googlecode.com/svn/trunk/Workspace/org.overturetool.update-site/

OVERTURETOOL

14

How to install a update-site

Open Eclipse. Help → Software Updates

(Setup proxy if necessary – see next slide) Choose the tab Available Software Add site... Paste the given update-site Mark the check-box next to the update-site

OVERTURETOOL

Proxy Settings in Eclipse

Open Eclipse. Window → Preferences

General → Network Connection

OVERTURETOOL

OVERTURETOOL

17

Part 3

Using the Plug-in

OVERTURETOOL

18

Creating new Project

OVERTURETOOL

19

Select a project

OVERTURETOOL

20

Select a project

OVERTURETOOL

21

Overture Perspective

OVERTURETOOL

22

Resources

http://www.eclipse.org/downloads/ http://download.eclipse.org/technology/dltk/updates-dev/1.0 http://overtureeditor.googlecode.com/svn/trunk/Workspace/org.overturetool.update-site/http://code.google.com/p/overtureeditor/