Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
DAGON: technology binding and local optimization by DAG matching
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Finding the Optimal Variable Ordering for Binary Decision Diagrams
IEEE Transactions on Computers
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Dynamic variable ordering for ordered binary decision diagrams
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
SLA management in federated environments
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on selected topics in network and systems management
Efficient filtering in publish-subscribe systems using binary decision diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
A Comparative Study of Game Theoretic and Evolutionary Models of Bargaining for Software Agents
Artificial Intelligence Review
Multicriteria Optimization
IEEE Transactions on Computers
Knowledge representation concepts for automated SLA management
Decision Support Systems
Establishing and Monitoring SLAs in Complex Service Based Systems
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Scalable automated service composition using a compact directory digest
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Towards run-time monitoring of web services conformance to business-level agreements
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Defining an SLA-Aware method to test service-oriented systems
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hi-index | 0.01 |
The vision of automated service composition for enabling service economies is challenged by many theoretical and technical limitations of current technologies. There is a need for complete, dependable service hierarchies created on-the-fly for critical business environments. Such automatically-constructed, complex and dynamic service hierarchies imply a similarly automated process for establishing the contracts that specify the rules governing the consumption of services; and for binding them into respective contract hierarchies. Deducing these required contracts is a computationally challenging task. This also applies to the optimization of such contract sets to maximize utility. We propose the application of (Shared) Reduced Ordered Binary Decision Diagrams, a suitable graph-based data structure well-known in the area of Electronic Design Automation. These diagrams can be used as a canonical representation of SLAs, thus allowing their efficient and unambiguous management independent of their structure's specifics. As such, this representation can facilitate the process of negotiating SLAs, subcontracting parts of them, optimizing their utility, and managing them during runtime for monitoring and enforcement.