Constraint-Based Policy Negotiation and Enforcement for Telco Services

Authors:
Maria Grazia Buscemi;Laura Ferrari;Corrado Moiso;Ugo Montanari
Affiliations:
IMT Lucca, Italy;Telecom Italia Lab, Italy;Telecom Italia Lab, Italy;University of Pisa, Italy
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 4

Model-driven development of adaptable service-oriented business processes

Rigorous software engineering for service-oriented systems
CC-Pi: a constraint language for service negotiation and composition

Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems
A survey of constraint-based programming paradigms

Computer Science Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ...