Added a formal specification of OCCI Application Extension.
Added a formal specification of OCCI Patform Extension.
- Added predicate Entity.hasKind and used it into signatures extending
Entity to set theier associated kind.
- Removed no entities in sig entity as it is not more useful.
- Added no entity.entities in AllEntitiesHaveTheCorrectKind as this is
implied by the use of predicate Entity.hasKind.
- Refined the scope for an_OCCI_Core_instance.
- Added predicate isKindOf and used it in AllEntitiesHaveTheCorrectKind.
* Used predicate hasKind in Network, Compute, Storage, StorageLink,
NetworkInterface.
* Added check AllEntitiesHaveTheCorrectKind as this is now implied by
the use of predicate hasKind.
* Added the OCCI Platform Extension
* Added the OCCI Application Extension