diff --git a/.idea/ant.xml b/.idea/ant.xml
deleted file mode 100644
index a2a47698..00000000
--- a/.idea/ant.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-
-
-
-
-
-
\ No newline at end of file
diff --git a/AUTHORS b/AUTHORS
deleted file mode 100644
index 58e7fa5e..00000000
--- a/AUTHORS
+++ /dev/null
@@ -1,14 +0,0 @@
-Mark Richters
-Martin Gogolla
-Joern Bohling
-Fabian Buettner
-Fabian Gutsche
-Hanna Bauerdick
-Antje Werner
-Jens Bruening
-Mirco Kuhlmann
-Duc-Hanh Dang
-Lars Hamann
-Daniel Gent
-Frank Hilken
-Andreas Kaestner
diff --git a/HACKING b/HACKING
deleted file mode 100644
index 33b73fa3..00000000
--- a/HACKING
+++ /dev/null
@@ -1,66 +0,0 @@
--*- Text -*-
-$ReleaseVersion: 2.3.1 $
-
-This document gives some guide lines how to make changes to USE and
-how to work with PRCS.
-
-1. Checking out a working copy from the repository.
-
- - Make sure the environment variable PRCS_REPOSITORY is set to the
- location of the central PRCS repository.
-
- - Change to an empty directory for your working copies of USE.
-
- % mkdir ~/use
- % cd ~/use
-
- - Checkout out the project files:
-
- % prcs checkout use
-
-2. Making changes to files.
-
- - Edit existing files does not require any special steps.
-
- - If you add new files, you must also add entries for them to the
- project file "use.prj". You can do this with
-
- % prcs populate
-
- - If you remove new files, you must also remove entries for them
- from the project file "use.prj". You can do this with
-
- % prcs populate -d
-
- For reasons of readability, the file entries in "use.prj" are
- sorted alphabetically. This has to be done manually. Please
- maintain this ordering, when adding or deleting files. You can edit
- "use.prj" with a text editor. Just don't break the structure.
-
- - These steps can be done in any order and as often as you like.
-
-3. Checking in your changes.
-
- - Make sure your changes don't break the build. Run a fresh build and
- all tests:
-
- % ant all
-
- - Document all changes that concern the user interface (in a broad
- sense) in the "NEWS" file. This is important for users who want to
- know what has changed between two releases.
-
- - For each changed file, add a short description to the "ChangeLog"
- file so that other people can understand what your changes are
- about. This can easily be done within emacs by typing "C-x 4 a"
- within the changed file's buffer.
-
- - Add an entry "* VERSION: 0.n" at the top of the "ChangeLog" file
- where n is the next minor number that will be assigned by PRCS to
- your checked-in version. Look at "use.prj" to determine n or at
- previos entries in "ChangeLog".
-
- - Checkin your changes and update all version identifiers.
-
- % prcs checkin
- % prcs rekey
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 4bb9064c..00000000
--- a/Makefile
+++ /dev/null
@@ -1,24 +0,0 @@
-## -*- Makefile -*-
-## $ProjectHeader: use 0.393 Wed, 16 May 2007 14:10:28 +0200 opti $
-
-# In previous versions this Makefile was used to build the USE system.
-# Apache Ant is now used for this task. See the file build.xml for details.
-# This Makefile is now only used for some maintenance tasks.
-
-package = use
-
-src_dir = src/main/org
-
-all:
- @echo "Please use Ant for building."
-
-# rules below are for maintainance
-
-count-lines:
- find $(src_dir) -name "*.java" | xargs -n 1 wc | awk '{ s += $$1 } END { print s}'
-
-find-fixme:
- find $(src_dir) -name "*.java" | xargs grep -n FIXME
-
-find-todo:
- find $(src_dir) -name "*.java" | xargs grep -n TODO
diff --git a/README.md b/README.md
index b01a8ba8..19e9053e 100644
--- a/README.md
+++ b/README.md
@@ -139,19 +139,27 @@ These steps will help diagnose the problem.
## Acknowledgments
-The following people from the database systems working group at the
-University of Bremen made very helpful contributions to the USE
+The following people made very helpful contributions to the USE
project. A big "thank you" to all of you.
+Hanna Bauerdick
+Joern Bohling
+Jens Brüning
Fabian Büttner
+Duc-Hanh Dang
Heino Gärtner
+Daniel Gent
Martin Gogolla
+Fabian Gutsche
+Lars Hamann
Frank Hilken
Andreas Kästner
Ralf Kollmann
Mirco Kuhlmann
Arne Lindow
Oliver Radfelder
+Mark Richters
+Antje Werner
Paul Ziemann
There are many other people who provided comments and input on
diff --git a/build.xml b/build.xml
deleted file mode 100644
index a3f40fd1..00000000
--- a/build.xml
+++ /dev/null
@@ -1,672 +0,0 @@
-
- Build file for USE
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- run "ant -projecthelp" for a list of available targets
-
-
-
-
- Operating System: ${os.name} ${os.version}
- Java Runtime: ${java.runtime.name}
- Java Home: ${java.home}
- Java Version: ${java.vm.version}
- Build Compiler: ${build.compiler}
- Ant Version: ${ant.version}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Generating ocl parser
-
-
-
-
-
-
-
-
-
-
-
-
- Generating soil parser
-
-
-
-
-
-
-
-
-
-
-
-
- Generating use parser
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Generating shell command parser
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Generating generator parser
-
-
-
-
-
-
-
-
-
-
-
-
-
- Generating testsuite parser
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- executing javah
-
-
-
-
-
-
-
-
-
- executing gcc: compiling native code
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- executing gcc: linking shared library
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Copyright © 1999-2014 University of Bremen, Mark Richters. All Rights Reserved.]]>
-
-
-
-
-
-
-
-
- Copyright © 1999-2014 University of Bremen, Mark Richters. All Rights Reserved.]]>
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- show allResults
- [gui] = ${package}.gui.*
- [runtimeGui] = ${package}.runtime.gui.*
- [runtime] = ${package}.runtime excluding [runtimeGui]
- [noGui] = ${package}.* excluding [gui] [runtimeGui]
-
- check [noGui] independentOf [gui]
- check [runtime] independentOf [runtimeGui]
- check [noGui] independentOf [runtimeGui]
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/manual/USE_Documentation20070516.pdf b/manual/USE_Documentation20070516.pdf
deleted file mode 100644
index 4b8ca176..00000000
Binary files a/manual/USE_Documentation20070516.pdf and /dev/null differ
diff --git a/use-core/src/main/resources/examples/Documentation/Demo/Classdiagram/Demo-UML.eps b/use-core/src/main/resources/examples/Documentation/Demo/Classdiagram/Demo-UML.eps
deleted file mode 100644
index 9989766c..00000000
--- a/use-core/src/main/resources/examples/Documentation/Demo/Classdiagram/Demo-UML.eps
+++ /dev/null
@@ -1,183 +0,0 @@
-%!PS-Adobe-2.0 EPSF-2.0
-%%Title: cls-EDP.eps
-%%Creator: fig2dev Version 3.2 Patchlevel 0-beta3
-%%CreationDate: Wed Mar 1 10:41:55 2000
-%%For: mr@dustbin (Mark Richters)
-%%Orientation: Portrait
-%%BoundingBox: 0 0 286 187
-%%Pages: 0
-%%BeginSetup
-%%EndSetup
-%%Magnification: 1.0000
-%%EndComments
-/$F2psDict 200 dict def
-$F2psDict begin
-$F2psDict /mtrx matrix put
-/col-1 {0 setgray} bind def
-/col0 {0.000 0.000 0.000 srgb} bind def
-/col1 {0.000 0.000 1.000 srgb} bind def
-/col2 {0.000 1.000 0.000 srgb} bind def
-/col3 {0.000 1.000 1.000 srgb} bind def
-/col4 {1.000 0.000 0.000 srgb} bind def
-/col5 {1.000 0.000 1.000 srgb} bind def
-/col6 {1.000 1.000 0.000 srgb} bind def
-/col7 {1.000 1.000 1.000 srgb} bind def
-/col8 {0.000 0.000 0.560 srgb} bind def
-/col9 {0.000 0.000 0.690 srgb} bind def
-/col10 {0.000 0.000 0.820 srgb} bind def
-/col11 {0.530 0.810 1.000 srgb} bind def
-/col12 {0.000 0.560 0.000 srgb} bind def
-/col13 {0.000 0.690 0.000 srgb} bind def
-/col14 {0.000 0.820 0.000 srgb} bind def
-/col15 {0.000 0.560 0.560 srgb} bind def
-/col16 {0.000 0.690 0.690 srgb} bind def
-/col17 {0.000 0.820 0.820 srgb} bind def
-/col18 {0.560 0.000 0.000 srgb} bind def
-/col19 {0.690 0.000 0.000 srgb} bind def
-/col20 {0.820 0.000 0.000 srgb} bind def
-/col21 {0.560 0.000 0.560 srgb} bind def
-/col22 {0.690 0.000 0.690 srgb} bind def
-/col23 {0.820 0.000 0.820 srgb} bind def
-/col24 {0.500 0.190 0.000 srgb} bind def
-/col25 {0.630 0.250 0.000 srgb} bind def
-/col26 {0.750 0.380 0.000 srgb} bind def
-/col27 {1.000 0.500 0.500 srgb} bind def
-/col28 {1.000 0.630 0.630 srgb} bind def
-/col29 {1.000 0.750 0.750 srgb} bind def
-/col30 {1.000 0.880 0.880 srgb} bind def
-/col31 {1.000 0.840 0.000 srgb} bind def
-
-end
-save
--41.0 228.0 translate
-1 -1 scale
-
-/cp {closepath} bind def
-/ef {eofill} bind def
-/gr {grestore} bind def
-/gs {gsave} bind def
-/sa {save} bind def
-/rs {restore} bind def
-/l {lineto} bind def
-/m {moveto} bind def
-/rm {rmoveto} bind def
-/n {newpath} bind def
-/s {stroke} bind def
-/sh {show} bind def
-/slc {setlinecap} bind def
-/slj {setlinejoin} bind def
-/slw {setlinewidth} bind def
-/srgb {setrgbcolor} bind def
-/rot {rotate} bind def
-/sc {scale} bind def
-/sd {setdash} bind def
-/ff {findfont} bind def
-/sf {setfont} bind def
-/scf {scalefont} bind def
-/sw {stringwidth} bind def
-/tr {translate} bind def
-/tnt {dup dup currentrgbcolor
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
- bind def
-/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
- 4 -2 roll mul srgb} bind def
-/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
-/$F2psEnd {$F2psEnteredState restore end} def
-%%EndProlog
-
-$F2psBegin
-10 setmiterlimit
-n -1000 4612 m -1000 -1000 l 6187 -1000 l 6187 4612 l cp clip
- 0.06299 0.06299 sc
-% Polyline
-7.500 slw
-n 2475 2925 m 3600 2925 l gs col0 s gr
-% Polyline
-n 2475 2700 m 3600 2700 l 3600 3600 l 2475 3600 l cp gs col0 s gr
-% Polyline
-n 2475 3375 m 3600 3375 l gs col0 s gr
-/Helvetica-Narrow-Bold ff 180.00 scf sf
-3060 2880 m
-gs 1 -1 sc (Project) dup sw pop 2 div neg 0 rm col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-2520 3330 m
-gs 1 -1 sc (budget : Integer) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-2520 3105 m
-gs 1 -1 sc (name : String) col-1 sh gr
-% Polyline
-n 1215 1575 m 1215 3150 l 2475 3150 l gs col0 s gr
-% Polyline
-n 675 900 m 1800 900 l gs col0 s gr
-% Polyline
-n 675 1350 m 1800 1350 l gs col0 s gr
-% Polyline
-n 675 675 m 1800 675 l 1800 1575 l 675 1575 l cp gs col0 s gr
-% Polyline
-n 4050 900 m 5175 900 l gs col0 s gr
-% Polyline
-n 4050 675 m 5175 675 l 5175 1800 l 4050 1800 l cp gs col0 s gr
-% Polyline
-n 4050 1575 m 5175 1575 l gs col0 s gr
-% Polyline
-n 3600 3150 m 4590 3150 l 4590 1800 l gs col0 s gr
-% Polyline
-n 1800 1125 m 4050 1125 l gs col0 s gr
-% Polyline
-n 3240 945 m 3285 990 l 3240 1035 l 3240 945 l cp gs 0.00 setgray ef gr gs col0 s gr
-% Polyline
-n 1395 2970 m 1350 3015 l 1305 2970 l 1395 2970 l cp gs 0.00 setgray ef gr gs col0 s gr
-% Polyline
-n 4770 2925 m 4725 2970 l 4680 2925 l 4770 2925 l cp gs 0.00 setgray ef gr gs col0 s gr
-/Helvetica-Narrow-Bold ff 180.00 scf sf
-1260 855 m
-gs 1 -1 sc (Employee) dup sw pop 2 div neg 0 rm col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-1305 1800 m
-gs 1 -1 sc (*) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-720 1080 m
-gs 1 -1 sc (name : String) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-720 1305 m
-gs 1 -1 sc (salary : Integer) col-1 sh gr
-/Helvetica-Narrow-Bold ff 180.00 scf sf
-4590 855 m
-gs 1 -1 sc (Department) dup sw pop 2 div neg 0 rm col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-4095 1080 m
-gs 1 -1 sc (name : String) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-4095 1530 m
-gs 1 -1 sc (budget : Integer) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-4095 1305 m
-gs 1 -1 sc (location : String) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-4455 2025 m
-gs 1 -1 sc (1) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-3735 3060 m
-gs 1 -1 sc (*) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-4680 2340 m
-gs 1 -1 sc 270.0 rot (Controls) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-1305 2295 m
-gs 1 -1 sc 270.0 rot (WorksOn) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-2340 3105 m
-gs 1 -1 sc (*) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-3690 1305 m
-gs 1 -1 sc (1..*) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-1890 1350 m
-gs 1 -1 sc (*) col-1 sh gr
-/Helvetica-Narrow ff 180.00 scf sf
-2655 1035 m
-gs 1 -1 sc (WorksIn) col-1 sh gr
-$F2psEnd
-rs
diff --git a/use-core/src/main/resources/examples/Documentation/Demo/Classdiagram/Demo-UML.pdf b/use-core/src/main/resources/examples/Documentation/Demo/Classdiagram/Demo-UML.pdf
new file mode 100644
index 00000000..8fcab3df
Binary files /dev/null and b/use-core/src/main/resources/examples/Documentation/Demo/Classdiagram/Demo-UML.pdf differ
diff --git a/use-core/src/main/resources/examples/Documentation/Employee/Employee.dgm b/use-core/src/main/resources/examples/Documentation/Employee/Employee.dgm
deleted file mode 100644
index 776fcc22..00000000
--- a/use-core/src/main/resources/examples/Documentation/Employee/Employee.dgm
+++ /dev/null
@@ -1,4 +0,0 @@
-class.Company.position.x = 2000
-class.Company.position.y = 2000
-class.Person.position.x = 9000
-class.Person.position.y = 3500
diff --git a/use-core/src/main/resources/examples/Documentation/Employee/Info.txt b/use-core/src/main/resources/examples/Documentation/Employee/Info.txt
index 92755738..bea733b0 100644
--- a/use-core/src/main/resources/examples/Documentation/Employee/Info.txt
+++ b/use-core/src/main/resources/examples/Documentation/Employee/Info.txt
@@ -3,7 +3,7 @@ for them.
The example corresponds to the example
model in the section `Validating Pre- and Postconditions
-with USE´
+with USE´
Employee.use:
Corresponds to examples/monitoring/Employee.use,
@@ -23,5 +23,3 @@ after that, the raiseSalary operation with return value
is executed
finally the new link is destroyed by executing the
operation fire
-
-Employee.dgm: