Design and validation of computer protocols
Design and validation of computer protocols
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Specifying rules for electronic auctions
AI Magazine
Protocols for Negotiating Complex Contracts
IEEE Intelligent Systems
A Negotiation Protocol Description Language for Automated Service Level Agreement Negotiations
CEC '09 Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
Information and Computation
Platform-as-a-Service Architecture for Real-Time Quality of Service Management in Clouds
ICIW '10 Proceedings of the 2010 Fifth International Conference on Internet and Web Applications and Services
Learning Communicating Automata from MSCs
IEEE Transactions on Software Engineering
Towards model checking & simulation of a multi-tier negotiation protocol for service chains
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Aggregation patterns of service level agreements
Proceedings of the 8th International Conference on Frontiers of Information Technology
NIST Cloud Computing Reference Architecture: Recommendations of the National Institute of Standards and Technology (Special Publication 500-292)
Hi-index | 0.00 |
As businesses transit towards cloud and service oriented economy, agents are employed to efficiently negotiate service level agreements (SLAs) on services procured automatically to match changes in demand. This 'pay-as-you-go' trading model affords flexibility with reliability, but requires customized and seamless interactions enabled by negotiation protocols that best serve the market domain. To this end, we present a domain-independent framework based on a protocol development lifecycle, comprising four distinct phases namely modeling, verification, rule-based implementation and generic execution. We illustrate all phases by introducing the Simple Bilateral Negotiation Protocol (SBNP) - a multi-tier, multi-round and customizable negotiation protocol. We exemplify its adoption among chains of service providers that serve SaaS, PaaS and IaaS offerings. We show that SBNP is well-formed, deterministic and deadlock-free. We evaluate state space scalability for SBNP and verify its correctness using Linear Temporal Logic (LTL). Finally, we show that rule-based implementation allows for generic execution of multiple protocols on our negotiation platform, which provides businesses the agility to sustain competitive advantage.