Towards model checking & simulation of a multi-tier negotiation protocol for service chains

Authors:
Paul Karaenke;Stefan Kirn
Affiliations:
University of Hohenheim, Stuttgart, Germany;University of Hohenheim, Stuttgart, Germany
Venue:
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Year:
2010

Citing 5
Cited 1

Design and validation of computer protocols

Design and validation of computer protocols
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Supporting Service Level Agreements on IP Networks

Supporting Service Level Agreements on IP Networks
QoS Aggregation for Web Service Composition using Workflow Patterns

EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

IEEE Transactions on Computers

A protocol development framework for SLA negotiations in cloud and service computing

GECON'12 Proceedings of the 9th international conference on Economics of Grids, Clouds, Systems, and Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

The object of our research is resource allocation which considers contractual dependencies across service chain tiers to avoid overcommitment and overpurchasing. We propose a multi-tier negotiation protocol for solving this problem. The proposed artifact is developed from an interaction protocol engineering perspective and a protocol specification is given. Besides basic safety properties like the absence of deadlock, we formally verify that the protocol prevents overcommitments and overpurchasing by means of the model checker Spin.