diff --git a/uk.ac.kcl.inf.gts_morpher.examples/src/pls.ecore b/uk.ac.kcl.inf.gts_morpher.examples/src/pls.ecore
index f86ade37..844e7690 100644
--- a/uk.ac.kcl.inf.gts_morpher.examples/src/pls.ecore
+++ b/uk.ac.kcl.inf.gts_morpher.examples/src/pls.ecore
@@ -22,4 +22,10 @@
+
+
+
+
diff --git a/uk.ac.kcl.inf.gts_morpher.examples/src/pls.henshin_diagram b/uk.ac.kcl.inf.gts_morpher.examples/src/pls.henshin_diagram
index 32314fee..052b9126 100644
--- a/uk.ac.kcl.inf.gts_morpher.examples/src/pls.henshin_diagram
+++ b/uk.ac.kcl.inf.gts_morpher.examples/src/pls.henshin_diagram
@@ -1,5 +1,5 @@
-
+
size() method
+ * that returns an int */
+public class HasSize extends TypeSafeMatcher
+{
+ @Factory
+ public static Matcher hasSize(int val)
+ {
+ return new HasSize(val);
+ }
+
+ private int val;
+
+ private HasSize(int val) {
+ this.val = val;
+ }
+
+ @Override
+ protected boolean matchesSafely(final T item)
+ {
+ try { return ((int) item.getClass().getMethod("size", (Class[]) null).invoke(item) == val); }
+ catch (final NoSuchMethodException e) { return false; }
+ catch (final InvocationTargetException | IllegalAccessException e) { throw new RuntimeException(e); }
+ }
+
+ @Override
+ public void describeTo(final Description description) { description.appendText("is of size " + val); }
+}
\ No newline at end of file
diff --git a/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/IsEmpty.java b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/IsEmpty.java
new file mode 100644
index 00000000..7395facf
--- /dev/null
+++ b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/IsEmpty.java
@@ -0,0 +1,30 @@
+package uk.ac.kcl.inf.gts_morpher.tests;
+
+import java.lang.reflect.InvocationTargetException;
+
+import org.hamcrest.Description;
+import org.hamcrest.Factory;
+import org.hamcrest.Matcher;
+import org.hamcrest.TypeSafeMatcher;
+
+/* Matches any class that has an isEmpty() method
+ * that returns a boolean */
+public class IsEmpty extends TypeSafeMatcher
+{
+ @Factory
+ public static Matcher empty()
+ {
+ return new IsEmpty();
+ }
+
+ @Override
+ protected boolean matchesSafely(final T item)
+ {
+ try { return (boolean) item.getClass().getMethod("isEmpty", (Class[]) null).invoke(item); }
+ catch (final NoSuchMethodException e) { return false; }
+ catch (final InvocationTargetException | IllegalAccessException e) { throw new RuntimeException(e); }
+ }
+
+ @Override
+ public void describeTo(final Description description) { description.appendText("is empty"); }
+}
\ No newline at end of file
diff --git a/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/IsTraceWith.java b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/IsTraceWith.java
new file mode 100644
index 00000000..b8729c6b
--- /dev/null
+++ b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/IsTraceWith.java
@@ -0,0 +1,44 @@
+package uk.ac.kcl.inf.gts_morpher.tests;
+
+import org.hamcrest.Description;
+import org.hamcrest.Factory;
+import org.hamcrest.Matcher;
+import org.hamcrest.TypeSafeMatcher;
+
+import uk.ac.kcl.inf.gts_morpher.gtsMorpher.GTSTraceMember;
+import uk.ac.kcl.inf.gts_morpher.modelcaster.GTSTrace;
+
+/* Checks trace equality */
+public class IsTraceWith extends TypeSafeMatcher
+{
+ @Factory
+ public static Matcher isTraceWith(GTSTraceMember... members)
+ {
+ return new IsTraceWith(members);
+ }
+
+ private GTSTraceMember[] members;
+
+ private IsTraceWith(GTSTraceMember... members) {
+ this.members = members;
+ }
+
+ @Override
+ protected boolean matchesSafely(final GTSTrace item)
+ {
+ if (item.size() == members.length) {
+ for (int i = 0; i < item.size(); i++) {
+ if (item.get(i) != members[i]) {
+ return false;
+ }
+ }
+
+ return true;
+ } else {
+ return false;
+ }
+ }
+
+ @Override
+ public void describeTo(final Description description) { description.appendText("is trae of " + members); }
+}
\ No newline at end of file
diff --git a/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/DEVSMM.ecore b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/DEVSMM.ecore
new file mode 100644
index 00000000..e3faf515
--- /dev/null
+++ b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/DEVSMM.ecore
@@ -0,0 +1,47 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/DEVSModel.xmi b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/DEVSModel.xmi
new file mode 100644
index 00000000..4aebf663
--- /dev/null
+++ b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/DEVSModel.xmi
@@ -0,0 +1,17 @@
+
+
+
+
+
+
diff --git a/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/ModelcasterTest.xtend b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/ModelcasterTest.xtend
new file mode 100644
index 00000000..8ec69fea
--- /dev/null
+++ b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/ModelcasterTest.xtend
@@ -0,0 +1,190 @@
+package uk.ac.kcl.inf.gts_morpher.tests.modelcaster
+
+import com.google.inject.Inject
+import org.eclipse.xtext.testing.InjectWith
+import org.eclipse.xtext.testing.XtextRunner
+import org.eclipse.xtext.testing.util.ParseHelper
+import org.junit.Test
+import org.junit.runner.RunWith
+import uk.ac.kcl.inf.gts_morpher.gtsMorpher.GTSSpecificationModule
+import uk.ac.kcl.inf.gts_morpher.tests.AbstractTest
+import uk.ac.kcl.inf.gts_morpher.tests.GTSMorpherInjectorProvider
+
+import static org.hamcrest.CoreMatchers.*
+import static org.hamcrest.MatcherAssert.*
+import static uk.ac.kcl.inf.gts_morpher.tests.HasSize.*
+import static uk.ac.kcl.inf.gts_morpher.tests.IsEmpty.*
+import static uk.ac.kcl.inf.gts_morpher.tests.IsTraceWith.*
+
+import static extension uk.ac.kcl.inf.gts_morpher.modelcaster.GTSTrace.*
+import static extension uk.ac.kcl.inf.gts_morpher.util.GTSSpecificationHelper.*
+
+@RunWith(XtextRunner)
+@InjectWith(GTSMorpherInjectorProvider)
+class ModelcasterTest extends AbstractTest {
+ @Inject
+ ParseHelper parseHelper
+
+ private def createModelResourceSet() {
+ #["storing_server.ecore",
+ "DEVSMM.ecore",
+ "DEVSModel.xmi",
+ "storing_server.henshin",
+ "devsmm.henshin",
+ "pls.ecore",
+ "pls.henshin",
+ "server.ecore",
+ "server.henshin",
+ "transformers.henshin"].createResourceSet
+ }
+
+ /**
+ * Test trace generation
+ */
+ @Test
+ def void validationBasicTrace() {
+ // TODO At some point may want to change this so it works with actual URLs rather than relying on Xtext/Ecore to pick up and search all the available ecore files
+ // Then would use «serverURI.toString» etc. below
+ val rs = createModelResourceSet
+ val result = parseHelper.parse('''
+ gts ServerSystem {
+ metamodel: "storing_server"
+ behaviour: "storing_serverRules"
+ }
+
+ gts ServerInterface interface_of { ServerSystem }
+
+ gts DEVSMMSystem {
+ metamodel: "devsmm"
+ behaviour: "devsmmRules"
+ }
+
+ map ServerToDEVSMM {
+ from ServerInterface
+ to DEVSMMSystem
+
+ type_mapping {
+ class server.Server => devsmm.Machine
+ reference server.Server.Out => devsmm.Machine.out
+ }
+
+ behaviour_mapping {
+ rule process to process {
+ object input => in_part
+ link [in_queue->input:elts] => [tray->in_part:parts]
+ }
+ }
+ }
+
+ gts DEVSMMWithServer {
+ weave: {
+ map1: interface_of (ServerSystem)
+ map2: ServerToDEVSMM
+ }
+ }
+
+ model derivedModel = "«class.getResource("DEVSModel.xmi").path»" (instance of DEVSMMSystem) as DEVSMMWithServer
+ ''', rs)
+ assertThat ("Did not produce parse result", result, is(notNullValue))
+ assertThat("Found parse errors: " + result.eResource.errors, result.eResource.errors, is(empty))
+
+ val derivedModel = result.modelCasts.head
+ val traces = derivedModel.srcGTS.findTracesTo(derivedModel.tgtGTS)
+ assertThat("Too many traces found", traces, hasSize(1))
+
+ assertThat("Trace too long", traces.head, hasSize(4))
+ assertThat("Incorrect trace", traces.head, isTraceWith(
+ result.gtss.get(2),
+ result.mappings.head,
+ result.gtss.get(3).gts,
+ result.gtss.get(3)
+ ))
+
+ val wovenGTS = result.gtss.last
+ val wovenMetamodel = wovenGTS.metamodel
+
+ val transformedModel = traces.head.transformModel(rs.getResource("DEVSModel.xmi".createFileURI, true).contents.head)
+ assertThat("No transformed model", transformedModel, is(notNullValue))
+ assertThat("Incorrect metamodel of transformed model", transformedModel.eClass.EPackage, is(sameInstance(wovenMetamodel)))
+ }
+
+ /**
+ * Test trace generation
+ */
+ @Test
+ def void validationBasicModelTransform() {
+ // TODO At some point may want to change this so it works with actual URLs rather than relying on Xtext/Ecore to pick up and search all the available ecore files
+ // Then would use «serverURI.toString» etc. below
+ val rs = createModelResourceSet
+ val result = parseHelper.parse('''
+ gts_family ServerFamily {
+ {
+ metamodel: "server"
+ behaviour: "serverRules"
+ }
+
+ transformers: "transformerRules"
+ }
+
+ export gts AdaptedServer {
+ family: ServerFamily
+
+ using [
+ addSubClass (server.Queue, "InputQueue"),
+ addSubClass (server.Queue, "OutputQueue"),
+ reTypeToSubClass (serverRules.process, server.Queue, server.InputQueue, "iq"),
+ reTypeToSubClass (serverRules.process, server.Queue, server.OutputQueue, "oq"),
+ mvAssocDown (server.Server.in, server.InputQueue),
+ mvAssocDown (server.Server.out, server.OutputQueue)
+ ]
+ }
+
+ auto-complete unique map Server2PLS {
+ from interface_of {
+ AdaptedServer
+ }
+
+ to gts pls {
+ metamodel: "pls"
+ behaviour: "plsRules"
+ }
+
+ type_mapping {
+ class server.Server => pls.Polisher
+ class server.InputQueue => pls.Tray
+ class server.OutputQueue => pls.Conveyor
+ }
+ }
+
+ export gts ServerPLS {
+ weave(dontLabelNonKernelElements,preferMap2TargetNames): {
+ map1: interface_of(AdaptedServer)
+ map2: Server2PLS
+ }
+ }
+
+ model derivedModel = "«class.getResource("DEVSModel.xmi").path»" (instance of pls) as ServerPLS
+ ''', rs)
+ assertThat ("Did not produce parse result", result, is(notNullValue))
+ assertThat("Found parse errors: " + result.eResource.errors, result.eResource.errors, is(empty))
+
+ val derivedModel = result.modelCasts.head
+ val traces = derivedModel.srcGTS.findTracesTo(derivedModel.tgtGTS)
+ assertThat("Too many traces found", traces, hasSize(1))
+
+ assertThat("Trace too long", traces.head, hasSize(4))
+ assertThat("Incorrect trace", traces.head, isTraceWith(
+ result.gtss.get(2),
+ result.mappings.head,
+ result.gtss.get(3).gts,
+ result.gtss.get(3)
+ ))
+
+ val wovenGTS = result.gtss.last
+ val wovenMetamodel = wovenGTS.metamodel
+
+ val transformedModel = traces.head.transformModel(rs.getResource("DEVSModel.xmi".createFileURI, true).contents.head)
+ assertThat("No transformed model", transformedModel, is(notNullValue))
+ assertThat("Incorrect metamodel of transformed model", transformedModel.eClass.EPackage, is(sameInstance(wovenMetamodel)))
+ }
+}
diff --git a/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/devsmm.henshin b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/devsmm.henshin
new file mode 100644
index 00000000..bc420ed2
--- /dev/null
+++ b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/devsmm.henshin
@@ -0,0 +1,87 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/devsmm.henshin_diagram b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/devsmm.henshin_diagram
new file mode 100644
index 00000000..0305e778
--- /dev/null
+++ b/uk.ac.kcl.inf.gts_morpher.tests/src/uk/ac/kcl/inf/gts_morpher/tests/modelcaster/devsmm.henshin_diagram
@@ -0,0 +1,175 @@
+
+
+
+
+