A Collaborative Network Services Management Based on Semantic Temporal Logic

In this paper, we propose and use Semantic Temporal Logic for automatic conflict analysis within dynamic collaborative network services. Using this ontology-augmented temporal logic can help users represent the relationships between policy elements from policies defined by different domains´ (service providers´) administrators. Through the experiments performed on our prototype system, the improvement on capability, flexibility and accuracy in automatic dynamic policy analysis is confirmed.