CSSE 373 -- Formal Methods in Specification and Design

                                Quiz 6



Name:_________________________________________    Grade:______________


1. [Bonus] Draw the relationships identified in the song, representing
   people with nodes and relationships with labelled arrows.
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   

   
   
   
   
   
2. What's the practical difference if we removed "abstract" from this
   declaration:

		abstract sig Person {}
		sig Woman extends Person {} 
		sig Man extends Person {}






3. Given

		sig EarlGrey in ChinaTea + IndiaTea {}
	
   is the following constraint necessarily true:
   
		all t: EarlGrey | t in ChinaTea and t in IndiaTea
	
   a. Yes or No


   b. Why or why not?
   
   
   
   
   


(continued on back)








4. Do you like tea?




5. Given

		some sig Beer {}
   
   what is the smallest number of Beer atoms that can appear in an
   instance of the model?