diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
index 645b649..91c573d 100644
--- a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
@@ -6,10 +6,12 @@
 public class ChannelMember {
 	private IdentifierTemplate identifierTemplate = null;
 	private List<Selector> selectors = null;
+	private StateTransition stateTransition = null;
 	
 	public ChannelMember(IdentifierTemplate identifierTemplate) {
 		this.identifierTemplate = identifierTemplate;
 		selectors = new ArrayList<>();
+		stateTransition = new StateTransition();
 	}
 
 	public IdentifierTemplate getIdentifierTemplate() {
@@ -32,4 +34,12 @@
 		selectors.add(selector);
 		return this;
 	}
+
+	public StateTransition getStateTransition() {
+		return stateTransition;
+	}
+
+	public void setStateTransition(StateTransition stateTransition) {
+		this.stateTransition = stateTransition;
+	}
 }
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Expression.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Expression.java
new file mode 100644
index 0000000..fdbf8ed
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Expression.java
@@ -0,0 +1,7 @@
+package models.dataConstraintModel;
+
+public class Expression {
+	public boolean contains(Expression exp) {
+		return false;
+	}
+}
diff --git a/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
new file mode 100644
index 0000000..6fa8529
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
@@ -0,0 +1,22 @@
+package models.dataConstraintModel;
+
+public class StateTransition {
+	private Expression curStateExpression = null;
+	private Expression nextStateExpression = null;
+	
+	public Expression getCurStateExpression() {
+		return curStateExpression;
+	}
+	
+	public void setCurStateExpression(Expression curStateExpression) {
+		this.curStateExpression = curStateExpression;
+	}
+	
+	public Expression getNextStateExpression() {
+		return nextStateExpression;
+	}
+	
+	public void setNextStateExpression(Expression nextStateExpression) {
+		this.nextStateExpression = nextStateExpression;
+	}
+}