diff --git a/AlgebraicDataflowArchitectureModel/src/code/ast/ASTNode.java b/AlgebraicDataflowArchitectureModel/src/code/ast/ASTNode.java
index 0e250a1..202e700 100644
--- a/AlgebraicDataflowArchitectureModel/src/code/ast/ASTNode.java
+++ b/AlgebraicDataflowArchitectureModel/src/code/ast/ASTNode.java
@@ -1,6 +1,8 @@
 package code.ast;
 
-public abstract class ASTNode {
+import java.io.Serializable;
+
+public abstract class ASTNode implements Serializable{
 	private ASTNode parent;
 
 	public ASTNode getParent() {
diff --git a/AlgebraicDataflowArchitectureModel/src/code/ast/ImportDeclaration.java b/AlgebraicDataflowArchitectureModel/src/code/ast/ImportDeclaration.java
index 9135d68..fdb6309 100644
--- a/AlgebraicDataflowArchitectureModel/src/code/ast/ImportDeclaration.java
+++ b/AlgebraicDataflowArchitectureModel/src/code/ast/ImportDeclaration.java
@@ -1,6 +1,8 @@
 package code.ast;
 
-public class ImportDeclaration {
+import java.io.Serializable;
+
+public class ImportDeclaration implements Serializable {
 	private String name;
 	
 	public ImportDeclaration(String name) {
diff --git a/AlgebraicDataflowArchitectureModel/src/code/ast/VariableDeclaration.java b/AlgebraicDataflowArchitectureModel/src/code/ast/VariableDeclaration.java
index 6a7b25b..d4f5c86 100644
--- a/AlgebraicDataflowArchitectureModel/src/code/ast/VariableDeclaration.java
+++ b/AlgebraicDataflowArchitectureModel/src/code/ast/VariableDeclaration.java
@@ -6,7 +6,7 @@
 
 import models.algebra.Type;
 
-public class VariableDeclaration extends ASTNode implements IAnnotatable {
+public class VariableDeclaration extends ASTNode implements IAnnotatable{
 	private Type type;
 	private String variableName;
 	private Map<String, Annotation> annotations = new HashMap<>();
diff --git a/AlgebraicDataflowArchitectureModel/src/models/DirectedGraph.java b/AlgebraicDataflowArchitectureModel/src/models/DirectedGraph.java
index 42b7208..d76545d 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/DirectedGraph.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/DirectedGraph.java
@@ -1,9 +1,10 @@
 package models;
 
+import java.io.Serializable;
 import java.util.HashSet;
 import java.util.Set;
 
-public class DirectedGraph {
+public class DirectedGraph implements Serializable{
 	private Set<Node> nodes = null;
 	private Set<Edge> edges = null;
 	
diff --git a/AlgebraicDataflowArchitectureModel/src/models/EdgeAttribute.java b/AlgebraicDataflowArchitectureModel/src/models/EdgeAttribute.java
index ea6cdec..4be3197 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/EdgeAttribute.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/EdgeAttribute.java
@@ -1,5 +1,7 @@
 package models;
 
-public class EdgeAttribute {
+import java.io.Serializable;
+
+public class EdgeAttribute implements Serializable{
 
 }
diff --git a/AlgebraicDataflowArchitectureModel/src/models/NodeAttribute.java b/AlgebraicDataflowArchitectureModel/src/models/NodeAttribute.java
index 7d1ded2..6b38a9f 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/NodeAttribute.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/NodeAttribute.java
@@ -1,5 +1,7 @@
 package models;
 
-public class NodeAttribute {
+import java.io.Serializable;
+
+public class NodeAttribute implements Serializable{
 
 }
diff --git a/AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java b/AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java
index 7695979..20ebbc4 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java
@@ -1,8 +1,9 @@
 package models.algebra;
 
+import java.io.Serializable;
 import java.util.HashMap;
 
-public abstract class Expression implements Cloneable {
+public abstract class Expression implements Cloneable, Serializable {
 	public abstract Expression getSubTerm(Position pos);
 	/**
 	 * Get the unification between this expression and another expression.
diff --git a/AlgebraicDataflowArchitectureModel/src/models/algebra/Position.java b/AlgebraicDataflowArchitectureModel/src/models/algebra/Position.java
index de90a73..034e231 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/algebra/Position.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/algebra/Position.java
@@ -1,9 +1,10 @@
 package models.algebra;
 
+import java.io.Serializable;
 import java.util.ArrayList;
 import java.util.List;
 
-public class Position implements Cloneable {
+public class Position implements Cloneable, Serializable {
 	private ArrayList<Integer> orders = new ArrayList<Integer>();
 	
 	public Position() {
diff --git a/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java b/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java
index 2efb24a..8c8c974 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java
@@ -1,6 +1,8 @@
 package models.algebra;
 
-public class Symbol {
+import java.io.Serializable;
+
+public class Symbol  implements Serializable{
 	protected String name;
 	protected String implName;
 	protected int arity = 0;			// -1: variable number
diff --git a/AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java b/AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java
index eb827bf..060e74d 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java
@@ -1,9 +1,10 @@
 package models.algebra;
 
+import java.io.Serializable;
 import java.util.ArrayList;
 import java.util.List;
 
-public class Type {
+public class Type implements Serializable{
 	private String typeName;
 	private String implementationTypeName;
 	private String interfaceTypeName;
diff --git a/AlgebraicDataflowArchitectureModel/src/models/algebra/UnificationFailed.java b/AlgebraicDataflowArchitectureModel/src/models/algebra/UnificationFailed.java
index b0de344..a3227b6 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/algebra/UnificationFailed.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/algebra/UnificationFailed.java
@@ -1,5 +1,7 @@
 package models.algebra;
 
-public class UnificationFailed extends Exception {
+import java.io.Serializable;
+
+public class UnificationFailed extends Exception implements Serializable {
 
 }
diff --git a/AlgebraicDataflowArchitectureModel/src/models/algebra/ValueUndefined.java b/AlgebraicDataflowArchitectureModel/src/models/algebra/ValueUndefined.java
index 4c6de4c..d23dfa7 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/algebra/ValueUndefined.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/algebra/ValueUndefined.java
@@ -1,5 +1,7 @@
 package models.algebra;
 
-public class ValueUndefined extends Exception {
+import java.io.Serializable;
+
+public class ValueUndefined extends Exception implements Serializable{
 
 }
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Channel.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Channel.java
index 8bf74da..4ef7058 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Channel.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Channel.java
@@ -1,11 +1,12 @@
 package models.dataConstraintModel;
 
+import java.io.Serializable;
 import java.util.HashSet;
 import java.util.Set;
 
 import models.algebra.Variable;
 
-public class Channel {
+public class Channel implements Serializable {
 	protected String channelName;
 	protected Set<Selector> selectors = null;
 	protected Set<ChannelMember> channelMembers = null;
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
index 190a49f..4e99cfb 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
@@ -1,9 +1,10 @@
 package models.dataConstraintModel;
 
+import java.io.Serializable;
 import java.util.ArrayList;
 import java.util.List;
 
-public class ChannelMember {
+public class ChannelMember implements Serializable {
 	private ResourcePath resourcePath = null;
 	private List<Selector> selectors = null;
 	private StateTransition stateTransition = null;
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
index 393d174..35972a5 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
@@ -1,5 +1,6 @@
 package models.dataConstraintModel;
 
+import java.io.Serializable;
 import java.util.Collection;
 import java.util.HashMap;
 
@@ -11,7 +12,7 @@
 import models.algebra.Variable;
 import parser.Parser;
 
-public class DataConstraintModel {
+public class DataConstraintModel implements Serializable {
 	protected HashMap<String, ResourcePath> resourcePaths = null;
 	protected HashMap<String, Channel> channels = null;
 	protected HashMap<String, Channel> ioChannels = null;
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ResourcePath.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ResourcePath.java
index e530016..fb2e80b 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ResourcePath.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ResourcePath.java
@@ -1,10 +1,12 @@
 package models.dataConstraintModel;
 
+import java.io.Serializable;
+
 import models.algebra.Expression;
 import models.algebra.Term;
 import models.algebra.Type;
 
-public class ResourcePath {
+public class ResourcePath implements Serializable {
 	private String resourceName = null;
 	private Type resourceStateType = null;
 	private int numParameters = 0;
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Selector.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Selector.java
index a29f8e3..f7439b2 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Selector.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Selector.java
@@ -1,8 +1,10 @@
 package models.dataConstraintModel;
 
+import java.io.Serializable;
+
 import models.algebra.Variable;
 
-public class Selector {
+public class Selector implements Serializable {
 	private Variable variable = null;
 	
 	public Selector(Variable variable) {
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
index 065525c..25b47be 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
@@ -1,5 +1,6 @@
 package models.dataConstraintModel;
 
+import java.io.Serializable;
 import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.Map.Entry;
@@ -13,7 +14,7 @@
 import models.algebra.Variable;
 import models.dataFlowModel.ResolvingMultipleDefinitionIsFutureWork;
 
-public class StateTransition {
+public class StateTransition implements Serializable {
 	private Expression curStateExpression = null;
 	private Expression nextStateExpression = null;
 	private Expression messageExpression = null;