Packages
Monday, April 05, 2010
2:32 PM
Packages
A choreography is contained inside a package. 
Package contains
informationType declarations. 
variable declarations. 
token declarations. 
tokenLocator declarations. 
roleType declarations. 
The choreography. 
A package is a declaration scope: declarations don't cross packages. 