Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Feature Interactions in Telecommunications and Software Systems VI
Feature Interactions in Telecommunications and Software Systems VI
Mark, a Reasoning Kit for Mobility
Automated Software Engineering
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Dynamic Conflict Detection in Policy-Based Management Systems
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Use of Logic to Describe Enhanced Communications Services
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
A System to Specify and Manage Multipolicy Access Control Models
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Feature interaction in policies
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
A compositional framework for access control policies enforcement
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Formal model and policy specification of usage control
ACM Transactions on Information and System Security (TISSEC)
Policy Support for Business-oriented Web Service Management
LA-WEB '06 Proceedings of the Fourth Latin American Web Congress
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
StPowla: SOA, Policies and Workflows
Service-Oriented Computing - ICSOC 2007 Workshops
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Engineering service oriented applications: from StPowla processes to SRML models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Model-driven development of adaptable service-oriented business processes
Rigorous software engineering for service-oriented systems
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
| Hi-index | 0.00 |
APPEL is a general language for expressing policies in a variety of application domains with a clear separation between the core language and its specialisation for concrete domains. Policies can conflict, thus leading to undesired behaviour. We present a novel formal semantics for the Appel language based on ΔDSTL(x) (so far APPEL only had an informal semantics). ΔDSTL(x) is an extension of temporal logic to deal with global applications: it includes modalities to localize properties to system components, an operator to deal with events, and temporal modalities à la Unity. A further contribution of the paper is the development of techniques based on the semantics to reason about conflicts.