Exercise 3: Alloy (Due: Jul 4th, 2011)
SE2-Software Design & Architecture (CS446/CS646/ECE452) Spring 2011
Main|Schedule|Term Project
Problem Description
The classic river crossing puzzle. A farmer is carrying a fox, a
chicken, and a sack of grain. He must cross a river using a boat
that can only hold the farmer and at most one other thing. If the
farmer leaves the fox alone with the chicken, the fox will eat the
chicken; and if he leaves the chicken alone with the grain, the
chicken will eat the grain. How can the farmer bring everything
to the far side of the river intact?
Exercise
We worked on the above mentioned problem in class using the alloy tool. Submit your solution for the same problem.
You can download the template files here.
You are allowed to work on this with other students, however each student
must submit his/her own solution.
Submission
Submit the completed alloy file. Use UWACE to send your solution file.
This exercise will expire on Jul 8th, 2011.
Last updated on Jul 27th, 2011 by Atif Khan.