models of an application to perform effective and efficient conflict analysis. The process is
effective as it can be used to analyse for policy conflicts that may occur in different
applications due to the separation of application specific information and constraints from
the algorithms to semantic models, such as information model and ontologies. The process
is efficient as it incorporates a pre-analysis policy selection step that reduces the number of …