package example : example = 'http://www.example.org/example'
{
	class Model
	{
		property configs : CarConfig[*] { ordered composes };
		property options : Option[*] { ordered composes };
		property optiongroups : OptionGroup[*] { ordered composes };
	}
	class CarConfig
	{
		attribute id : String;
		attribute country : Country;
		property options : Option[*] { ordered };
		
		invariant validOptions: 
			let og: OptionGroup =  self.oclContainer().oclAsType(Model).optiongroups->select(g| g.country = self.country) 
			in og->includesAll(options);
	}
	class Option
	{
		attribute id : String;
	}
	class OptionGroup
	{
		property options : Option[*] { ordered };
		attribute id : String;
		attribute country : Country;
	}
	enum Country { serializable }
	{
		literal NL;
		literal UK;
		literal GE;
	}
}