Tests from UML
	Paths through the activity diagrams give a set of test cases