Added a formal specification of OCCI Infrastructure Extension with
Alloy.